# Cairo - Writing Provable Programs

- Channel: [EthPrague](https://streameth.org/ethprague)
- Date: 2024-06-02
- Duration: 23:49
- Watch: https://streameth.org/watch/665833da036a981493b0c08f
- Download: https://vod-cdn.lp-playback.studio/raw/jxf4iblf6wlsyor6526t4tcmtmqa/catalyst-vod-com/hls/6965e1gkq7k2a67v/1080p0.mp4

## Description

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.