logos-storage/plonky2
1
0
Fork 0
mirror of https://github.com/logos-storage/plonky2.git synced 2026-01-05 07:13:08 +00:00
Code Issues Packages Projects Releases Wiki Activity

Use num_checks zetas

Browse Source 
The soundness error is (degree of combined constraints)/|F|, so three zetas should be appropriate for all practical circuit sizes.
This commit is contained in:
Daniel Lubarov 2021-05-13 21:32:08 -07:00
parent 18d59ec9de
commit a04bed282d
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/prover.rs
View File

@ -118,9 +118,7 @@ pub(crate) fn prove<F: Field>(
challenger.observe_hash(&quotient_polys_commitment.merkle_tree.root);
// TODO: How many do we need?
let num_zetas = 2;
let zetas = challenger.get_n_challenges(num_zetas);
let zetas = challenger.get_n_challenges(config.num_checks);
let (opening_proof, openings) = timed!(
ListPolynomialCommitment::batch_open_plonk(