Create CairoAir.

stwo_cairo_prover/Cargo.toml

@@ -7,4 +7,4 @@ edition = "2021"
 itertools = "0.12.0"
 num-traits = "0.2.17"
 # TODO(ShaharS): take stwo version from the source repository.
-stwo-prover = { git = "https://github.com/starkware-libs/stwo", rev = "7a0bddee" }
+stwo-prover = { git = "https://github.com/starkware-libs/stwo", rev = "7614d354" }

stwo_cairo_prover/src/air/cairo.rs

@@ -0,0 +1,211 @@
+use std::cmp::max;
+use std::collections::BTreeMap;
+
+use stwo_prover::core::air::{Air, AirProver, Component, ComponentProver};
+use stwo_prover::core::backend::CpuBackend;
+use stwo_prover::core::channel::{Blake2sChannel, Channel};
+use stwo_prover::core::fields::m31::BaseField;
+use stwo_prover::core::fields::qm31::SecureField;
+use stwo_prover::core::poly::circle::CircleEvaluation;
+use stwo_prover::core::poly::BitReversedOrder;
+use stwo_prover::core::prover::VerificationError;
+use stwo_prover::core::{ColumnVec, InteractionElements, LookupValues};
+use stwo_prover::trace_generation::registry::ComponentGenerationRegistry;
+use stwo_prover::trace_generation::{AirTraceGenerator, AirTraceVerifier, ComponentTraceGenerator};
+
+use crate::components::memory::component::{
+    MemoryComponent, MemoryTraceGenerator, MAX_MEMORY_CELL_VALUE, MEMORY_ALPHA,
+    MEMORY_COMPONENT_ID, MEMORY_RC_LOOKUP_VALUE_0, MEMORY_RC_LOOKUP_VALUE_1,
+    MEMORY_RC_LOOKUP_VALUE_2, MEMORY_RC_LOOKUP_VALUE_3, MEMORY_Z, N_MEMORY_COLUMNS,
+};
+use crate::components::range_check_unit::component::{
+    RangeCheckUnitComponent, RangeCheckUnitTraceGenerator, N_RC_COLUMNS, RC_COMPONENT_ID,
+    RC_LOOKUP_VALUE_0, RC_LOOKUP_VALUE_1, RC_LOOKUP_VALUE_2, RC_LOOKUP_VALUE_3, RC_Z,
+};
+
+struct CairoAirGenerator {
+    pub registry: ComponentGenerationRegistry,
+}
+
+impl CairoAirGenerator {
+    #[allow(dead_code)]
+    pub fn new(path: String) -> Self {
+        let mut registry = ComponentGenerationRegistry::default();
+        registry.register(MEMORY_COMPONENT_ID, MemoryTraceGenerator::new(path));
+        registry.register(
+            RC_COMPONENT_ID,
+            RangeCheckUnitTraceGenerator::new(MAX_MEMORY_CELL_VALUE),
+        );
+        Self { registry }
+    }
+}
+
+impl AirTraceVerifier for CairoAirGenerator {
+    fn interaction_elements(&self, channel: &mut Blake2sChannel) -> InteractionElements {
+        let elements = channel.draw_felts(3);
+        InteractionElements::new(BTreeMap::from_iter(vec![
+            (MEMORY_ALPHA.to_string(), elements[0]),
+            (MEMORY_Z.to_string(), elements[1]),
+            (RC_Z.to_string(), elements[2]),
+        ]))
+    }
+}
+
+impl AirTraceGenerator<CpuBackend> for CairoAirGenerator {
+    fn write_trace(&mut self) -> Vec<CircleEvaluation<CpuBackend, BaseField, BitReversedOrder>> {
+        let mut trace = Vec::with_capacity(N_MEMORY_COLUMNS + N_RC_COLUMNS);
+        trace.extend(MemoryTraceGenerator::write_trace(
+            MEMORY_COMPONENT_ID,
+            &mut self.registry,
+        ));
+        trace.extend(RangeCheckUnitTraceGenerator::write_trace(
+            RC_COMPONENT_ID,
+            &mut self.registry,
+        ));
+        trace
+    }
+
+    fn interact(
+        &self,
+        trace: &ColumnVec<CircleEvaluation<CpuBackend, BaseField, BitReversedOrder>>,
+        elements: &InteractionElements,
+    ) -> Vec<CircleEvaluation<CpuBackend, BaseField, BitReversedOrder>> {
+        let mut interaction_trace = Vec::new();
+        let trace_iter = &mut trace.iter();
+        let memory_generator = self
+            .registry
+            .get_generator::<MemoryTraceGenerator>(MEMORY_COMPONENT_ID);
+        interaction_trace.extend(
+            memory_generator
+                .write_interaction_trace(&trace_iter.take(N_MEMORY_COLUMNS).collect(), elements),
+        );
+        let rc_generator = self
+            .registry
+            .get_generator::<RangeCheckUnitTraceGenerator>(RC_COMPONENT_ID);
+        interaction_trace.extend(
+            rc_generator
+                .write_interaction_trace(&trace_iter.take(N_RC_COLUMNS).collect(), elements),
+        );
+        interaction_trace
+    }
+
+    fn to_air_prover(&self) -> impl AirProver<CpuBackend> {
+        let memory = self
+            .registry
+            .get_generator::<MemoryTraceGenerator>(MEMORY_COMPONENT_ID);
+        let range_check_unit = self
+            .registry
+            .get_generator::<RangeCheckUnitTraceGenerator>(RC_COMPONENT_ID);
+        CairoAir {
+            memory: memory.component(),
+            range_check_unit: range_check_unit.component(),
+        }
+    }
+
+    fn composition_log_degree_bound(&self) -> u32 {
+        let memory = self
+            .registry
+            .get_generator::<MemoryTraceGenerator>(MEMORY_COMPONENT_ID);
+        let range_check_unit = self
+            .registry
+            .get_generator::<RangeCheckUnitTraceGenerator>(RC_COMPONENT_ID);
+        max(
+            memory.component().max_constraint_log_degree_bound(),
+            range_check_unit
+                .component()
+                .max_constraint_log_degree_bound(),
+        )
+    }
+}
+
+#[derive(Clone)]
+pub struct CairoAir {
+    pub memory: MemoryComponent,
+    pub range_check_unit: RangeCheckUnitComponent,
+}
+
+impl Air for CairoAir {
+    fn components(&self) -> Vec<&dyn Component> {
+        vec![&self.memory, &self.range_check_unit]
+    }
+
+    fn verify_lookups(&self, lookup_values: &LookupValues) -> Result<(), VerificationError> {
+        let memory_rc_lookup_value = SecureField::from_m31(
+            lookup_values[MEMORY_RC_LOOKUP_VALUE_0],
+            lookup_values[MEMORY_RC_LOOKUP_VALUE_1],
+            lookup_values[MEMORY_RC_LOOKUP_VALUE_2],
+            lookup_values[MEMORY_RC_LOOKUP_VALUE_3],
+        );
+        let rc_lookup_value = SecureField::from_m31(
+            lookup_values[RC_LOOKUP_VALUE_0],
+            lookup_values[RC_LOOKUP_VALUE_1],
+            lookup_values[RC_LOOKUP_VALUE_2],
+            lookup_values[RC_LOOKUP_VALUE_3],
+        );
+        if memory_rc_lookup_value != rc_lookup_value {
+            return Err(VerificationError::InvalidLookup(
+                "Memory and RC".to_string(),
+            ));
+        }
+        Ok(())
+    }
+}
+
+impl AirProver<CpuBackend> for CairoAir {
+    fn prover_components(&self) -> Vec<&dyn ComponentProver<CpuBackend>> {
+        vec![&self.memory, &self.range_check_unit]
+    }
+}
+
+impl AirTraceVerifier for CairoAir {
+    fn interaction_elements(&self, channel: &mut Blake2sChannel) -> InteractionElements {
+        let elements = channel.draw_felts(3);
+        InteractionElements::new(BTreeMap::from_iter(vec![
+            (MEMORY_ALPHA.to_string(), elements[0]),
+            (MEMORY_Z.to_string(), elements[1]),
+            (RC_Z.to_string(), elements[2]),
+        ]))
+    }
+}
+
+#[cfg(test)]
+mod tests {
+    use stwo_prover::core::backend::CpuBackend;
+    use stwo_prover::core::channel::{Blake2sChannel, Channel};
+    use stwo_prover::core::fields::m31::BaseField;
+    use stwo_prover::core::fields::IntoSlice;
+    use stwo_prover::core::vcs::blake2_hash::Blake2sHasher;
+    use stwo_prover::core::vcs::hasher::Hasher;
+    use stwo_prover::trace_generation::registry::ComponentGenerationRegistry;
+    use stwo_prover::trace_generation::{
+        commit_and_prove, commit_and_verify, AirTraceGenerator, ComponentTraceGenerator,
+    };
+
+    use super::*;
+    use crate::test_utils::register_test_memory;
+
+    #[test]
+    fn test_air() {
+        let mut registry = ComponentGenerationRegistry::default();
+        register_test_memory(&mut registry);
+        let mut air = CairoAirGenerator { registry };
+        let trace = air.write_trace();
+        let prover_channel =
+            &mut Blake2sChannel::new(Blake2sHasher::hash(BaseField::into_slice(&[])));
+        let proof = commit_and_prove::<CpuBackend>(&air, prover_channel, trace).unwrap();
+
+        let verifier_channel =
+            &mut Blake2sChannel::new(Blake2sHasher::hash(BaseField::into_slice(&[])));
+        let air = CairoAir {
+            memory: air
+                .registry
+                .get_generator::<MemoryTraceGenerator>(MEMORY_COMPONENT_ID)
+                .component(),
+            range_check_unit: air
+                .registry
+                .get_generator::<RangeCheckUnitTraceGenerator>(RC_COMPONENT_ID)
+                .component(),
+        };
+        commit_and_verify(proof, &air, verifier_channel).unwrap();
+    }
+}

stwo_cairo_prover/src/air/mod.rs

@@ -0,0 +1 @@
+pub mod cairo;