Cairo

A powerful, ZK-compatible programming language for creating smart contracts on StarkNet.

Cairo is a versatile, Turing-complete programming language designed for developing smart contracts on StarkNet, an Ethereum Layer 2 blockchain. It harnesses the potential of STARKs, allowing developers to create trustless applications without needing extensive knowledge of zero-knowledge proofs. With Cairo, you can easily start writing smart contracts in our interactive playground, explore comprehensive tutorials, or leverage Cairo wizards from OpenZeppelin to streamline your DApp development process. Whether you're diving into on-chain gaming or exploring provable machine learning, Cairo empowers you to build scalable decentralized applications with confidence.