disable immediate value constraint

valida-xyz · Feb 14, 2024 · e4c4ece · e4c4ece
1 parent 766b5e5
commit e4c4ece
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/cpu/src/stark.rs b/cpu/src/stark.rs
@@ -45,10 +45,10 @@ where
 
         // Immediate value constraints (TODO: we'd need to range check read_value_2 in
         // this case)
-        builder.when(local.opcode_flags.is_imm_op).assert_eq(
-            local.instruction.operands.c(),
-            reduce::<AB>(&base, local.read_value_2()),
-        );
+        // builder.when(local.opcode_flags.is_imm_op).assert_eq(
+        //     local.instruction.operands.c(),
+        //     reduce::<AB>(&base, local.read_value_2()),
+        // );
 
         // "Stop" constraints (to check that program execution was not stopped prematurely)
         builder