fix: doc for plonk::verify_proof to reflect Result<V::Output, Error>

GarmashAlex · web-flow · commit 30055b7c0b29 · 2025-09-04T10:12:41.000+03:00
diff --git a/halo2_proofs/src/plonk/verifier.rs b/halo2_proofs/src/plonk/verifier.rs
@@ -63,7 +63,9 @@ impl<'params, C: CurveAffine> VerificationStrategy<'params, C> for SingleVerifie
     }
 }
 
-/// Returns a boolean indicating whether or not the proof is valid
+/// Verifies a proof using the provided strategy.
+///
+/// On success returns the strategy-defined output (`V::Output`), or an `Error` on failure.
 pub fn verify_proof<
     'params,
     C: CurveAffine,

Original file line number	Diff line number	Diff line change
`@@ -63,7 +63,9 @@ impl<'params, C: CurveAffine> VerificationStrategy<'params, C> for SingleVerifie`
`63`	`63`	`}`
`64`	`64`	`}`
`65`	`65`
`66`		`-/// Returns a boolean indicating whether or not the proof is valid`
	`66`	`+/// Verifies a proof using the provided strategy.`
	`67`	`+///`
	`68`	+/// On success returns the strategy-defined output (`V::Output`), or an `Error` on failure.
`67`	`69`	`pub fn verify_proof<`
`68`	`70`	`'params,`
`69`	`71`	`C: CurveAffine,`