... | @@ -29,7 +29,7 @@ pub struct Row { |
... | @@ -29,7 +29,7 @@ pub struct Row { |
|
}
|
|
}
|
|
|
|
|
|
pub enum Tag {
|
|
pub enum Tag {
|
|
#[default]
|
|
#[default]
|
|
And,
|
|
And,
|
|
Or,
|
|
Or,
|
|
Xor,
|
|
Xor,
|
... | @@ -85,5 +85,5 @@ pub struct BitwiseCircuitConfig<F: Field> { |
... | @@ -85,5 +85,5 @@ pub struct BitwiseCircuitConfig<F: Field> { |
|
|
|
|
|
### LookUp约束
|
|
### 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的计算的枚举)
|
|
|
|
|