diff --git a/plonky2/src/plonk/verifier.rs b/plonky2/src/plonk/verifier.rs index 1f5a18d2..5d69dcb1 100644 --- a/plonky2/src/plonk/verifier.rs +++ b/plonky2/src/plonk/verifier.rs @@ -22,6 +22,7 @@ pub(crate) fn verify, C: GenericConfig, c ); let public_inputs_hash = proof_with_pis.get_public_inputs_hash(); let challenges = proof_with_pis.get_challenges(public_inputs_hash, common_data)?; + verify_with_challenges( proof_with_pis.proof, public_inputs_hash,