From 6f13263d56ff1718b81b8344d9c7da7b783f4b24 Mon Sep 17 00:00:00 2001 From: wborgeaud Date: Fri, 7 May 2021 11:32:15 +0200 Subject: [PATCH] Minor --- src/prover.rs | 17 +---------------- 1 file changed, 1 insertion(+), 16 deletions(-) diff --git a/src/prover.rs b/src/prover.rs index 6165944e..7536461f 100644 --- a/src/prover.rs +++ b/src/prover.rs @@ -120,22 +120,7 @@ pub(crate) fn prove( let num_zetas = 2; let zetas = challenger.get_n_challenges(num_zetas); - let openings = zetas - .iter() - .map(|&z| { - OpeningSet::new( - z, - todo!(), - todo!(), - &wires_commitment, - &plonk_zs_commitment, - "ient_polys_commitment, - ) - }) - .collect::>(); - - // TODO: This re-evaluates the polynomial and is thus redundant with the openings above. - let fri_proofs = ListPolynomialCommitment::batch_open_plonk( + let (fri_proofs, openings) = ListPolynomialCommitment::batch_open_plonk( &[ &prover_data.constants_commitment, &prover_data.sigmas_commitment,