Skip to content

Commit

Permalink
o1vm/pickles/prover: use commit with fixed blinder
Browse files Browse the repository at this point in the history
  • Loading branch information
marcbeunardeau88 committed Oct 28, 2024
1 parent bf503f3 commit b6dbc5d
Showing 1 changed file with 17 additions and 3 deletions.
20 changes: 17 additions & 3 deletions o1vm/src/pickles/prover.rs
Original file line number Diff line number Diff line change
Expand Up @@ -129,7 +129,15 @@ where
} = &polys;
// Note: we do not blind. We might want in the near future in case we
// have a column with only zeroes.
let comm = |poly: &DensePolynomial<G::ScalarField>| srs.commit_non_hiding(poly, num_chunks);
let comm = |poly: &DensePolynomial<G::ScalarField>| {
srs.commit_custom(
poly,
num_chunks,
&PolyComm::new(vec![G::ScalarField::one()]),
)
.unwrap()
.commitment
};
// Doing in parallel
let scratch = scratch.par_iter().map(comm).collect::<Vec<_>>();
let selector = selector.par_iter().map(comm).collect::<Vec<_>>();
Expand Down Expand Up @@ -260,8 +268,14 @@ where
quotient
};

let quotient_commitment =
srs.commit_non_hiding(&quotient_poly, DEGREE_QUOTIENT_POLYNOMIAL as usize);
let quotient_commitment = srs
.commit_custom(
&quotient_poly,
DEGREE_QUOTIENT_POLYNOMIAL as usize,
&PolyComm::new(vec![G::ScalarField::one(); 7]),
)
.unwrap()
.commitment;
absorb_commitment(&mut fq_sponge, &quotient_commitment);

////////////////////////////////////////////////////////////////////////////
Expand Down

0 comments on commit b6dbc5d

Please sign in to comment.