|
|
|
Bytecode circuit用于存放和约束合约的Bytecode，为其他电路提供bytecode的来源依据，其他子电路可通过Lookup约束来验证所操作bytecode码是否是合法的。
|
|
|
|
Bytecode circuit用于约束合约的Bytecode，为其他电路提供bytecode的来源依据，其他子电路可通过Lookup约束来验证所操作bytecode码是否是合法的。
|
|
|
|
|
|
|
|
Bytecode table中存放的可能并不只是一个合约的Bytecode，不同的合约的Bytecode以`address`进行标识，Bytecode与address是唯一一一对应。
|
|
|
|
|
| ... | ... | |
