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.


Builtins and field elements enable efficient generation of proofs.

Production Ready

Cairo-based systems are already in production on Ethereum mainnet

Hello, Cairo

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

New Stuff


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




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


Visual rendering of the program run

Application Code

StarkEx 2.0 code – same code that powers DeversiFi on mainnnet

The Cairo Games

Vol.1 has ended!

Vol.2 has ended!

Solve puzzles. Win Prizes.
Take a look at Vol.2

Join a Cairo Workshop

Next workshop: Coming Soon!