Welcome to 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.

One of the most significant changes in Cairo is the syntax. We have taken inspiration from Rust to create a more developer-friendly language that is easier to read and write. The new version of Cairo allows writing safer code (strongly typed, ownership and borrowing, etc.), while also being more expressive.

Cairo also features Sierra, a new intermediate representation that ensures every Cairo run can be proven. This makes Cairo particularly well-suited for use in a permissionless network like Starknet, where it can provide robust DoS protection and censorship resistance. You can read more about Sierra here.

If you are looking for Cairo 0 documentation, please see here.

Help us to improve this documentation

This documentation site is a work in progress. You are very welcome to contribute to this documentation by submitting a pull request.

Please see here for a list of missing content and learn more about how to contribute by reading the Contribution guidelines of this site.

Useful links

Report a Bug

Request a feature

Ask a Question

GitHub Workflow Status

Submit a pull requests