06-02, 13:30–13:55 (Europe/Prague), Root Stage
Cairo is a modern high level language for writing provable programs and Starknet smart contracts. In this talk I will talk about the current main features of Cairo and where it is going.
This talk explores Cairo, a unique language for writing programs on the blockchain. Unlike traditional code, Cairo programs are efficiently verifyable, guaranteeing their correctness without re-execution. Built with efficiency and security in mind, and inspired by Rust, Cairo enables developers to create secure and scalable smart contracts for Starknet, a layer 2 solution for Ethereum. In this talk we'll survey the current and future capabilities and features of Cairo.
