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.
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
The Cairo Games
Volume 1 has ended! Volume 2 is coming soon.
Solve puzzles. Win Prizes.
Take a look at Vol 1.0
Tutorial:
Hello, Cairo
Will take you from Hello, World to the beginning of non-deterministic programming
Documentation:
How Cairo Works
Understand the building blocks of Cairo
Playground – Now live!
Code and run Cairo from your browser
New Stuff
Tutorial
Build A Voting System with Cairo
Implement a simple, secure, non-anonymous voting mechanism.
Challenge
Close the Loop – Prove Your Cairo Code on Ropsten
Take the GPS challenge from the “Challenges” menu in the Playground
Posts
- From Voting to Trustless Eth-Bridges, via Signature Aggregation
A 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 Alpha
You’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
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