o1vm/pickles: Add quotient polynomial to OpeningProof

o1-labs · Oct 9, 2024 · 9581283 · 9581283
1 parent a4a47c0
commit 9581283
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/o1vm/src/pickles/prover.rs b/o1vm/src/pickles/prover.rs
@@ -342,6 +342,7 @@ where
     polynomials.push(polys.instruction_counter);
     polynomials.push(polys.error);
     polynomials.extend(polys.selector);
+    polynomials.push(quotient_polynomial);
 
     let polynomials: Vec<_> = polynomials
         .iter()