Las Crónicas de ZK

Fundamentos

Cuerpos finitos, polinomios y el protocolo sum-check: las matemáticas sobre las que se construye cada sistema de pruebas de esta serie.

1. 01Las Crónicas de ZK: Primeros Pasos
2. 02Las Crónicas de ZK: Fundamentos Matemáticos
3. 03Las Crónicas de ZK: Verificación de la Suma

Circuitos y Modelos de Computación

Circuitos aritméticos, extensiones multilineales, el protocolo GKR y por qué los circuitos son un modelo universal de computación (Cook-Levin).

1. 04Las Crónicas de ZK: Circuitos (Parte 1)
2. 05Las Crónicas de ZK: Extensiones Multilineales
3. 06Las Crónicas de ZK: Circuitos (Parte 2)
4. 07Las Crónicas de ZK: Modelos de Cómputo

La Caja de Herramientas Criptográficas

Hashing y árboles de Merkle, grupos y curvas elípticas, compromisos de Pedersen, protocolos sigma, la FFT y emparejamientos: las primitivas sobre las que se construye todo sistema de pruebas moderno.

1. 08Las Crónicas de ZK: Hashing
2. 09Las Crónicas de ZK: Grupos
3. 10Las Crónicas de ZK: Esquemas de Compromiso (Parte 1)
4. 11Las Crónicas de ZK: Protocolos Sigma
5. 12Las Crónicas de ZK: Transformada Rápida de Fourier
6. 13Las Crónicas de ZK: Esquemas de Compromiso (Parte 2)

Conocimiento Cero

Argumentos de producto interno (Bulletproofs, Dory) y las definiciones formales - simuladores, extractores y knowledge soundness - que precisan el conocimiento cero, incluyendo su seguridad bajo Fiat-Shamir.

1. 14Las Crónicas de ZK: Argumentos de Producto Interno