cairo-lang

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.