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.
This documentation site is a work in progress. You are very welcome to contribute to this documentation by submitting a pull request.