| ... | ... | @@ -85,5 +85,5 @@ pub struct BitwiseCircuitConfig<F: Field> { |
|
|
|
|
|
|
|
### LookUp约束
|
|
|
|
|
|
|
|
使用lookup对<tag、byte_0、byte1、byte_2>进行范围证明，来源：bitwise，去向：fixed (fxed子电路中有对256位的数值的and、or、xor的计算的枚举)
|
|
|
|
使用lookup对`<tag、byte_0、byte1、byte_2>`进行证明，来源：bitwise，去向：fixed (fxed子电路中有对256位的数值的and、or、xor的计算的枚举)
|
|
|
|
|
