| ... | @@ -159,7 +159,7 @@ Tag不同，含义不同，如下。 |
... | @@ -159,7 +159,7 @@ Tag不同，含义不同，如下。 |
|
|
|
|
|
|
|
- 约束4：`limb_diff` 在范围 `u16` 内，即 `[0, 2^16-1]`。
|
|
- 约束4：`limb_diff` 在范围 `u16` 内，即 `[0, 2^16-1]`。
|
|
|
|
|
|
|
|
> RLC: zkevm-circuits/zkevm-circuits/src/state_circuit/random_linear_combination.rs
|
|
> RLC: `zkevm-circuits/src/state_circuit/random_linear_combination.rs`
|
|
|
|
|
|
|
|
### 不同Tag对应的约束
|
|
### 不同Tag对应的约束
|
|
|
定义变量`first_access`表示这个pointer的地方是否是第一次访问。其构造详情稍后详细描述。对于不是`first_access`的行，意味着上一行和这一行是同一个地方，我们排序又是按照`stamp`排的。因此，如果这一行是读（is_write=0），那么value必然等于上一行的`value`。
|
|
定义变量`first_access`表示这个pointer的地方是否是第一次访问。其构造详情稍后详细描述。对于不是`first_access`的行，意味着上一行和这一行是同一个地方，我们排序又是按照`stamp`排的。因此，如果这一行是读（is_write=0），那么value必然等于上一行的`value`。
|
| ... | | ... | |
