Skip to content
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

Feat: SNARK proof verification #262

Open
julio4 opened this issue Nov 22, 2024 · 6 comments
Open

Feat: SNARK proof verification #262

julio4 opened this issue Nov 22, 2024 · 6 comments
Assignees
Labels

Comments

@julio4
Copy link
Contributor

julio4 commented Nov 22, 2024

Description

Thanks to the amazing work of garaga it is now possible to verify SNARK proofs on Starknet. We want to show a use case of this with an example of a contract that rely on a deployed verifier to verify one proof and do something with the result.

An opening idea would be age verification where users can prove they are above a certain age without revealing their birth date.

Criteria:

  • You can use any predeployed verifier contracts such as risc0, or deploy your own verifier (groth16, noir) (no need to explain how to deploy the verifier)
  • Include an example of verifying a proof on testnet
  • Have a working example that leverage private inputs for privacy and potential public inputs

Resources:

ODHack

To be eligible for additional rewards, be sure to review and follow the ODHack Common Guidelines and Contributing Guidelines.
Be sure to join the telegram group and introduce yourself.

@ShantelPeters
Copy link

ShantelPeters commented Nov 22, 2024

Hi @julio4 please can I work on this issue

@augustin-v
Copy link

Hi this seems like a really interesting issue, I'd love to work on it.
I have experience with Cairo and Rust, and contributed to Kakarot-ssj

@mimisavage
Copy link

Is it okay if I take this?

@blessingbytes
Copy link

pls, i would love to tackle this issue

@Supa-mega
Copy link

Can I work on this, please?

@hudem1
Copy link
Contributor

hudem1 commented Nov 29, 2024

Hi @julio4,

As you suggested different zk-snark proving schemes, do you think we could divide this issue in 2, and I could provide an example with a proving scheme different than the one the person already assigned is doing ? I think it could be interesting to have several examples showcasing how to use different proving schemes and for different use cases too

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

7 participants