En esta historia, Peggy ha puesto al descubierto la palabra secreta que se utiliza para abrir una puerta mágica en una cueva.
Ellos establecen un plan por el cual Peggy puede demostrar que conoce la palabra sin decírsela a Víctor.
En primer lugar, Víctor espera fuera de la cueva mientras que Peggy ingresa.
A continuación, Víctor entra en la cueva y grita el nombre de la ruta en la que quiere que Peggy regrese, ya sea A o B, elegidos al azar.
Dado que Victor elegiría A o B al azar, habría una probabilidad del 50% de acertar.
Pero en este caso, Peggy prueba a todo el mundo que ella sabe la palabra.
Víctor no cree que las pelotas sean realmente distinguibles.
Usted quiere demostrarle a Víctor que, en realidad, las bolas tienen colores diferentes, pero nada más.
En concreto, no quiere revelar qué bola es la roja y cuál es la verde.
Le das las dos bolas a Víctor y él se las pone detrás de la espalda.
Todo este procedimiento se repite tantas veces como sea necesario.
Por supuesto, observando el color de las bolas se puede saber con certeza si las ha cambiado o no.
En cambio, si las bolas fueran del mismo color y, por lo tanto, indistinguibles, es imposible acertar con una probabilidad superior al 50%.
Si usted y su amigo repiten esta "prueba" varias veces (por ejemplo, 20 veces), su amigo debería convencerse ("completitud") de que las bolas son efectivamente de distinto color.
Sin embargo, hay técnicas para disminuir el error de la solidez a valores insignificantes.
es de conocimiento cero, si para cualquier tiempo polinomial probabilístico (PPT) verificador
La definición que se da es el de perfecto conocimiento cero.
El conocimiento cero computacional se obtiene al exigir que las opiniones de los supervisores
y el simulador sean computacionalmente indistinguibles , dada la cadena auxiliar.
En las pruebas de conocimiento cero interactivas, también conocidas por las siglas IZKP (del inglés Interactive Zero-Knowledge Proof), tanto el probador como el verificador necesitan estar presentes durante la ejecución del protocolo.
Las pruebas de conocimiento cero interactivas suelen tener la siguiente forma:[4][5] Este proceso puede repetirse varias veces para asegurar la verificación.