o1vm/pickles: Add quotient evaluations and absorb them

o1-labs · Oct 9, 2024 · 21ff649 · 21ff649
1 parent 44fc485
commit 21ff649
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/o1vm/src/pickles/prover.rs b/o1vm/src/pickles/prover.rs
@@ -309,6 +309,10 @@ where
     let mut fr_sponge = EFrSponge::new(G::sponge_params());
     fr_sponge.absorb(&fq_sponge.digest());
 
+    // Quotient poly evals
+    let quotient_zeta_eval = quotient_poly.evaluate(zeta);
+    let quotient_zeta_omega_eval = quotient_poly.evaluate(zeta_omega);
+
     for (zeta_eval, zeta_omega_eval) in zeta_evaluations
         .scratch
         .iter()
@@ -329,6 +333,8 @@ where
         fr_sponge.absorb(zeta_eval);
         fr_sponge.absorb(zeta_omega_eval);
     }
+    fr_sponge.absorb(&quotient_zeta_eval);
+    fr_sponge.absorb(&quotient_zeta_omega_eval);
 
     ////////////////////////////////////////////////////////////////////////////
     // Round 4: Opening proof w/o linearization polynomial