This commit is contained in:
Daniel Lubarov 2021-09-26 16:37:35 -07:00
parent 7bf257546e
commit 541ad5d755

View File

@ -23,12 +23,7 @@ pub(crate) fn verify<F: RichField + Extendable<D>, const D: usize>(
let challenges = proof_with_pis.get_challenges(common_data)?;
let ProofWithPublicInputs {
proof,
public_inputs,
} = proof_with_pis;
let config = &common_data.config;
let ProofWithPublicInputs { proof, .. } = proof_with_pis;
let local_constants = &proof.openings.constants;
let local_wires = &proof.openings.wires;