This commit is contained in:
wborgeaud 2022-02-07 12:03:52 +01:00
parent f39352896f
commit 02746d8a0f

View File

@ -22,6 +22,7 @@ pub(crate) fn verify<F: RichField + Extendable<D>, C: GenericConfig<D, F = F>, 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,