From ed2747335c278316c69871be38f6f36d2748049b Mon Sep 17 00:00:00 2001 From: David Wong Date: Tue, 19 Oct 2021 23:33:20 -0700 Subject: [PATCH] [kimchi] fix tests for permutation --- circuits/plonk-15-wires/src/gate.rs | 2 +- circuits/plonk-15-wires/src/nolookup/constraints.rs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/circuits/plonk-15-wires/src/gate.rs b/circuits/plonk-15-wires/src/gate.rs index a1bd9dd484..21f233502a 100644 --- 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 index 532cdf43fb..6f24c26cf9 100644 --- a/circuits/plonk-15-wires/src/nolookup/constraints.rs +++ b/circuits/plonk-15-wires/src/nolookup/constraints.rs @@ -583,7 +583,7 @@ impl ConstraintSystem { 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(