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.
AuditBase
Scaffold-ETH
Superchain Dev Console
Gelato
Developer resources from Alchemy
Best web3 programming languages in 2025
Explore popular programming languages for onchain apps.
From one node to Cortex: serving blockchain data at 100K TPS, globally
How Alchemy evolved from a single Ethereum node to Cortex, an intelligent blockchain engine serving 100K+ TPS globally with sub-50ms latency.
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.
Surya
Go
Huff
VS CodeApp 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.
