Feat: SNARK proof verification

[julio4]

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:

• Garaga

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]

Hi @julio4 please can I work on this issue

[augustin-v]

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]

Is it okay if I take this?

[blessingbytes]

pls, i would love to tackle this issue

[Supa-mega]

Can I work on this, please?

[hudem1]

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