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

From Hello, World to the beginning
of non-deterministic programming

How Cairo Works

Understand the building
blocks of Cairo


Code, run and test Cairo, right
from your browser, in real time.

New Stuff


Build A Voting System with Cairo

Implement a simple, secure, non-anonymous voting mechanism.


  • Cairo 1.0
    Cairo 1.0 will give developers a safer, simpler, more usable programming language. At the heart of Cairo 1.0 will be Sierra, an intermediary representation layer that promises greater… Read More »Cairo 1.0
  • Cairo Whitepaper
    Cairo – How does it work? How are proofs created? Read the Cairo Whitepaper.



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