| ... | ... | @@ -58,7 +58,7 @@ ADD |
|
|
|
|
|
|
|
| addr | pc | bytecode | acc_hi | acc_lo | value_hi | value_lo | cnt | is_high |
|
|
|
|
| ---- | ---- | -------- | ------ | --------------------------------- | -------- | --------------------------------- | ---- | ------- |
|
|
|
|
| 0xaa | 0 | PUSH1 | 0x0 | 0x0 | 0x0 | 0x0 | 1 | 0 |
|
|
|
|
| 0xaa | 0 | PUSH1 | 0x0 | 0x0 | 0x0 | 0xa | 1 | 0 |
|
|
|
|
| 0xaa | 1 | 0xa | 0x0 | 0xa | 0x0 | 0xa | 0 | 0 |
|
|
|
|
| 0xaa | 2 | PUSH17 | 0x0 | 0x0 | 0x203 | 0x405060708090a0b0c0d0e0f10111213 | 18 | 1 |
|
|
|
|
| 0xaa | 3 | 0x2 | 0x2 | 0x0 | 0x203 | 0x405060708090a0b0c0d0e0f10111213 | 17 | 1 |
|
| ... | ... | @@ -152,7 +152,7 @@ addr unchange && addr != 0 ----> pc_cur - pc_prev = 1 (同一个合约中pc是 |
|
|
|
|
|
|
|
**Padding row**
|
|
|
|
|
|
|
|
cnt、addr、pc、bytecode、value_hi、value_lo、acc_hi、acc_lo、is_high都为0
|
|
|
|
cnt、addr、pc、bytecode、value_hi、value_lo、acc_hi、acc_lo、is_high, rlc_acc, hash_hi, hash_lo都为0
|
|
|
|
|
|
|
|
**Opcode(非PUSH)**
|
|
|
|
|
| ... | ... | @@ -192,13 +192,19 @@ addr change ----> rlc_acc=bytecode (addr发生变化，说明是一个新的合 |
|
|
|
|
|
|
|
addr unchange && addr != 0 ----> rlc_acc = rlc_acc_prev * challenge + bytecode (rlc_acc累加)
|
|
|
|
|
|
|
|
**hash_hi和hash_lo**
|
|
|
|
|
|
|
|
addr_unchange_next != 0时，即下一行的addr change，下一行是新合约的开始，则当前行存放有合约的hash值(hash_hi和hash_lo的值不为0)
|
|
|
|
|
|
|
|
所以只要addr_is_not_zero && addr_unchange_next != 0 则hash_hi和hash_lo都为0
|
|
|
|
|
|
|
|
## Lookup约束
|
|
|
|
|
|
|
|
每一个byte都应该在fixed电路中Lookup到，即每一个字节大小都应该在0~255范围内~~（是否真的有必要进行Lookup，因为bytecode列是从instance_bytecode来的，是公共数据）~~
|
|
|
|
|
|
|
|
Lookup Fixed table， 约束Bytecode是否为正确的Opcode, <tag=Bytecode, bytecode, is_push, cnt>
|
|
|
|
|
|
|
|
Lookup keccak table，<pc+1（即length）, rlc_acc, hash_hi, hash_lo> 去往Keccak table查。此lookup只在下一行的addr change==0时进行。
|
|
|
|
Lookup keccak table，<pc+1（即length）, rlc_acc, hash_hi, hash_lo> 去往Keccak table查。此lookup只在下一行的addr change==0时进行（即合约的最后一个bytecode所在行存放着合约bytecode的hash值）。
|
|
|
|
|
|
|
|
Lookup Public table，addr和hash新增的往public table的lookup。<tag=CodeHash, addr, hash_hi, hash_lo>。此lookup只在下一行的addr change==0时进行。（也许addr要拆成hi和lo）
|
|
|
|
|
