Skip to content

Commit

Permalink
o1vm/pickles: remove old comments
Browse files Browse the repository at this point in the history
  • Loading branch information
dannywillems committed Oct 31, 2024
1 parent b2b1184 commit 4a52bdd
Showing 1 changed file with 1 addition and 2 deletions.
3 changes: 1 addition & 2 deletions o1vm/src/pickles/prover.rs
Original file line number Diff line number Diff line change
Expand Up @@ -46,13 +46,12 @@ pub enum ProverError {
///
/// The proof is made of the following steps:
/// 1. For each column, we create a commitment and absorb it in the sponge.
/// 2. FIXME: we compute the quotient polynomial.
/// 2. We compute the quotient polynomial.
/// 3. We evaluate each polynomial (columns + quotient) to two challenges ζ and ζω.
/// 4. We make a batch opening proof using the IPA PCS.
///
/// The final proof consists of the opening proof, the commitments and the
/// evaluations at ζ and ζω.
// TODO: we might need blinders when the evaluation of columns are zeroes.
pub fn prove<
G: KimchiCurve,
EFqSponge: FqSponge<G::BaseField, G, G::ScalarField> + Clone,
Expand Down

0 comments on commit 4a52bdd

Please sign in to comment.