How to learn Cairo

An overview of how to get started from scratch with Cairo


Cairo is the first Turing-complete language for creating provable programs for general computation. It is a Rust-like high-level language. Like Rust, it is intended to allow developers to easily write code that is efficient and safe.

We think the best way to learn is to play and to practice, either by creating your own coding projects, or by solving small problems like the ones here on Exercism!

Below are some resources that might help you jumpstart your Cairo journey: