Welcome to Cairo
A Language for Writing Provable Programs
A STARK-based 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
Volume 1 has ended!
Volume 2 is coming soon.
Solve puzzles. Win Prizes.
Take a look at Vol.2
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
Build A Voting System with Cairo
Implement a simple, secure, non-anonymous voting mechanism.
Close the Loop – Prove Your Cairo Code on Ropsten
Take the GPS challenge from the “Challenges” menu in the Playground
- Building a Scalable Cairo-Based Automated Market Maker (AMM)A Step-By-Step Guide We recently released the alpha version of SHARP – our Shared Prover that allows anyone to send programs to be STARK-proved (currently on Ropsten),… Read More »Building a Scalable Cairo-Based Automated Market Maker (AMM)
- From Voting to Trustless Eth-Bridges, via Signature AggregationA few weeks ago, we added the Voting Tutorial to the Cairo Docs – you may remember it from the Cairo & Storage post that referenced it… Read More »From Voting to Trustless Eth-Bridges, via Signature Aggregation
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