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, rhino.fi, Celer, Apeworx and Canvas).

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

Contact us