integrate triple_xor gate

Author: Stavbe

_typos.toml

@@ -5,3 +5,4 @@ extend-exclude = [
 ]
 [default.extend-words]
 consts = "consts"
+ba = "ba"

crates/cairo_air/src/privacy_test.rs

@@ -260,5 +260,5 @@ fn test_privacy_proof_info() {
     let proof_info = ProofInfo::from_config(&proof_config);
     println!("{proof_info}");
     // Assert the total size in bytes.
-    assert_eq!(proof_info.total_bytes(), 347360);
+    assert_eq!(proof_info.total_bytes(), 355088);
 }

crates/cairo_air/src/sample_evaluations.rs

@@ -1,4 +1,4 @@
-// AIR version 77f11bb4
+// AIR version 80108501
 use stwo::core::fields::{cm31::CM31, m31::M31, qm31::QM31};
 pub const ADD_AP_OPCODE_SAMPLE_EVAL_RESULT: QM31 =
     QM31(CM31(M31(1435814162), M31(1618992457)), CM31(M31(840348268), M31(442754761)));

crates/circuit_air/src/circuit_components.rs

@@ -1,8 +1,8 @@
 use crate::circuit_claim::{CircuitClaim, CircuitInteractionClaim, CircuitInteractionElements};
 use crate::components::{
     blake_g, blake_gate, blake_output, blake_round, blake_round_sigma, eq, m_31_to_u_32, qm31_ops,
-    range_check_15, range_check_16, triple_xor_32, verify_bitwise_xor_4, verify_bitwise_xor_7,
-    verify_bitwise_xor_8, verify_bitwise_xor_9, verify_bitwise_xor_12,
+    range_check_15, range_check_16, triple_xor, triple_xor_32, verify_bitwise_xor_4,
+    verify_bitwise_xor_7, verify_bitwise_xor_8, verify_bitwise_xor_9, verify_bitwise_xor_12,
 };
 use stwo::core::air::Component;
 use stwo_constraint_framework::TraceLocationAllocator;
@@ -26,6 +26,7 @@ define_component_list! {
     BlakeG,
     BlakeOutput,
     TripleXor32,
+    TripleXor,
     M31ToU32,
     VerifyBitwiseXor8,
     VerifyBitwiseXor12,
@@ -45,6 +46,7 @@ pub struct CircuitComponents {
     pub blake_g: blake_g::Component,
     pub blake_output: blake_output::Component,
     pub triple_xor_32: triple_xor_32::Component,
+    pub triple_xor: triple_xor::Component,
     pub m_31_to_u_32: m_31_to_u_32::Component,
     pub verify_bitwise_xor_8: verify_bitwise_xor_8::Component,
     pub verify_bitwise_xor_12: verify_bitwise_xor_12::Component,
@@ -139,6 +141,16 @@ impl CircuitComponents {
             },
             interaction_claim.claimed_sums[ComponentList::TripleXor32 as usize],
         );
+        let triple_xor_component = triple_xor::Component::new(
+            tree_span_provider,
+            triple_xor::Eval {
+                claim: triple_xor::Claim {
+                    log_size: circuit_claim.log_sizes[ComponentList::TripleXor as usize],
+                },
+                common_lookup_elements: interaction_elements.common_lookup_elements.clone(),
+            },
+            interaction_claim.claimed_sums[ComponentList::TripleXor as usize],
+        );
         let m_31_to_u_32_component = m_31_to_u_32::Component::new(
             tree_span_provider,
             m_31_to_u_32::Eval {
@@ -214,6 +226,7 @@ impl CircuitComponents {
             blake_g: blake_g_component,
             blake_output: blake_output_component,
             triple_xor_32: triple_xor_32_component,
+            triple_xor: triple_xor_component,
             m_31_to_u_32: m_31_to_u_32_component,
             verify_bitwise_xor_8: verify_bitwise_xor_8_component,
             verify_bitwise_xor_12: verify_bitwise_xor_12_component,
@@ -235,6 +248,7 @@ impl CircuitComponents {
             Box::new(self.blake_g) as Box<dyn Component>,
             Box::new(self.blake_output) as Box<dyn Component>,
             Box::new(self.triple_xor_32) as Box<dyn Component>,
+            Box::new(self.triple_xor) as Box<dyn Component>,
             Box::new(self.m_31_to_u_32) as Box<dyn Component>,
             Box::new(self.verify_bitwise_xor_8) as Box<dyn Component>,
             Box::new(self.verify_bitwise_xor_12) as Box<dyn Component>,

crates/circuit_air/src/circuit_eval_components/mod.rs

@@ -8,6 +8,7 @@ pub mod prelude;
 pub mod range_check_15;
 pub mod range_check_16;
 pub mod subroutines;
+pub mod triple_xor;
 pub mod triple_xor_32;
 pub mod verify_bitwise_xor_12;
 pub mod verify_bitwise_xor_4;