Dark mode active
Start Here
Tracks
Curriculum
Code Lab
Solidity IDE
Live
More
▼
Dark mode active
Core Curriculum
Start Here
Tracks
Curriculum
Code Lab
Solidity IDE
Live
Build & Practise
▼
Curriculum & Reference
▼
User Portal
← Theory library
Starknet Cairo theory
STARK-provable computation, Sierra safety, and components on Starknet.
Practise in the Code Lab →
Easy
1. Introduction to Cairo & STARKs
Turing-complete verifiable computing for Starknet.
2. The felt252 Primitive
Field elements: the fundamental atom of Cairo.
Medium
3. Sierra: Safe Intermediate Execution-Ready Representation
Preventing invalid proof generation and securing Starknet.
4. Starknet Contract Storage (#[storage])
Reading and writing persistent contract state.
6. Starknet Testing with Snforge
Foundry-style test framework for Cairo.
Hard
5. Cairo Components & Modularity
Reusable, composable contract logic.
'/%3e%3cpath%20d='M4%206L17%206L23%2016L17%2022L4%206Z'%20fill='url(%23g)'/%3e%3cpath%20d='M4%206L17%206L20.2%2011.3L15.6%209.9L4%206Z'%20fill='%23fff'%20opacity='0.28'/%3e%3cpath%20d='M44%206H31L19%2024V44H28V26L44%206Z'%20fill='url(%23b)'/%3e%3cpath%20d='M44%206H31L19%2024V44H28V26L44%206Z'%20fill='url(%23g)'/%3e%3cpath%20d='M44%206H31L20.4%2021.8L23.2%2022.9L34.2%208.6H41.6L44%206Z'%20fill='%23fff'%20opacity='0.26'/%3e%3c/svg%3e)