
Welcome to Cairo
A language for scaling dApps using STARKs
A Turing-complete language making it possible for all blockchain developers to harness the power of STARKs
Cairo 1.0 is the upgraded Rust-inspired version of Cairo, allowing developers to write Starknet smart contracts in a safe and convenient manner.
Turing Complete
Cairo is the first Turing-complete language for creating provable programs for general computation.
Efficient
Builtins and field elements enable efficient generation of proofs.
Production Ready
Cairo-based systems are already in production on Ethereum mainnet
Tutorial:
Hello, Cairo
From Hello, World to the beginning
of non-deterministic programming
Documentation:
How Cairo Works
Understand the building
blocks of Cairo
New Stuff
Open Sourcing Cairo 1.0!
Cairo 1.0 is open source! This is only the first step towards open-sourcing the StarkNet stack.
Posts
- Starknet Alpha v0.11.0: The Transition to Cairo 1.0 BeginsStarknet alpha v0.11.0 is out and live on Testnet. You can now deploy and interact with Cairo 1.0 contracts on Starknet Testnet! Read More
- Cairo 1.0-Alpha.3 — Just released!Cairo 1.0-alpha.3 was just released. Added new language features that will be supported in Starknet alpha v0.11.0, expected in two weeks. Read More
Tooling
Compiler
Translates Cairo code into bytecode

Virtual Machine
Runs the Cairo program and turns it into a trace

IDE Extensions
Syntax highlighting for Vim and Visual Studio Code

Tracer
Visual rendering of the program run

Application Code
StarkEx 2.0 code – same code that powers DeversiFi on mainnnet