Cairo - Writing Provable Programs

Sun, Jun 2, 2024, 12:12 PM · 23:49

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.