Prueba de Conocimiento Cero

Una Prueba de Conocimiento Cero (ZKP), también llamada prueba ZK, permite que una parte (el demostrador) convenza a otra (el verificador) de que una afirmación es verdadera sin revelar información adicional. Imagina que Alice demuestra a Bob que sabe una contraseña secreta sin decirle la contraseña en sí. Este método se basa en tres propiedades fundamentales: completitud (los demostradores honestos convencen a los verificadores honestos), solidez (los demostradores deshonestos rara vez engañan a los verificadores) y conocimiento cero (los verificadores no aprenden nada más allá de la verdad de la afirmación).

Los protocolos ZKP funcionan a través de desafíos criptográficos. En una versión interactiva, el demostrador y el verificador intercambian mensajes; el demostrador demuestra conocimiento de un secreto mientras el verificador verifica los cálculos. Las versiones no interactivas, como los zk-SNARKs (Argumentos No Interactivos Sucesivos de Conocimiento con Conocimiento Cero), utilizan una configuración confiable para generar parámetros públicos. El demostrador calcula una prueba corta a partir de entradas privadas y una afirmación pública. Los verificadores comprueban esta prueba rápidamente. Por ejemplo, para demostrar "Sé un número x tal que hash(x) = y" sin mostrar x, el demostrador utiliza matemáticas como curvas elípticas o polinomios.

En criptomonedas y blockchain, los ZKP mejoran la privacidad y la escalabilidad. Zcash usa zk-SNARKs para transacciones protegidas; los usuarios demuestran gastos válidos sin exponer montos o direcciones. Los zk-rollups de Ethereum agrupan miles de transacciones en una sola prueba, asentando en la capa 1 con datos mínimos. Esto reduce los costos y preserva la privacidad. Los ZKP también permiten la computación verificable, como demostrar los resultados de modelos de IA sin revelar el modelo.

Los tipos clave incluyen zk-SNARKs (succinctos, configuración confiable), zk-STARKs (transparentes, resistentes a la cuántica, pruebas más grandes) y Bulletproofs (eficientes para pruebas de rango). Los ZKP requieren potencia computacional pero evolucionan rápidamente para su uso en el mundo real. Impulsan monedas privadas, escalado DeFi y soluciones de identidad.