Skip to content

Feat: SNARK proof verification #262

Open
@julio4

Description

@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:

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.

Metadata

Metadata

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions