ZK (Zero‑Knowledge Proof) es un método criptográfico que permite a una parte demostrar la veracidad de una afirmación sin revelar información adicional. En cada verificación intervienen dos roles: el verificador y el probador.
Concepto y funcionamiento#
Una prueba ZK permite, por ejemplo, que un prestamista confirme la solvencia de un prestatario sin conocer su identidad ni los detalles del respaldo del préstamo. El probador genera una prueba que el verificador puede validar de forma incondicional, sin necesidad de datos extra.
Historia#
En 1985 Silvio Micali, Avi Wigderson y Oded Goldreich publicaron el artículo “Knowledge Complexity of Interactive Proof Systems”, donde introdujeron el concepto de pruebas de conocimiento cero y describieron su aplicación criptográfica.
Categorías de pruebas ZK#
zk‑SNARKs
Zero‑Knowledge Succinct Non‑Interactive Argument of Knowledge. Requiere una clave secreta generada previamente y se emplea en aplicaciones como Zcash, que ofrece transacciones privadas sin revelar montos ni contrapartes.
zk‑STARKs
Zero‑Knowledge Scalable Transparent Arguments of Knowledge. No necesita configuración inicial y utiliza pruebas abiertas y aleatorias, también conocidas como protocolos Arthur‑Merlin.
Propiedades principales#
- Exactitud: si la afirmación es verdadera, el verificador puede convencer‑se de su validez.
- Solidez: una afirmación falsa no puede convencer al verificador.
- Confidencialidad total: el verificador no aprende nada más allá de la veracidad de la afirmación.
Aplicaciones en la blockchain y más allá#
- Blockchain: permite validar transacciones sin exponer datos personales, mejorando la privacidad.
- Finanzas: protege la información de clientes y facilita el cumplimiento normativo.
- Identificación: verifica la identidad sin compartir datos sensibles.
- Salud: permite a investigadores acceder a datos médicos sin comprometer la confidencialidad de los pacientes.
Uso de ZK en la blockchain de TON#
- Identificación: verifica identidades sin revelar información personal.
- Ciberseguridad: valida la integridad de datos sin divulgar claves de cifrado.
- Protocolos de intercambio: demuestra el cumplimiento de condiciones sin exponer los datos subyacentes.
Véase también#
- TON Cryptography
- TON Security Layer
- Smart Contracts