
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, what it is and how it works.
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.