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
Turing Complete
Cairo is the first Turing-complete language for creating provable programs for general computation.
Efficient
Builtins and field elements enable efficient generation of proofs.
Production Ready
Cairo-based systems are already in production on Ethereum mainnet
Tutorial:
Hello, Cairo
From Hello, World to the beginning
of non-deterministic programming
Documentation:
How Cairo Works
Understand the building
blocks of Cairo
THE
Playground
Code, run and test Cairo, right
from your browser, in real time.
New Stuff
StarkNet Alpha 2 is Out!
Tutorial
Build A Voting System with Cairo
Implement a simple, secure, non-anonymous voting mechanism.
Posts
- Cairo Whitepaper
Cairo – How does it work? How are proofs created? Read the Cairo Whitepaper. - Hands-on Coding with Cairo: Simple AMM
Want to build an AMM with Cairo? Watch this hands-on tutorial with Alon Shtaierman.
Tooling
Compiler
Translates Cairo code into bytecode
Virtual Machine
Runs the Cairo program and turns it into a trace
IDE Extensions
Syntax highlighting for Vim and Visual Studio Code
Tracer
Visual rendering of the program run
Application Code
StarkEx 2.0 code – same code that powers DeversiFi on mainnnet
Solve puzzles. Win Prizes.