This commit is contained in:
Daniel Lubarov 2022-11-28 22:34:29 -08:00
parent 644a8a2336
commit 5a153278aa

View File

@ -231,7 +231,7 @@ impl<F: RichField + Extendable<D>, C: GenericConfig<D, F = F>, const D: usize>
.enumerate()
{
builder.verify_proof::<C>(
recursive_proof,
&recursive_proof,
&verifier_data_target,
&verifier_data[i].common,
);