WELCOME TO CAIRO

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

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.

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.

Book
Book

The Cairo Book will walk you through setting up your environment and writing your first Cairo program, and then proceed to give a thorough overview of the language.

Read the Book

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.

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.

Contribute to Cairo’s development

You can play a crucial role in building the foundation for a scalable and secure blockchain ecosystem—let's innovate together.

GET SUPPORT

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