Verify Cairo contracts on Starkscan in 1 minute.
starkscan
A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
risc0
