The Cairo Book
Prólogo
Introducción
El lenguaje de programación Cairo
1.
Primeros pasos
❱
1.1.
Instalación
1.2.
¡Hola, mundo!
2.
Conceptos comunes de programación
❱
2.1.
Variables y mutabilidad
2.2.
Tipos de datos
2.3.
Funciones
2.4.
Comentarios
2.5.
Flujo de control
3.
Colecciones Comunes
❱
3.1.
Arrays
3.2.
Diccionarios
4.
Comprender Ownership
❱
4.1.
¿Qué es Ownership?
4.2.
Referencias y Snapshots
5.
Uso de estructuras para estructurar datos relacionados
❱
5.1.
Definición e instanciación de estructuras
5.2.
Un programa de ejemplo usando estructuras
5.3.
Sintaxis de métodos
6.
Enums y Concordancia de Patrones
❱
6.1.
Enums
6.2.
La construcción del flujo de control de coincidencias
6.3.
Concise Control Flow with if let and while let
7.
Gestionando Proyectos Cairo con Paquetes, Crates y Módulos
❱
7.1.
Paquetes y Crates
7.2.
Definición de módulos para controlar el alcance
7.3.
Rutas para referirse a un elemento en el Arbol de Módulos
7.4.
Bringing Paths into Scope with the use Keyword
7.5.
Separación de Módulos en Distintos Ficheros
8.
Generic Types and Traits
❱
8.1.
Tipos de Datos Genéricos
8.2.
Traits en Cairo
9.
Gestión de Errores
❱
9.1.
Errores Irrecuperables con pánico
9.2.
Errores Recuperables con Resultados
10.
Test de Programas en Cairo
❱
10.1.
Cómo Escribir Tests
10.2.
Test Organization
11.
Functional Language Features: Iterators and Closures
❱
11.1.
Closures: Anonymous Functions that Capture Their Environment
12.
Advanced Cairo Features
❱
12.1.
Estructura de Dato Personalizadas
12.2.
Smart Pointers
12.3.
Deref Coercion
12.4.
Associated Items
12.5.
Sobrecarga de Operadores
12.6.
Working with Hashes
12.7.
Macros
12.8.
Procedural Macros
12.9.
Inlining in Cairo
12.10.
Printing
12.11.
Arithmetic Circuits
13.
Appendix (Cairo)
❱
13.1.
A - Palabras clave
13.2.
B - Operadores y Símbolos
13.3.
C - Traits Derivables
13.4.
D - The Cairo Prelude
13.5.
E - Common Error Messages
13.6.
F - Useful Development Tools
Smart Contracts in Cairo
14.
Introduction to Smart Contracts
15.
Building Starknet Smart Contracts
❱
15.1.
Almacenamiento de Contrato
❱
15.1.1.
Storage Mappings
15.1.2.
Storage Vecs
15.2.
Funciones de Contrato
15.3.
Eventos de Contrato
16.
Starknet Contract Interactions
❱
16.1.
Contract Class ABI
16.2.
Interacting with Another Contract
16.3.
Executing Code from Another Class
17.
Building Advanced Starknet Smart Contracts
❱
17.1.
Optimizing Storage Costs
17.2.
Composability and Components
❱
17.2.1.
Under the Hood
17.2.2.
Component Dependencies
17.2.3.
Testing Components
17.3.
Upgradeability
17.4.
L1 \<\> L2 Messaging
17.5.
Oracle Interactions
❱
17.5.1.
Price Feeds
17.5.2.
Randomness
17.6.
Other Examples
❱
17.6.1.
Deploying and Interacting with a Voting Contract
18.
Starknet Smart Contracts Security
❱
18.1.
General Recommendations
18.2.
Testing Smart Contracts
18.3.
Static Analysis Tools
19.
Appendix (Starknet)
❱
19.1.
A - System Calls
Cairo VM
20.
Introducción
21.
Architecture
22.
Memory
❱
22.1.
Non-Deterministic Read-only Memory
22.2.
Segments
22.3.
Segment Value
22.4.
Relocation
22.5.
Layout
23.
Execution Model
❱
23.1.
Registers
23.2.
Instructions
23.3.
Cairo Assembly (CASM)
23.4.
State transition
24.
Builtins
❱
24.1.
How Builtins Work
24.2.
Builtins List
❱
24.2.1.
Output
24.2.2.
Pedersen
24.2.3.
Range Check
24.2.4.
ECDSA
24.2.5.
Bitwise
24.2.6.
EC OP
24.2.7.
Keccak
24.2.8.
Poseidon
24.2.9.
Range Check96
24.2.10.
AddMod
24.2.11.
MulMod
24.2.12.
Segment Arena
25.
Hints
❱
25.1.
Structure
25.2.
Hint runner
25.3.
List of hints
26.
Runner
❱
26.1.
Program
❱
26.1.1.
Program Artifacts
26.1.2.
Program Parsing
26.2.
Runner Mode
❱
26.2.1.
Execution Mode
26.2.2.
Proof Mode
26.3.
Output
❱
26.3.1.
Cairo PIE
26.3.2.
Memory File
26.3.3.
Trace file
26.3.4.
AIR public input
26.3.5.
AIR private input
27.
Tracer
28.
Implementations
29.
Resources
Light
Rust
Coal
Navy
Ayu
The Cairo Programming Language
Cairo Home
English
Español
Français
简体中文
Indonesian
Turkçe
Apéndice
The following sections contain reference material you may find useful in your Cairo journey.
