Fix missing public input gate

openmina · Oct 2, 2023 · ff0e8f3 · ff0e8f3
1 parent 373a294
commit ff0e8f3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/kimchi/src/snarky/constraint_system.rs b/kimchi/src/snarky/constraint_system.rs
@@ -459,7 +459,7 @@ impl<Field: PrimeField> SnarkyConstraintSystem<Field> {
             Field::zero(),
         ];
         let mut public_gates = Vec::new();
-        for row in 0..(public_input_size - 1) {
+        for row in 0..public_input_size {
             let public_var = V::External(row + 1);
             self.wire_(public_var, Row::PublicInput(row), 0);
             public_gates.push(GateSpec {