Implement schnorr signature verification in pure Noir #5054
Labels
good first issue
Good for newcomers
Comments
|
See #5053 for a sample rust implementation which should be fairly doable to translate into Noir. This will also require adding a method to check whether an We'll also be able to have an |
5 tasks
github-merge-queue bot
pushed a commit
that referenced
this issue
Jun 6, 2024
# Description ## Problem\* Resolves #5054 and #4929 ## Summary\* Schnorr signature verification in Noir, using the MSM blackbox. ## Additional Context The code is added to the schnorr test case, and it has also an assert version. This should be moved to the stdlib once we have numeric generics. Meanwhile you need to pass a message with 32 additional bytes so we can create an 'hash_input' array of the proper size. ## Documentation\* Check one: - [X] No documentation needed. - [ ] Documentation included in this PR. - [ ] **[For Experimental Features]** Documentation to be submitted in a separate PR. # PR Checklist\* - [X] I have tested the changes locally. - [X] I have formatted the changes with [Prettier](https://prettier.io/) and/or `cargo fmt` on default settings.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Now that we have an MSM opcode in Noir we can implement schnorr signature verification natively in Noir, which would allow us to remove the
SchnorrVerifyblackbox function.The text was updated successfully, but these errors were encountered: