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 is Rust-inspired, 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
Welcome to Cairo
The first Turing-complete language for creating provable
programs for general computation.
Contribute to the Cairo documentation
Become part of our thriving open-source
community.
New Stuff
Open Sourcing Cairo
Cairo is open source! This is only the first step towards open-sourcing the StarkNet stack.
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