Expected behaviors of failed verification

Question

Expected behaviors of failed verification

Closed this issue 6 months ago · 1 comments

junxzm1990 commented 2 years ago

Are there any instructions regarding determining failed verifications? I suppose that "halo2_proofs::plonk::verify_proof" should return "false", right?

I am running into a case where "single-verify" panicked due to [Result::unwrap() on an Err value: ConstraintSystemFailure', src/cli/exec.rs:354:6]. Does this indicate a failed verification or something else?

Answer 1 · 2023-07-11T15:43:29.000Z

Yes, ConstraintSystemFailure indicates a failure verification.