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

The Cairo Games

Volume 1 has ended!

Volume 2 is coming soon.

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

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

Join a Cairo Workshop

Next workshop: Coming Soon!