| ... | ... | @@ -89,8 +89,6 @@ pub struct BitwiseCircuitConfig<F: Field> { |
|
|
|
|
|
|
|
- tag_is_nil ---> byte_0=0, byte_1=0, byte_2=0, acc_0=0, acc_1=0, acc_2=0, sum_2=0, cnt=0
|
|
|
|
|
|
|
|
next_cnt=0--->cnt=15 (同时也验证了，只要cnt=15则next_cnt=0)
|
|
|
|
|
|
|
|
### LookUp约束
|
|
|
|
|
|
|
|
使用lookup对`<tag、byte_0、byte1、byte_2>`进行证明，来源：bitwise，去向：fixed (fxed子电路中有对256位的数值的and、or、xor的计算的枚举)
|
| ... | ... | |
