Prueba de conocimiento cero

Una prueba de conocimiento cero (ZK) es un método de autenticación en el que un usuario puede acreditar la autenticidad de cierta información sin comunicar ninguna información adicional. En resumen, una prueba ZK permite mantener la privacidad de la información durante un intercambio.

Para realizar una prueba ZK, se deben cumplir tres requisitos básicos: completitud, solidez y conocimiento cero. Completitud (o integridad) es la capacidad del probador para demostrar su conocimiento de cierta información. Solidez (o robustez) se refiere a la capacidad del verificador para determinar que el prover posee efectivamente la información. Por último, lo que determina una prueba ZK es lograr tanto la completitud como la solidez sin ninguna información adicional.

El concepto de una prueba ZK se aplica habitualmente en circunstancias en las que la privacidad y la seguridad son de extremada importancia. Por ejemplo, los sistemas de autenticación pueden emplear una prueba ZK para verificar las credenciales e identidades de sus usuarios sin revelar la información. La prueba de ZK también se puede utilizar en criptomonedas centradas en la privacidad como Zcash, que utiliza una variación de la prueba ZK conocida como argumento de conocimiento sucinto no interactivo de conocimiento cero (ZK-SNARK).