Hello, Cairo!

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.

Contact us