Open vdods opened 1 year ago
This only required fixing a typo. The bug in particular was that I was seeing
VerificationResult { checks: [Proof], warnings: [], errors: [ "signature error: Verification equation was not satisfied" ] }
when I should have been seeing
VerificationResult { checks: [], warnings: [], errors: [ "signature error: Verification equation was not satisfied" ] }
Same deal here, I sent in a signed CLA Oct 6, 2021, but let me know if you need a new one for whatever reason.
… Check::Proof to be added to the verification results in addition to the expected error. This fixes it to match the analogous logic in other proof verification code.