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
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
Want to build an AMM with Cairo? Watch this hands-on tutorial with Alon Shtaierman.
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
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.