[kimchi] fix tests for permutation

o1-labs · Oct 20, 2021 · ed27473 · ed27473
1 parent 2b2fb34
commit ed27473
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/circuits/plonk-15-wires/src/gate.rs b/circuits/plonk-15-wires/src/gate.rs
@@ -565,7 +565,7 @@ mod tests {
             println!("decoded gate: {:?}", decoded);
             prop_assert_eq!(cg.row, decoded.row);
             prop_assert_eq!(cg.typ, decoded.typ);
-            for i in 0..COLUMNS {
+            for i in 0..PERMUTS {
                 prop_assert_eq!(cg.wires[i], decoded.wires[i]);
             }
             prop_assert_eq!(cg.c, decoded.c);

diff --git a/circuits/plonk-15-wires/src/nolookup/constraints.rs b/circuits/plonk-15-wires/src/nolookup/constraints.rs
@@ -583,7 +583,7 @@ impl<F: FftField + SquareRootField> ConstraintSystem<F> {
 
         for (row, gate) in self.gates.iter().enumerate() {
             // check if wires are connected
-            for col in 0..COLUMNS {
+            for col in 0..PERMUTS {
                 let wire = gate.wires[col];
                 if witness[col][row] != witness[wire.col][wire.row] {
                     return Err(GateError::DisconnectedWires(