Unidad 5 · ZKP actualizado · 29/09/2026
Rutas, pruebas y escalabilidad
Laboratorios para entender las rutas de pago, las pruebas de conocimiento cero y el procesamiento por lotes. Empezá con la cueva de Alí Babá y avanzá hacia las pruebas de validez en L2.
Pruebas de conocimiento cero
Una ruta de estudio en cuatro etapas
Separá la intuición, la definición formal, los compromisos y las aplicaciones de escalabilidad. Una prueba de validez no implica que todos los datos sean privados.
Cueva de Alí Babá
Entrada oculta, desafío, respuesta y verificación. Vista docente y del verificador, rondas automáticas y comparación de 1000 sesiones.
02 · FORMALIZARTeoría de ZKP
Afirmación pública, testigo privado, completitud, solidez y cero conocimiento. Del protocolo interactivo a una prueba verificable.
03 · DISTINGUIRGlosario criptográfico
Hash, compromiso, apertura, circuito, entradas públicas y sistemas de prueba. Definiciones y límites de cada concepto.
04 · APLICARZK-rollups y Validium
Pruebas de validez, raíces de estado, disponibilidad de datos y finalidad. Cómo se conectan con las finanzas descentralizadas.