Topic: "computational-integrity"
starkware-libs/cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
Language: Rust - Size: 218 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 1,765 - Forks: 605
andrewmilson/sandstorm
Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
Language: Rust - Size: 2.04 MB - Last synced at: about 1 month ago - Pushed at: 5 months ago - Stars: 159 - Forks: 23
Related Topics