Mix All Components Into Channel

starkware-libs · Jan 13, 2025 · 59677d3 · 59677d3
1 parent 610a83a
commit 59677d3
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/stwo_cairo_prover/crates/prover/src/cairo_air/air.rs b/stwo_cairo_prover/crates/prover/src/cairo_air/air.rs
@@ -77,6 +77,11 @@ impl CairoClaim {
         self.opcodes.mix_into(channel);
         self.memory_address_to_id.mix_into(channel);
         self.memory_id_to_value.mix_into(channel);
+        self.verify_instruction.mix_into(channel);
+        self.range_check_19.mix_into(channel);
+        self.range_check9_9.mix_into(channel);
+        self.range_check7_2_5.mix_into(channel);
+        self.range_check4_3.mix_into(channel);
     }
 
     pub fn log_sizes(&self) -> TreeVec<Vec<u32>> {
@@ -401,8 +406,13 @@ pub struct CairoInteractionClaim {
 impl CairoInteractionClaim {
     pub fn mix_into(&self, channel: &mut impl Channel) {
         self.opcodes.mix_into(channel);
+        self.verify_instruction.mix_into(channel);
         self.memory_address_to_id.mix_into(channel);
         self.memory_id_to_value.mix_into(channel);
+        self.range_check_19.mix_into(channel);
+        self.range_check_9_9.mix_into(channel);
+        self.range_check_7_2_5.mix_into(channel);
+        self.range_check_4_3.mix_into(channel);
     }
 }