| ... | ... | @@ -293,7 +293,7 @@ pub(crate) trait ExecutionGadget< |
|
|
|
## 4.6 例子
|
|
|
|
形象展示：
|
|
|
|
```rust
|
|
|
|
/// Add Execution State layout is as follows
|
|
|
|
/// Addmod Execution State layout is as follows
|
|
|
|
/// where STATE means state table lookup,
|
|
|
|
/// ARITH means arithmetic table lookup,
|
|
|
|
/// DYNA_SELECTOR is dynamic selector of the state,
|
| ... | ... | @@ -307,8 +307,6 @@ pub(crate) trait ExecutionGadget< |
|
|
|
/// | 0 | DYNA_SELECTOR | AUX |
|
|
|
|
/// +---+-------+-------+-------+----------+
|
|
|
|
```
|
|
|
|
代码：https://git.code.tencent.com/chainmaker-zk/zkevm/blob/develop/zkevm-circuits/src/execution/addmod.rs
|
|
|
|
|
|
|
|
# 5 执行状态的转换流程
|
|
|
|
|
|
|
|
|
| ... | ... | |
