Afirmación pública
Qué queremos demostrar: por ejemplo, que una transición de estado cumple las reglas de un sistema.
Laboratorio interactivo · ES / EN
Alí Babá y pruebas de conocimiento cero
Un laboratorio bilingüe para explorar la cueva, el desafío aleatorio, la probabilidad de engaño y los compromisos hash.
La cueva, paso a paso
0rondas
0superadas
0fallidas
¿Qué demuestra cada ronda?
- La persona entra por una rama sin que el verificador la vea.
- El verificador pide una salida al azar: A o B.
- Con la clave se puede cruzar la puerta; sin ella, solo se acierta por azar.
- El verificador observa si la persona sale por la rama solicitada.
3.125%probabilidad de superar todas sin conocer el secreto
P = (1/2)n. Supone desafíos independientes, impredecibles y equiprobables.
Compromisos hash: un experimento distinto
Fijá un mensaje con un nonce aleatorio, publicá el hash y después revelá el mensaje para verificarlo. Commit–reveal revela el mensaje al final: no es una prueba de conocimiento cero.
El hash aparecerá aquí.
Aprender haciendo
Tres desafíos para comprender ZKP.
Elegí una respuesta y revisá la explicación. Podés volver a intentarlo.
Estos ejercicios evalúan la comprensión de la analogía, no certifican una prueba criptográfica.
ZKP · DeFi · zk-rollups
De la cueva a una aplicación.
Testigo privado
Los datos que permiten construir la prueba y que pueden mantenerse ocultos según el protocolo y los datos publicados.
Verificación
El verificador comprueba la prueba y la afirmación. En un zk-rollup, una prueba de validez no implica por sí sola privacidad: importa qué datos se publican.
La cueva ofrece una intuición. Las aplicaciones reales requieren sistemas formales, supuestos criptográficos y pruebas de seguridad.
Continuar en la unidad 05 · ES ↗Guía de estudio
De la intuición al concepto.
Completitud, solidez y conocimiento cero
Completitud: quien conoce el secreto puede responder correctamente. Solidez: quien no lo conoce tiene una probabilidad limitada de convencer al verificador. Conocimiento cero: el verificador aprende que el secreto se conoce, sin aprender el secreto. La cueva es una analogía pedagógica; una ZKP real requiere una construcción y una demostración formal de estas propiedades.
¿Por qué se oculta el camino inicial?
Si el verificador observa el camino inicial, puede aprender si la persona cruzó la puerta. La vista completa muestra información interna solo para enseñar la mecánica; no representa la información disponible para el verificador.
Azar, repetición y límites del modelo
Los bits aleatorios se generan con Web Crypto. Cada desafío tiene dos resultados equiprobables. La fórmula (1/2)^n se refiere a superar todas las rondas de un experimento independiente; no es la tasa de aciertos de una sola ronda ni garantiza una seguridad absoluta.
Qué aporta un nonce al compromiso
Un nonce aleatorio de 128 bits dificulta probar mensajes de un diccionario contra el hash público. La entrada se codifica como una lista con identificador de dominio, mensaje y nonce; SHA-256 usa la entrada completa. Al verificar se recomputa el hash con el mensaje revelado y el mismo nonce. Este ejercicio ocurre localmente y no guarda el mensaje.