Pruebas de conocimiento cero
Una prueba de conocimiento cero, a veces tambi茅n denominada protocolo ZK, es un m茅todo de verificaci贸n que tiene lugar entre un probador y un verificador. En un sistema de prueba de conocimiento cero, el probador puede demostrar al verificador que tiene el conocimiento de una informaci贸n en particular (como la soluci贸n de una ecuaci贸n matem谩tica) sin revelar la informaci贸n en s铆. Los cript贸grafos modernos pueden utilizar estos sistemas de prueba para proporcionar mayores niveles de privacidad y seguridad.
El concepto de prueba de conocimiento cero se describi贸 por primera vez en un art铆culo del MIT de 1985, publicado por Shafi Goldwasser y Silvio Micali. Demostraron que era posible probar algunas propiedades de un n煤mero sin revelar el n煤mero ni ninguna informaci贸n adicional sobre 茅l. Este documento tambi茅n present贸 el hallazgo matem谩ticamente significativo de que las interacciones entre un probador y un verificador podr铆an reducir la cantidad de informaci贸n requerida para probar un teorema dado.
Una prueba ZK debe cumplir con dos requisitos b谩sicos conocidos como integridad y solidez. La integridad se refiere a la capacidad del probador para demostrar el conocimiento de la informaci贸n relevante con un alto grado de precisi贸n probable. Para que la prueba sea s贸lida, el verificador debe poder determinar de manera confiable si el probador est谩 o no en posesi贸n de la informaci贸n. Finalmente, para ser verdaderamente de conocimiento cero, la prueba debe lograr tanto la integridad como la solidez sin que la informaci贸n en cuesti贸n se comunique nunca entre el probador y el verificador.
Las pruebas de conocimiento cero se utilizan principalmente para aplicaciones en las que la privacidad y la seguridad son esenciales. Los sistemas de autenticaci贸n, por ejemplo, pueden emplear pruebas ZK para verificar credenciales o identidades sin divulgarlas directamente. Como ejemplo simple, se puede utilizar para verificar que una persona tiene una contrase帽a para un sistema inform谩tico sin necesidad de revelar cu谩l es la contrase帽a.
Un caso destacado de uso en el mundo real de las pruebas de conocimiento cero se encuentra en el mundo de las criptomonedas y la tecnolog铆a blockchain. Utilizando un tipo de prueba conocido como argumento de conocimiento sucinto no interactivo de conocimiento cero (zk-SNARK), las criptomonedas centradas en la privacidad como Zcash pueden ofrecer transacciones de blockchain con mayores niveles de privacidad para sus usuarios. Ethereum tambi茅n est谩 trabajando con pruebas zk-SNARK desde su actualizaci贸n de Byzantium en 2017.
