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.

[vibenedict]

i will like to jump on it

[raizo07]

@julio4 I'll like to work on this

[VictoriaAde]

I am interested in working on this. I have a good idea how I can go about this. Please assign me.

[CollinsC1O]

Hi @julio4 i will love to work this

[julio4]

Hello everyone! I assigned @vibenedict for this time!

[vibenedict]

Just to update you that I am still working on rounding up the pr for this issue. I will be pushing the completed work pretty soon.

[julio4]

Just to update you that I am still working on rounding up the pr for this issue. I will be pushing the completed work pretty soon.

Thank you very much. ODHack hackathon has already finished, so today will be the last day if you want to be eligible!

[hudem1]

Hi @julio4,

I would like to be assigned on this issue and tackle this interesting issue ! :)