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, what it is and how it works.


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.


  • ​​The What’s What of the Cairo World
    In this blog post, we’ll dive into the different components that make Starknet the most performant L2 by TPS – Cairo VM, CASM, Cairo Zero, Cairo, and Sierra.  
  • Cairo Roadmap: Join the Ride
    Cairo v1 has evolved significantly since its early alpha days, reaching feature parity with Cairo 0, and accumulating new features on top (basic loops are now available, and many more capabilities are underway). Our goal in this post is to shed more light on Cairo’s short-term roadmap:  what is currently being worked on and what developers can expect in the coming weeks and months.



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