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?