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
Code, run and test Cairo, right
from your browser, in real time.
StarkNet Alpha 1 is Out!
Build A Voting System with Cairo
Implement a simple, secure, non-anonymous voting mechanism.
- 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.
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