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 live on Mainnet
Read More on the StarkNet website
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