| ... | ... | @@ -81,7 +81,7 @@ pub struct BitwiseCircuitConfig<F: Field> { |
|
|
|
### 门约束
|
|
|
|
|
|
|
|
- cnt=0 ---> acc_0=byte_0、acc_1=byte_1、acc_2=byte_2、sum_2=byte_2
|
|
|
|
- cnt != 0 ---> `acc_0=byte_0+acc_0_pre*256`，`acc_1=byte_1+acc_1_pre*256`，`acc_2=acc_2_pre*256`, `sum_2=byte_2+sum2_pre`
|
|
|
|
- cnt != 0 ---> `acc_0=byte_0+acc_0_pre*256`，`acc_1=byte_1+acc_1_pre*256`，`acc_2=acc_2_pre*256`, `sum_2=byte_2+sum2_pre`，`tag=tag_pre`
|
|
|
|
|
|
|
|
### LookUp约束
|
|
|
|
|
| ... | ... | @@ -89,3 +89,5 @@ pub struct BitwiseCircuitConfig<F: Field> { |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
问题：tag怎么约束，范围证明？
|
|
|
|
|
