Air: implement get_auxiliary_proof_verifier

0xPolygonMiden · Jul 8, 2024 · 35484c4 · 35484c4
1 parent cbb19a9
commit 35484c4
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 0 deletions.
diff --git a/air/src/gkr_proof.rs b/air/src/gkr_proof.rs
@@ -20,8 +20,15 @@ use crate::{
     verify_virtual_bus, CHIPLETS_OFFSET, TRACE_WIDTH,
 };
 
+#[derive(Debug, Default)]
 pub struct GkrCircuitVerifier {}
 
+impl GkrCircuitVerifier {
+    pub fn new() -> Self {
+        Self::default()
+    }
+}
+
 impl GkrVerifier for GkrCircuitVerifier {
     type GkrProof<E: FieldElement> = GkrCircuitProof<E>;
     type Error = VerifierError;

diff --git a/air/src/lib.rs b/air/src/lib.rs
@@ -134,6 +134,12 @@ impl Air for ProcessorAir {
         }
     }
 
+    fn get_gkr_proof_verifier<E: FieldElement<BaseField = Self::BaseField>>(
+        &self,
+    ) -> Self::GkrVerifier<E> {
+        GkrCircuitVerifier::new()
+    }
+
     // PERIODIC COLUMNS
     // --------------------------------------------------------------------------------------------