o1vm/pickles: fix selectors constraints

o1-labs · Oct 18, 2024 · 978e51d · 978e51d
1 parent 0dab255
commit 978e51d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/o1vm/src/interpreters/mips/constraints.rs b/o1vm/src/interpreters/mips/constraints.rs
@@ -632,9 +632,9 @@ impl<Fp: Field> Env<Fp> {
                 (var.clone() - one.clone()) * var.clone()
             })
             .collect();
-        let enforce_one_activation = (0..N_MIPS_SEL_COLS).fold(E::<Fp>::zero(), |res, i| {
+        let enforce_one_activation = (0..N_MIPS_SEL_COLS).fold(E::<Fp>::one(), |res, i| {
             let var = self.variable(MIPSColumn::Selector(i));
-            res + var.clone()
+            res - var.clone();
         });
 
         enforce_bool.push(enforce_one_activation);