Nitzan Grossman
Hands-on Coding with Cairo: Simple AMM
Want to build an AMM with Cairo? Watch this hands-on tutorial with Alon Shtaierman.
Building a Scalable Cairo-Based Automated Market Maker (AMM)
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)
From Voting to Trustless Eth-Bridges, via Signature Aggregation
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
Playground & SHARP Alpha
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
Cairo & Storage
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
Cairo for Blockchain Developers
Since releasing Cairo a few weeks ago we’ve seen a lot of excitement but also some confusion as to how it fits in with the… Read More »Cairo for Blockchain Developers
Cairo – A STARK Journey
Cairo wasn’t built in a day. Watch Shahar Papini talk at ZK-Summit 6 about the design process of developing Cairo
Cairo: Welcome On Board
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.
Hello, Cairo
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.