-
Notifications
You must be signed in to change notification settings - Fork 14
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Implement verification for Halo2 ZK proofs #27
Comments
Shall I take up this? |
If you're still up for this, go ahead :) |
@wraitii Is the prover and verifier for P256 sig? Like I need to write verifier circuit for it? |
In principle we want a general verifier - you should take a Verification Key (or similar) and a proof and output whether the proof is correct or not. |
Like in the axiom's halo2 scaffold right? Here is how it will look like;
|
Most likely, not really familiar with the axiom scaffold. |
Can i work on this? |
Hey @guha-rahul , I've assigned you. Don't hesitate to ask question on Telegram if there's any issue: https://t.me/+ziFJlAUfPlU1NzRk |
The purpose of this issue is to implement verification of Halo2 proofs on Hylé.
This should be done using a subprocess call a rust verifier, similar to our
risczero
implementation.See instructions on https://github.com/axiom-crypto/halo2-scaffold/ for integration
Additionally, the matching verifier must be implemented in the verifier repository → Hyle-org/verifiers-for-hyle#11
This PR is related to the “WebAuthn signer support” PR → Hyle-org/webauthn-identity-provider#1
The text was updated successfully, but these errors were encountered: