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
Will take you from Hello, World to the beginning of non-deterministic programming
Documentation:
How Cairo Works
Understand the building blocks of Cairo
Playground
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 SHARP challenge from the “Challenges” menu in the Playground
Posts
- Hands-on Coding with Cairo: Simple AMM
Want to build an AMM with Cairo? Watch this hands-on tutorial with Alon Shtaierman. - 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)
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.
Take a look at Vol.2