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.

[hudem1]

Hi @julio4,

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

[julio4]

@hudem1 Hey! Are you still working on this?

[od-hunter]

Hi @julio4 , If he/she is not, I’ll love to work on it please?