4 months ago
In SNARKs, you can use Zokrates or snarkjs to generate a proof for a program/computation and verify it, locally or on Ethereum.
cairo-run generate a proof, or only a trace?
I can send it to SHARP with cairo-sharp, but I can't generate nor see the proof locally. Any way to generate the proof by running my own prover without SHARP?
ㅤ This question was originally posted on Triality
You can build your own prover-verifier pair using STARK construction, which is open knowledge, but then you will need to generate AIR yourself. Check out https://github.com/novifinancial/winterfell
If you write a Cairo program to be proven, currently only SHARP can prove it i.e. the Cairo prover is yet to be open sourced.
For verifying proof (generated by SHARP) in Cairo, check out https://github.com/starkware-libs/cairo-lang/blob/master/src/starkware/cairo/stark_verifier/air/layouts/recursive/verify.cairo which is the recursive verifier program released with Cairo 0.10.0
ㅤ This answer was originally posted on Triality
4 months ago
How to generate a proof for a Cairo program and verify it?
What is SHARP in Cairo Language?
How to submit a StarkNet contract?
How to use get_fp_and_pc in Cairo Lang?
Cairo Automatic Events
Can anyone point me to Pedersen, Rescue references? StarkNet / Cairo Lang
Cairo Lang / StarkNet: What are Revoked references? What is alloc_locals?
Is there a way to find events in a block without getting receipt for all transactions on Starknet?
anyone know how to disconnect the connected wallet on the frontend with starknetjs or another way?
Why I randomly get `HttpError: Bad Gateway` from starknet js?
Is it possible to import local python files into hints?
Cairo: How can i approve erc20 and transfer in the same transaction?
How do I get started with starknetjs?
Implementing the connect wallet. Can you help about connectors?