Cairo 1.0
TL;DR Introduction In 2020 we released Cairo, a Turing-complete programming language, and took a big step towards supporting verifiable computation using STARKs. Today, we announce Cairo… Read More »Cairo 1.0
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 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 – 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.