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
You’ve written your Cairo code in the Playground, and now you want to take the next step and actually get it proved. To do that… Read More »Playground & SHARP Alpha
In our last post, we talked about how Cairo solves two of the three gas-consuming actions on Ethereum – computation and transmission – and promised… Read More »Cairo & Storage
Since releasing Cairo we’ve seen a lot of excitement but also some confusion as to how it fits in with the usual tech stack used… Read More »Cairo for Blockchain Developers
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.