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.