NEWTON
Asked
6 months ago
12
views
0
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?
Can 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
0
You can generate a proof locally using giza https://github.com/maxgillett/giza
ㅤ This answer was originally posted on Stack Overflow
answered
5 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?
StarknetPy Error in get_balance_sync (StarknetErrorCode.ENTRY_POINT_NOT_FOUND_IN_CONTRACT)
How can I use start_prank with deploy_contract?
Cairo Error: Getting Error while setting value of item in array
Any NFT marketplace has launched on starknet L2?
Cairo Testing Error
How to import uint256 in Cairo?
Does writing it to zero actually do something?