How is the proof generated?

[r4881t]

Q: How is the proof generated from Cairo programs for this verifier?

Discussion: Per my understanding, StarkNet uses SHARP (Shared Prover) to generate proof. This prover takes inputs as described at https://www.cairo-lang.org/docs/sharp.html. Since this verifier seems independent of SHARP, I am interested in understanding more on proof.

[xhliu]

I wanna know, too.