11 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.
Similar to this unanswered question, how to do the same in Cairo and STARK for, say, the 15-puzzle?
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 Stack Overflow
You can generate a proof locally using giza https://github.com/maxgillett/giza
ㅤ This answer was originally posted on Stack Overflow
10 months ago
How to generate a proof for a Cairo program and verify it?[StackOverflow]
What is SHARP in Cairo Language?
How to submit a StarkNet contract?
How to use get_fp_and_pc in Cairo Lang?
Can anyone point me to Pedersen, Rescue references? StarkNet / Cairo Lang
Why does this Cairo program put powers of 2 in the memory?
How to install Cairo v0.10.0 on my device?
How can I use start_prank with deploy_contract?
What are function argument types in starknet.js?
How do I connect my DAPP to Starknet testnet using starknetjs?
How to use Argent (or any from the main providers) account in the StarkNet.py?
Why should I run a Pathfinder node?
Will StarkNet wallets work after Q4 2022 Final State Reset? Or do I need to create and merge a new wallet?