| ... | ... | @@ -2,7 +2,7 @@ |
|
|
|
|
|
|
|
memory\_chunk 是 auxiliary 中的一个变量，保存了当前 opcode 执行完成之后，memory 的 byte size。与之对应的是常用的 memory\_chunk\_prev，指的是opcode 执行之前的数值，通常通过读取上一opcode的auxiliary获取。
|
|
|
|
|
|
|
|
> trace 打印出来，memory 有多少行，memory chunk 就是多少。由于生成的 trace 的 memory 有时是执行前，有的是执行之后的，所以使用modify\_trace 这个函数，统一处理成，每个 trace step 对应的 memory 是执行之后的。
|
|
|
|
> trace 打印出来，memory 有多少行，memory chunk 就是多少。由于 EVM 生成的 trace 的 memory 是执行前，所以使用preprocess\_trace 这个函数，统一处理成，每个 trace step 对应的 memory 是执行之后的。
|
|
|
|
|
|
|
|
### 约束实现
|
|
|
|
|
| ... | ... | |
