From 02746d8a0f8659de1e6a36533298ddaf060b80e4 Mon Sep 17 00:00:00 2001 From: wborgeaud Date: Mon, 7 Feb 2022 12:03:52 +0100 Subject: [PATCH] Minor --- plonky2/src/plonk/verifier.rs | 1 + 1 file changed, 1 insertion(+) 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,