Starknet & Cairo Workshop

Fundamentals

• Why Starknet?
• Why Cairo?
• Cairo 1.0 Syntax Intro
• Starknet Architecture Overview

---

Deep Dive

• Account Abstraction
• Universal Deployer Contract
• Dev Environment
• SDKs

---

Cairo 1.0

• Complete Cairo 1.0 Syntax Overview
• Cairo 1.0 Syscalls

---

Testing

• Local Manual Test (Devnet)
• Unit Tests
• Integration Tests

---

Starknet's Architecture

• Tx Lifecycle
• Sequencer
• Prover
• Data Availability
• L1-L2 Communication

---

Cairo's Architecture

• CPU AIR Architecture
• Registers (ap, fp, pc)
• Memory Model
• CairoVM
• Builtins, Hints & Felts
• Sierra

---

STARKs

• Finite Field Arithmetic
• Low Degree Extensions
• Commitments
• Polynomial Constraints
• FRI Protocol