Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
Primary LanguageRustMIT LicenseMIT