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?
-
Developer-Friendly
Write Rust-like code and generate proofs for program execution—math isn’t a barrier.
-
Efficient
Cairo compiles down to an ad-hoc assembly, which was engineered specifically for efficient proof generation.
-
Innovative
Unshackled by EVM,
Cairo is a fast-growing language that keeps delivering new and exciting features to its developers.
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 BookCairo 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.
Want to learn more about Cairo?
Read our latest blog posts and updates.
Read more on our blog
