
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
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
THE
Playground
Code, run and test Cairo, right
from your browser, in real time.
New Stuff
Tutorial
Build A Voting System with Cairo
Implement a simple, secure, non-anonymous voting mechanism.
Posts
- Cairo 1.0Cairo 1.0 will give developers a safer, simpler, more usable programming language. At the heart of Cairo 1.0 will be Sierra, an intermediary representation layer that promises greater… Read More »Cairo 1.0
- Cairo WhitepaperCairo – How does it work? How are proofs created? Read the Cairo Whitepaper.
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
Solve puzzles. Win Prizes.