Welcome to Cairo
A Language for Writing Provable Programs
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
Will take you from Hello, World to the beginning of non-deterministic programming
How Cairo Works
Understand the building blocks of Cairo
Playground – Now live!
Code and run Cairo from your browser
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
Learn More About Cairo
StarkWare’s post introducing Cairo to the world