Cairo

Hello, Cairo!

Cairo is a language for creating STARK-provable programs for general computation. Cairo powers StarkEx, which scales applications on Mainnet (including dYdX, Sorare, Immutable X, and DeversiFi).

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

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

Resource Guide

Want to learn Cairo?
Already familiar with Cairo and want to learn more?

Cairo Resource Guide