... | ... | @@ -283,7 +283,7 @@ Hash: `Column<Advice>`类型,只有在length-1和length两行有值,分别 |
|
|
|
|
|
每一个原始值被展开为了16行u8
|
|
|
|
|
|
对于u8的来说,当tag_cur != nil && 当前行不是第一行,则有
|
|
|
对于u8的来说,当tag_cur != nil && 当前行不是第一行,以value0为例,则有
|
|
|
|
|
|
```rust
|
|
|
let v1 = value0_u8.Rotation(-1);
|
... | ... | @@ -303,6 +303,9 @@ Hash: `Column<Advice>`类型,只有在length-1和length两行有值,分别 |
|
|
let v15 = value0_u8.Rotation(-15) * pow_of_two::<F>(112));
|
|
|
let v16 = value0_u8.Rotation(-16) * pow_of_two::<F>(120));
|
|
|
let v_final = v16+v15+v14+v13+...+v3+v2+v1;
|
|
|
```
|
|
|
|
|
|
```rust
|
|
|
let v_original = value0.Rotation(-16)
|
|
|
```
|
|
|
|
... | ... | |