A Step-By-Step Guide We recently released the alpha version of SHARP – our Shared Prover that allows anyone to send programs to be STARK-proved (currently… Read More »Building a Scalable Cairo-Based Automated Market Maker (AMM)
A few weeks ago, we added the Voting Tutorial to the Cairo Docs – you may remember it from the Cairo & Storage post that… Read More »From Voting to Trustless Eth-Bridges, via Signature Aggregation
Cairo wasn’t built in a day. Watch Shahar Papini talk at ZK-Summit 6 about the design process of developing Cairo
A few months ago we announced Cairo, our Turing-complete framework for proving general computations. Since then we held the Cairo Genesis Workshop and presented Cairo at ZK Summit 6. Today, we are releasing the first version of the Cairo Toolchain.
Cairo is the first production-grade platform for generating STARK proofs for general computation. It is Turing Complete, and highly efficient. Everything we’ve been building — starting with our Reddit Bake-off submission — is written in Cairo, including all our upcoming deployments: DeversiFi, Immutable, and dYdX.