
Cairo
Cairo is a ZK-compatible smart contract programming language for Starknet.

What is Cairo?
Cairo is a Rust-inspired smart contract programming language that makes it easy to build scalable dApps with the power of validity proofs. Developers can start writing Cairo smart contracts in the playground, use tutorials on the language's platform, or leverage Cairo wizards from OpenZeppelin to build out the logic behind dApps. Cairo is also the smart contract language of Starknet, an L2 Validity Rollup that operates on top of Ethereum.
Web3 dapps and developer tools related to Cairo
Discover blockchain applications that are frequently used with Cairo.
Developer resources from Alchemy

Best web3 programming languages in 2025
Explore popular programming languages for onchain apps.

How the edge layer powers faster RPC on Alchemy
Inside the Alchemy Edge Proxy: how a custom bare-metal ingress layer makes blockchain RPC up to 7.5x faster across 100+ networks, with no customer migration.

How Enya Labs migrated Boba Network to our rollups in less than 1 hour
With deep OP Stack customizations and rapid growth, Boba turned to Alchemy Rollups for a seamless, sub-hour migration and a scalable, developer-ready foundation.
Cairo alternatives
Explore web3 competitors and apps like Cairo.
App store listings are independently reviewed and written by Alchemy using a combination of inbound submissions, editorial research, public project sources, and third-party directories, including ecosystem data from The Grid under the Open Database License, DefiLlama, DappRadar, Reown, and chain ecosystem pages.

