WELCOME TO CAIRO

The Rust-inspired language that makes it easy to build scalable dApps with the power of validity proofs.

Get started Cairo v2.12.0
Cairo-logo-hero-shadow-opt

What is cairo?

Cairo lets you write provable programs without requiring a deep understanding of the underlying ZK concepts. From onchain gaming to provable ML, Cairo makes building trustless applications possible.

Cairo is also the smart-contract language of Starknet, an L2 blockchain that is verified over Ethereum.

About Cairo

Cairo on Starknet

Starknet is an L2 Validity Rollup that operates on top of Ethereum, enabling dApps to massively scale without compromising on security or decentralization.

Explore Layer 2

Cairo is Starknet’s smart-contract language. Cairo is purpose-built for provable computing and is a cornerstone in Starknet’s ability to scale blockchains.

Open Starknet.io

why use cairo?

  • Hand snapping

    Developer-Friendly

    Write Rust-like code and generate proofs for program execution—math isn’t a barrier.

  • Stopwatch

    Efficient

    Cairo compiles down to an ad-hoc assembly, which was engineered specifically for efficient proof generation.

  • Triple arrow

    Innovative

    Unshackled by EVM,
    Cairo is a fast-growing language that keeps delivering new and exciting features to its developers.

How to use cairo?

  • Coding cairo

    Learn all about Cairo both onchain and offchain

    Start coding

  • proving cairo

    Learn all about Cairo using the blazing-fast Stwo prover to prove Cairo code

    Start proving

How to use cairo?

For questions or inquiries about Cairo, reach out to us on Discord or Stack Overflow.

Join our Discord Ask on Stack Overflow