air audit fix 5- remove condition from decode small sigh

Author: Stavbe

stwo_cairo_prover/crates/cairo-air/src/components/constraints_regression_test_values.rs

@@ -22,7 +22,7 @@ pub const BLAKE_ROUND: QM31 = qm31!(689010793, 1714718853, 1598356108, 186208473
 pub const CALL_OPCODE_REL_IMM: QM31 = qm31!(1058958974, 291699845, 1067131259, 1385778936);
 pub const CALL_OPCODE: QM31 = qm31!(753588549, 110829970, 382462386, 1929508194);
 pub const CUBE_252: QM31 = qm31!(2138805547, 791862161, 1496263445, 1432185054);
-pub const GENERIC_OPCODE: QM31 = qm31!(303993811, 1910710345, 1597637798, 1484648346);
+pub const GENERIC_OPCODE: QM31 = qm31!(1010937833, 1774632813, 1220632036, 453365121);
 pub const JNZ_OPCODE_TAKEN: QM31 = qm31!(863863896, 1799155008, 2087434855, 1577176263);
 pub const JNZ_OPCODE: QM31 = qm31!(2138762185, 1196830903, 199242173, 1592440397);
 pub const JUMP_OPCODE_DOUBLE_DEREF: QM31 = qm31!(1104346987, 1319193194, 162676979, 376017635);

stwo_cairo_prover/crates/cairo-air/src/components/subroutines/cond_felt_252_as_rel_imm.rs

@@ -1,8 +1,8 @@
 // This file was created by the AIR team.
 
 use crate::components::prelude::*;
-use crate::components::subroutines::cond_decode_small_sign::CondDecodeSmallSign;
 use crate::components::subroutines::cond_range_check_2::CondRangeCheck2;
+use crate::components::subroutines::decode_small_sign::DecodeSmallSign;
 
 #[derive(Copy, Clone, Serialize, Deserialize, CairoSerialize)]
 pub struct CondFelt252AsRelImm {}
@@ -30,12 +30,7 @@ impl CondFelt252AsRelImm {
         let M31_512 = E::F::from(M31::from(512));
         let M31_536870912 = E::F::from(M31::from(536870912));
 
-        CondDecodeSmallSign::evaluate(
-            [cond_felt_252_as_rel_imm_input_limb_28.clone()],
-            msb_col0.clone(),
-            mid_limbs_set_col1.clone(),
-            eval,
-        );
+        DecodeSmallSign::evaluate([], msb_col0.clone(), mid_limbs_set_col1.clone(), eval);
         let remainder_bits_tmp_1e9bf_3 = eval.add_intermediate(
             (cond_felt_252_as_rel_imm_input_limb_3.clone()
                 - (mid_limbs_set_col1.clone() * M31_508.clone())),

stwo_cairo_prover/crates/cairo-air/src/components/subroutines/cond_decode_small_sign.rs renamed to stwo_cairo_prover/crates/cairo-air/src/components/subroutines/decode_small_sign.rs

@@ -3,17 +3,17 @@
 use crate::components::prelude::*;
 
 #[derive(Copy, Clone, Serialize, Deserialize, CairoSerialize)]
-pub struct CondDecodeSmallSign {}
+pub struct DecodeSmallSign {}
 
-impl CondDecodeSmallSign {
+impl DecodeSmallSign {
     #[allow(unused_parens)]
     #[allow(clippy::double_parens)]
     #[allow(non_snake_case)]
     #[allow(clippy::unused_unit)]
     #[allow(unused_variables)]
     #[allow(clippy::too_many_arguments)]
     pub fn evaluate<E: EvalAtRow>(
-        [cond_decode_small_sign_input_limb_28]: [E::F; 1],
+        []: [E::F; 0],
         msb_col0: E::F,
         mid_limbs_set_col1: E::F,
         eval: &mut E,
@@ -27,10 +27,7 @@ impl CondDecodeSmallSign {
             (mid_limbs_set_col1.clone() * (mid_limbs_set_col1.clone() - M31_1.clone())),
         );
         // Cannot have msb equals 0 and mid_limbs_set equals 1.
-        eval.add_constraint(
-            ((cond_decode_small_sign_input_limb_28.clone() * mid_limbs_set_col1.clone())
-                * (msb_col0.clone() - M31_1.clone())),
-        );
+        eval.add_constraint((mid_limbs_set_col1.clone() * (msb_col0.clone() - M31_1.clone())));
         []
     }
 }

stwo_cairo_prover/crates/cairo-air/src/components/subroutines/mod.rs

@@ -5,7 +5,6 @@ pub mod bitwise_xor_num_bits_7;
 pub mod bitwise_xor_num_bits_8;
 pub mod bitwise_xor_num_bits_8_b;
 pub mod bitwise_xor_num_bits_9;
-pub mod cond_decode_small_sign;
 pub mod cond_felt_252_as_addr;
 pub mod cond_felt_252_as_rel_imm;
 pub mod cond_range_check_2;
@@ -30,6 +29,7 @@ pub mod decode_instruction_de75a;
 pub mod decode_instruction_df7a6;
 pub mod decode_instruction_f1edd;
 pub mod decode_instruction_fe864;
+pub mod decode_small_sign;
 pub mod div_252;
 pub mod double_karatsuba_n_7_limb_max_bound_511;
 pub mod double_karatsuba_n_8_limb_max_bound_4095;

stwo_cairo_prover/crates/cairo-air/src/components/subroutines/read_small.rs

@@ -1,8 +1,8 @@
 // This file was created by the AIR team.
 
 use crate::components::prelude::*;
-use crate::components::subroutines::cond_decode_small_sign::CondDecodeSmallSign;
 use crate::components::subroutines::cond_range_check_2::CondRangeCheck2;
+use crate::components::subroutines::decode_small_sign::DecodeSmallSign;
 use crate::components::subroutines::read_id::ReadId;
 
 #[derive(Copy, Clone, Serialize, Deserialize, CairoSerialize)]
@@ -46,12 +46,7 @@ impl ReadSmall {
             memory_address_to_id_lookup_elements,
             eval,
         );
-        CondDecodeSmallSign::evaluate(
-            [M31_1.clone()],
-            msb_col1.clone(),
-            mid_limbs_set_col2.clone(),
-            eval,
-        );
+        DecodeSmallSign::evaluate([], msb_col1.clone(), mid_limbs_set_col2.clone(), eval);
         CondRangeCheck2::evaluate(
             [remainder_bits_col6.clone(), M31_1.clone()],
             partial_limb_msb_col7.clone(),

stwo_cairo_prover/crates/common/casm_registry.json

@@ -1,5 +1,5 @@
 {
-  "air_version": "c68bb12a",
+  "air_version": "13816ba5",
   "air_fns": {
     "memory_address_to_id": {
       "trace_type": "Memory",

stwo_cairo_prover/crates/prover/src/witness/components/add_ap_opcode.rs

@@ -282,16 +282,17 @@ fn write_trace_simd(
                 let memory_id_to_big_value_tmp_c921e_9 =
                     memory_id_to_big_state.deduce_output(op1_id_col7);
 
-                // Cond Decode Small Sign.
+                // Decode Small Sign.
 
                 let msb_tmp_c921e_10 = memory_id_to_big_value_tmp_c921e_9.get_m31(27).eq(M31_256);
                 let msb_col8 = msb_tmp_c921e_10.as_m31();
                 *row[8] = msb_col8;
                 let mid_limbs_set_tmp_c921e_11 =
-                    memory_id_to_big_value_tmp_c921e_9.get_m31(20).eq(M31_511);
+                    ((memory_id_to_big_value_tmp_c921e_9.get_m31(20).eq(M31_511))
+                        & (memory_id_to_big_value_tmp_c921e_9.get_m31(27).eq(M31_256)));
                 let mid_limbs_set_col9 = mid_limbs_set_tmp_c921e_11.as_m31();
                 *row[9] = mid_limbs_set_col9;
-                let cond_decode_small_sign_output_tmp_c921e_12 = [msb_col8, mid_limbs_set_col9];
+                let decode_small_sign_output_tmp_c921e_12 = [msb_col8, mid_limbs_set_col9];
 
                 let op1_limb_0_col10 = memory_id_to_big_value_tmp_c921e_9.get_m31(0);
                 *row[10] = op1_limb_0_col10;

stwo_cairo_prover/crates/prover/src/witness/components/add_mod_builtin.rs

@@ -1191,16 +1191,17 @@ fn write_trace_simd(
                 let memory_id_to_big_value_tmp_c1b19_74 =
                     memory_id_to_big_state.deduce_output(offsets_a_id_col84);
 
-                // Cond Decode Small Sign.
+                // Decode Small Sign.
 
                 let msb_tmp_c1b19_75 = memory_id_to_big_value_tmp_c1b19_74.get_m31(27).eq(M31_256);
                 let msb_col85 = msb_tmp_c1b19_75.as_m31();
                 *row[85] = msb_col85;
                 let mid_limbs_set_tmp_c1b19_76 =
-                    memory_id_to_big_value_tmp_c1b19_74.get_m31(20).eq(M31_511);
+                    ((memory_id_to_big_value_tmp_c1b19_74.get_m31(20).eq(M31_511))
+                        & (memory_id_to_big_value_tmp_c1b19_74.get_m31(27).eq(M31_256)));
                 let mid_limbs_set_col86 = mid_limbs_set_tmp_c1b19_76.as_m31();
                 *row[86] = mid_limbs_set_col86;
-                let cond_decode_small_sign_output_tmp_c1b19_77 = [msb_col85, mid_limbs_set_col86];
+                let decode_small_sign_output_tmp_c1b19_77 = [msb_col85, mid_limbs_set_col86];
 
                 let offsets_a_limb_0_col87 = memory_id_to_big_value_tmp_c1b19_74.get_m31(0);
                 *row[87] = offsets_a_limb_0_col87;
@@ -1278,16 +1279,17 @@ fn write_trace_simd(
                 let memory_id_to_big_value_tmp_c1b19_84 =
                     memory_id_to_big_state.deduce_output(offsets_b_id_col92);
 
-                // Cond Decode Small Sign.
+                // Decode Small Sign.
 
                 let msb_tmp_c1b19_85 = memory_id_to_big_value_tmp_c1b19_84.get_m31(27).eq(M31_256);
                 let msb_col93 = msb_tmp_c1b19_85.as_m31();
                 *row[93] = msb_col93;
                 let mid_limbs_set_tmp_c1b19_86 =
-                    memory_id_to_big_value_tmp_c1b19_84.get_m31(20).eq(M31_511);
+                    ((memory_id_to_big_value_tmp_c1b19_84.get_m31(20).eq(M31_511))
+                        & (memory_id_to_big_value_tmp_c1b19_84.get_m31(27).eq(M31_256)));
                 let mid_limbs_set_col94 = mid_limbs_set_tmp_c1b19_86.as_m31();
                 *row[94] = mid_limbs_set_col94;
-                let cond_decode_small_sign_output_tmp_c1b19_87 = [msb_col93, mid_limbs_set_col94];
+                let decode_small_sign_output_tmp_c1b19_87 = [msb_col93, mid_limbs_set_col94];
 
                 let offsets_b_limb_0_col95 = memory_id_to_big_value_tmp_c1b19_84.get_m31(0);
                 *row[95] = offsets_b_limb_0_col95;
@@ -1365,16 +1367,17 @@ fn write_trace_simd(
                 let memory_id_to_big_value_tmp_c1b19_94 =
                     memory_id_to_big_state.deduce_output(offsets_c_id_col100);
 
-                // Cond Decode Small Sign.
+                // Decode Small Sign.
 
                 let msb_tmp_c1b19_95 = memory_id_to_big_value_tmp_c1b19_94.get_m31(27).eq(M31_256);
                 let msb_col101 = msb_tmp_c1b19_95.as_m31();
                 *row[101] = msb_col101;
                 let mid_limbs_set_tmp_c1b19_96 =
-                    memory_id_to_big_value_tmp_c1b19_94.get_m31(20).eq(M31_511);
+                    ((memory_id_to_big_value_tmp_c1b19_94.get_m31(20).eq(M31_511))
+                        & (memory_id_to_big_value_tmp_c1b19_94.get_m31(27).eq(M31_256)));
                 let mid_limbs_set_col102 = mid_limbs_set_tmp_c1b19_96.as_m31();
                 *row[102] = mid_limbs_set_col102;
-                let cond_decode_small_sign_output_tmp_c1b19_97 = [msb_col101, mid_limbs_set_col102];
+                let decode_small_sign_output_tmp_c1b19_97 = [msb_col101, mid_limbs_set_col102];
 
                 let offsets_c_limb_0_col103 = memory_id_to_big_value_tmp_c1b19_94.get_m31(0);
                 *row[103] = offsets_c_limb_0_col103;

stwo_cairo_prover/crates/prover/src/witness/components/add_opcode_small.rs

@@ -323,16 +323,17 @@ fn write_trace_simd(
                 let memory_id_to_big_value_tmp_756b7_14 =
                     memory_id_to_big_state.deduce_output(dst_id_col14);
 
-                // Cond Decode Small Sign.
+                // Decode Small Sign.
 
                 let msb_tmp_756b7_15 = memory_id_to_big_value_tmp_756b7_14.get_m31(27).eq(M31_256);
                 let msb_col15 = msb_tmp_756b7_15.as_m31();
                 *row[15] = msb_col15;
                 let mid_limbs_set_tmp_756b7_16 =
-                    memory_id_to_big_value_tmp_756b7_14.get_m31(20).eq(M31_511);
+                    ((memory_id_to_big_value_tmp_756b7_14.get_m31(20).eq(M31_511))
+                        & (memory_id_to_big_value_tmp_756b7_14.get_m31(27).eq(M31_256)));
                 let mid_limbs_set_col16 = mid_limbs_set_tmp_756b7_16.as_m31();
                 *row[16] = mid_limbs_set_col16;
-                let cond_decode_small_sign_output_tmp_756b7_17 = [msb_col15, mid_limbs_set_col16];
+                let decode_small_sign_output_tmp_756b7_17 = [msb_col15, mid_limbs_set_col16];
 
                 let dst_limb_0_col17 = memory_id_to_big_value_tmp_756b7_14.get_m31(0);
                 *row[17] = dst_limb_0_col17;
@@ -414,16 +415,17 @@ fn write_trace_simd(
                 let memory_id_to_big_value_tmp_756b7_24 =
                     memory_id_to_big_state.deduce_output(op0_id_col22);
 
-                // Cond Decode Small Sign.
+                // Decode Small Sign.
 
                 let msb_tmp_756b7_25 = memory_id_to_big_value_tmp_756b7_24.get_m31(27).eq(M31_256);
                 let msb_col23 = msb_tmp_756b7_25.as_m31();
                 *row[23] = msb_col23;
                 let mid_limbs_set_tmp_756b7_26 =
-                    memory_id_to_big_value_tmp_756b7_24.get_m31(20).eq(M31_511);
+                    ((memory_id_to_big_value_tmp_756b7_24.get_m31(20).eq(M31_511))
+                        & (memory_id_to_big_value_tmp_756b7_24.get_m31(27).eq(M31_256)));
                 let mid_limbs_set_col24 = mid_limbs_set_tmp_756b7_26.as_m31();
                 *row[24] = mid_limbs_set_col24;
-                let cond_decode_small_sign_output_tmp_756b7_27 = [msb_col23, mid_limbs_set_col24];
+                let decode_small_sign_output_tmp_756b7_27 = [msb_col23, mid_limbs_set_col24];
 
                 let op0_limb_0_col25 = memory_id_to_big_value_tmp_756b7_24.get_m31(0);
                 *row[25] = op0_limb_0_col25;
@@ -505,16 +507,17 @@ fn write_trace_simd(
                 let memory_id_to_big_value_tmp_756b7_34 =
                     memory_id_to_big_state.deduce_output(op1_id_col30);
 
-                // Cond Decode Small Sign.
+                // Decode Small Sign.
 
                 let msb_tmp_756b7_35 = memory_id_to_big_value_tmp_756b7_34.get_m31(27).eq(M31_256);
                 let msb_col31 = msb_tmp_756b7_35.as_m31();
                 *row[31] = msb_col31;
                 let mid_limbs_set_tmp_756b7_36 =
-                    memory_id_to_big_value_tmp_756b7_34.get_m31(20).eq(M31_511);
+                    ((memory_id_to_big_value_tmp_756b7_34.get_m31(20).eq(M31_511))
+                        & (memory_id_to_big_value_tmp_756b7_34.get_m31(27).eq(M31_256)));
                 let mid_limbs_set_col32 = mid_limbs_set_tmp_756b7_36.as_m31();
                 *row[32] = mid_limbs_set_col32;
-                let cond_decode_small_sign_output_tmp_756b7_37 = [msb_col31, mid_limbs_set_col32];
+                let decode_small_sign_output_tmp_756b7_37 = [msb_col31, mid_limbs_set_col32];
 
                 let op1_limb_0_col33 = memory_id_to_big_value_tmp_756b7_34.get_m31(0);
                 *row[33] = op1_limb_0_col33;

stwo_cairo_prover/crates/prover/src/witness/components/call_opcode_rel_imm.rs

@@ -393,16 +393,17 @@ fn write_trace_simd(
                 let memory_id_to_big_value_tmp_9db06_19 =
                     memory_id_to_big_state.deduce_output(distance_to_next_pc_id_col15);
 
-                // Cond Decode Small Sign.
+                // Decode Small Sign.
 
                 let msb_tmp_9db06_20 = memory_id_to_big_value_tmp_9db06_19.get_m31(27).eq(M31_256);
                 let msb_col16 = msb_tmp_9db06_20.as_m31();
                 *row[16] = msb_col16;
                 let mid_limbs_set_tmp_9db06_21 =
-                    memory_id_to_big_value_tmp_9db06_19.get_m31(20).eq(M31_511);
+                    ((memory_id_to_big_value_tmp_9db06_19.get_m31(20).eq(M31_511))
+                        & (memory_id_to_big_value_tmp_9db06_19.get_m31(27).eq(M31_256)));
                 let mid_limbs_set_col17 = mid_limbs_set_tmp_9db06_21.as_m31();
                 *row[17] = mid_limbs_set_col17;
-                let cond_decode_small_sign_output_tmp_9db06_22 = [msb_col16, mid_limbs_set_col17];
+                let decode_small_sign_output_tmp_9db06_22 = [msb_col16, mid_limbs_set_col17];
 
                 let distance_to_next_pc_limb_0_col18 =
                     memory_id_to_big_value_tmp_9db06_19.get_m31(0);