识别程序地址
确认指令目标是否为预编译程序标识。
确认指令目标是否为预编译程序标识。
保存传入的签名、消息或证明数据范围。
根据预编译功能检查验证结果，不虚构账户余额变化。
不一定，需看该预编译功能的作用。
检查指令数据布局和对应预编译规范。