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 the first Turing-complete language for creating provable programs for general computation.
Builtins and field elements enable efficient generation of proofs.
Cairo-based systems are already in production on Ethereum mainnet
From Hello, World to the beginning of non-deterministic programming
How Cairo Works
Understand the building blocks of Cairo, what it is and how it works.
Code, run and test Cairo, right from your browser, in real time.
StarkNet Alpha 1 is Out!
New L1<>L2 interaction – read the tutorial
Write and deploy your contracts
Build A Voting System with Cairo
Implement a simple, secure, non-anonymous voting mechanism.
- 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
Translates Cairo code into bytecode
Runs the Cairo program and turns it into a trace
Syntax highlighting for Vim and Visual Studio Code
Visual rendering of the program run
StarkEx 2.0 code – same code that powers DeversiFi on mainnnet
Solve puzzles. Win Prizes.