o1vm/pickles: make a proof when we reached the limit

o1vm/src/pickles/main.rs

@@ -8,10 +8,13 @@ use o1vm::{
         constraints as mips_constraints,
         witness::{self as mips_witness},
     },
-    pickles::proof::ProofInputs,
+    pickles::{
+        proof::{Proof, ProofInputs},
+        prover,
+    },
     preimage_oracle::PreImageOracle,
 };
-use poly_commitment::srs::SRS;
+use poly_commitment::{evaluation_proof::OpeningProof, srs::SRS};
 use std::{fs::File, io::BufReader, process::ExitCode};
 
 use mina_curves::pasta::{Fp, Vesta};
@@ -55,7 +58,7 @@ pub fn main() -> ExitCode {
     env_logger::Builder::from_env(env_logger::Env::default().default_filter_or("info")).init();
 
     let domain_fp = EvaluationDomains::<Fp>::create(DOMAIN_SIZE).unwrap();
-    let _srs: SRS<Vesta> = {
+    let srs: SRS<Vesta> = {
         let mut srs = SRS::create(DOMAIN_SIZE);
         srs.add_lagrange_basis(domain_fp.d1);
         srs
@@ -87,6 +90,8 @@ pub fn main() -> ExitCode {
         if curr_proof_inputs.evaluations.instruction_counter.len() == DOMAIN_SIZE {
             // FIXME
             debug!("Limit of {DOMAIN_SIZE} reached. We make a proof, verify it (for testing) and start with a new branch new chunk");
+            let _proof: Proof<Vesta, OpeningProof<Vesta>> =
+                prover::prove(domain_fp, &srs, curr_proof_inputs, &mut rng);
             curr_proof_inputs = ProofInputs::new(DOMAIN_SIZE);
         }
     }