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
Solve puzzles. Win Prizes.
Take a look at Vol.2
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
- 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 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
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