¿ Qué es la prueba de conocimiento cero Zero-Knowledge Proof ?

En criptografía, la prueba de conocimiento cero (zero-knowledge proof) es un método de demostración que consiste en que una parte (el probador) demuestre a otra (el verificador) que una declaración es verdadera, y además, que no revela ninguna otra información aparte de la veracidad de dicha declaración.

Las pruebas en la vida cotidiana no son de conocimiento cero. Por ejemplo, cuando un comprador debe demostrar que tiene más de 21 años para comprar alcohol, presenta una identificación con su fecha de nacimiento. Pero este método de prueba tiene defectos, ya que al verificar que cumple con la edad requerida, también revela otra información sensible no relacionada, como su nombre y dirección.

En comparación, la prueba de conocimiento cero es superior porque no requiere que el probador revele detalles sobre la declaración en sí o cómo descubrió la verdad. Supongamos que Alice es daltónica y no puede distinguir entre una pelota azul y una roja. Alice piensa que ambas pelotas son iguales, pero Bob quiere demostrarle a Alice de forma de conocimiento cero que son diferentes. Bob puede confiar en el siguiente mecanismo.

Bob hace que Alice sostenga una pelota en cada mano y coloque las manos detrás de su espalda, la izquierda con la pelota azul y la derecha con la roja. Alice puede decidir si intercambiar las pelotas entre las manos. Luego, Alice muestra nuevamente las dos pelotas a Bob, quien le dice si ella intercambió las pelotas o no.

Alice: ¿He cambiado las pelotas? (la mano izquierda pasa de azul a roja)

Bob: Sí.

Alice: ¿He cambiado las pelotas? (la mano izquierda sigue siendo roja)

Bob: No, la última vez no.

Alice y Bob repiten este proceso varias veces hasta que Alice esté segura de que las pelotas son realmente diferentes, ya que de lo contrario, Bob no podría determinar con precisión qué hizo Alice detrás de su espalda. Es importante notar que, en este proceso, Bob no necesita decirle a Alice cuál pelota es azul, ni explicar cómo sabe esto.

El ejemplo anterior de la prueba de conocimiento cero es interactivo. Aunque es fácil de entender, en la práctica no es muy realista, ya que requiere que ambas partes se comuniquen varias veces antes de establecer la prueba.

Los investigadores inventaron las pruebas de conocimiento cero no interactivas para resolver estos problemas. La prueba no interactiva solo requiere una ronda de comunicación entre el probador y el verificador. El probador introduce la información en un algoritmo especial para calcular la prueba de conocimiento cero. Luego, el verificador puede verificar la prueba para asegurarse de la validez de la información secreta. Otra ventaja de las pruebas no interactivas es que, una vez generada la prueba, cualquiera puede verificarla.

En el ámbito de las cadenas de bloques, las pruebas de conocimiento cero se aplican principalmente en escenarios de rollup. Permiten que la cadena de bloques subyacente externalice los cálculos, garantizando al mismo tiempo la verificabilidad de los resultados. La computadora fuera de la cadena ejecuta las transacciones y luego presenta los resultados junto con una prueba de que las transacciones se ejecutaron correctamente. Esto reduce la congestión en la red y aumenta la velocidad de las transacciones.

Las pruebas de conocimiento cero permiten que la cadena de bloques subyacente verifique transacciones fuera de la cadena sin volver a ejecutarlas. Aunque en términos técnicos son superiores, la investigación en torno a esta tecnología todavía está en etapas iniciales. Antes de que la tecnología de pruebas de conocimiento cero sea adoptada en la práctica, aún se necesitan varios años. $ZENT **$ZEREBRO **