| ... | ... | @@ -56,8 +56,8 @@ LOG1为例： |
|
|
|
|
|
|
|
| 指令 | 状态 | State参数 | 约束 | gen witness 状态变化 |
|
|
|
|
| ---- | --------------- | --------------------- | ------------------------------------------------------------ | -------------------------------- |
|
|
|
|
| LOG1 | LogBytes | state1=offset | state_stamp = pre + 2 log_ | |
|
|
|
|
| | | state2=length | stamp = pre | |
|
|
|
|
| LOG1 | LogBytes | state1=offset | state_stamp = pre + 2 | |
|
|
|
|
| | | state2=length | log_stamp = pre | |
|
|
|
|
| | | | next_pc = pc | |
|
|
|
|
| | | | | |
|
|
|
|
| | memory_gas | | memory_gas = GasCost::MEMORY_EXPANSION_LINEAR_COEFF.expr() * (next_word_size - memory_chunk_prev) * (next_quad_memory_cost - curr_quad_memory_cost) | |
|
| ... | ... | |
