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
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
Will take you from Hello, World to the beginning of non-deterministic programming
How Cairo Works
Understand the building blocks of Cairo
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 SHARP challenge from the “Challenges” menu in the Playground
- Hands-on Coding with Cairo: Simple AMMWant 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)
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