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 1.0
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
- 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
- Playground & SHARP AlphaYou’ve written your Cairo code in the Playground, and now you want to take the next step and actually get it proved. To do that you need… Read More »Playground & SHARP Alpha
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