Cairo

Hello, Cairo!

Cairo is a language for creating STARK-provable programs for general computation. Cairo powers Starknet and StarkEx, scaling applications on Mainnet, including dYdX, Sorare, ImmutableX, and more.

Cairo is the native smart contract language for Starknet, a permissionless decentralized Validity-Rollup.

Cairo is Rust-inspired, allowing developers
to write Starknet smart contracts
in a safe and convenient manner.

Community

We are dedicated to supporting the growing community of Cairo developers and provide them with all the resources and tools they need.

Go to Cairo-lang.org

Cairo Documentation

All the information you need about Cairo.

See the Docs

Blog

Want to learn more about Cairo?
Read our latest blog posts.

Cairo Blog Posts

Contact us