How to generate a proof for a Cairo program and verify it?

Question

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?

Answer 1

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