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