(Cairo)
Build a new web with Cairo — Starknet’s native, general purpose programming language.
Recode the web with Cairo
(Build With Cairo)
Create provable programs that rewire the web — with zero knowledge of ZK concepts — using Cairo, Starknet’s native, general-purpose programming language designed for building and scaling dApps.
Build for proofs
Generate cryptographic proofs with every program. Prove every computation securely and efficiently — without running it twice.
Designed to scale
Cairo powers Starknet and StarkEx, and is used by platforms like Immutable X, Sorare, dYdX, and others to scale apps on Mainnet.
Evolved for devs
Cairo evolved from its humble origins into a dev-friendly language inspired by Rust, featuring robust safety, ownership, trains, and macros.
Zero-
knowledge,
infinite
possibilities.
(How Cairo works)
Cairo has undergone a complete transformation into a mature programming language, boasting Rust-like syntax with features like ownership, traits, and macros. Cairo’s trait system enables modular, testable design — ideal for complex dApps that grow over time.
Transaction Execution
Transactions are executed in the CairoVM using Starknet’s current state. Blocks are executed through StarknetOS, generating a trace for all transactions in the block.
Proof Generation
The trace is sent to a Prover to create a proof that the computation was correct. Multiple blocks can be proved and combined together using recursion.
Proof Execution
The proof is sent to the Layer 1, where a smart contract verifies it. Verification is efficient, scaling with the size of the computation as O(log²(x)).
(what sets us apart)
Rust-like syntax
/01
Strong type system
/02
True generics
/03