Feature: On-chain proof verification

[julio4]

Description

The Stone Prover is a tool for generating STARK proofs of Cairo programs.

The Integrity Verifier enables the on-chain verification of proofs generated by the Stone Prover.

In this example, we will demonstrate how to generate a proof of a Cairo computation locally and verify it using the verifier contract on testnet.

Criteria:

• Provide an explanation of the proof generation process.
• Include an example of verifying a proof on testnet, along with a link to the transaction on Voyager.
• List potential use-cases (e.g., Layer-3 solutions, ZKML, etc.).

Resources:

• Stone Prover
• Integrity Verifier
• The Integrity verifier: A leap toward Starknet hyperscaling

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.