diff --git a/plonky2/src/plonk/prover.rs b/plonky2/src/plonk/prover.rs index c53ea78e..ee94288e 100644 --- a/plonky2/src/plonk/prover.rs +++ b/plonky2/src/plonk/prover.rs @@ -122,7 +122,11 @@ pub fn prove, C: GenericConfig, const D: prove_with_partition_witness(prover_data, common_data, partition_witness, timing) } -pub fn prove_with_partition_witness, C: GenericConfig, const D: usize>( +pub fn prove_with_partition_witness< + F: RichField + Extendable, + C: GenericConfig, + const D: usize, +>( prover_data: &ProverOnlyCircuitData, common_data: &CommonCircuitData, mut partition_witness: PartitionWitness,