3

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?

Mikko Ohtamaa
  • 82,057
  • 50
  • 264
  • 435
sinoTrinity
  • 1,125
  • 2
  • 15
  • 27

1 Answers1

3

You can generate a proof locally using giza https://github.com/maxgillett/giza

Lucas
  • 56
  • 4