Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers) - View it on GitHub