Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Feature: On-chain STARK proof verification #189

Open
julio4 opened this issue May 23, 2024 · 10 comments
Open

Feature: On-chain STARK proof verification #189

julio4 opened this issue May 23, 2024 · 10 comments

Comments

@julio4
Copy link
Contributor

julio4 commented May 23, 2024

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:

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.

@julio4 julio4 added the ODHack label May 23, 2024
@vibenedict
Copy link

i will like to jump on it

@raizo07
Copy link
Contributor

raizo07 commented May 23, 2024

@julio4 I'll like to work on this

@VictoriaAde
Copy link

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

@CollinsC1O
Copy link

Hi @julio4 i will love to work this

@julio4
Copy link
Contributor Author

julio4 commented May 23, 2024

Hello everyone! I assigned @vibenedict for this time!

@vibenedict
Copy link

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

This comment was marked as outdated.

@hudem1
Copy link
Contributor

hudem1 commented Jun 26, 2024

Hi @julio4,

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

@julio4
Copy link
Contributor Author

julio4 commented Aug 8, 2024

@hudem1 Hey! Are you still working on this?

@od-hunter
Copy link

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

@julio4 julio4 changed the title Feature: On-chain proof verification Feature: On-chain STARK proof verification Nov 21, 2024
@hudem1 hudem1 removed their assignment Nov 29, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

7 participants