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.