
Is There a Cairo Workshop In Your Future?
What is 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.
One STARK to Prove Them All
On August 2020 we announced Cairo, our Turing-Complete platform for generating STARK proofs for general computations.
From ASIC to CPU
Cairo was born out of (not so thin) AIR – watch our ZK-Summit talk on the evolution from an ASIC model to the Cairo CPU model.
Cairo Playground
Cairo Playground lets you start coding with Cairo right from your browser.
Would you like to participate in a future Cairo workshop?
After one small-yet-successful Cairo workshop, we are thinking about holding more workshops, where we will help you learn the language and start building your own projects with Cairo.
If you’d like to participate in one, fill the form below and we will let you know once it’s relevant.