diff --git a/src/plonk/verifier.rs b/src/plonk/verifier.rs index b1b64d9..4526500 100644 --- a/src/plonk/verifier.rs +++ b/src/plonk/verifier.rs @@ -16,9 +16,9 @@ use crate::transcript::{read_n_points, read_n_scalars, TranscriptRead}; /// Returns a boolean indicating whether or not the proof is valid pub fn verify_proof<'a, C: CurveAffine, R: Read, T: TranscriptRead>( params: &'a Params, - vk: &'a VerifyingKey, + vk: &VerifyingKey, msm: MSM<'a, C>, - aux_commitments: &'a [C], + aux_commitments: &[C], transcript: &mut T, ) -> Result, Error> { // Check that aux_commitments matches the expected number of aux columns