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 2
Build A Voting System with Cairo
Implement a simple, secure, non-anonymous voting mechanism.
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