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.