diff --git a/halo2_proofs/src/plonk/verifier.rs b/halo2_proofs/src/plonk/verifier.rs index f141ebaf98..29e11cb2d1 100644 --- a/halo2_proofs/src/plonk/verifier.rs +++ b/halo2_proofs/src/plonk/verifier.rs @@ -63,7 +63,7 @@ impl<'params, C: CurveAffine> VerificationStrategy<'params, C> for SingleVerifie } } -/// Returns a boolean indicating whether or not the proof is valid +/// Returns a Result indicating whether or not the proof is valid pub fn verify_proof< 'params, C: CurveAffine,