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.
Cairo is Rust-inspired, allowing developers
to write Starknet smart contracts
in a safe and convenient manner.