En Zero-Knowledge Proof donde tomamos la analogía de Peggy (Prover) y Victor (Verifier):
En esta historia, Peggy descubrió la palabra secreta utilizada para abrir una puerta mágica en una cueva. La cueva tiene forma de círculo, con la entrada a un lado y la puerta mágica bloqueando el lado opuesto. Victor dice que le pagará por el secreto, pero no hasta que esté seguro de que ella realmente lo sabe. Peggy dice que le contará el secreto, pero no hasta que reciba el dinero. Ellos diseñan un esquema mediante el cual Peggy puede probar que conoce la palabra sin decírselo a Victor.
Primero, Victor espera fuera de la cueva cuando entra Peggy. Etiquetan los caminos izquierdo y derecho de la entrada A y B. Peggy toma al azar el camino A o el B. Luego, Victor entra en la cueva y grita el nombre del El camino que él quiere que ella use para regresar, ya sea A o B, elegido al azar. Siempre que ella sepa la palabra mágica, esto es fácil: abre la puerta, si es necesario, y regresa por el camino deseado. Tenga en cuenta que Victor no sabe qué camino ha tomado.
Sin embargo, supongamos que ella no sabía la palabra. Entonces, ella solo podría regresar por el camino nombrado si Victor le diera el nombre del mismo camino por el que había entrado. Dado que Victor elegiría A o B al azar, tendría un 50% de probabilidad de adivinar correctamente. Si tuvieran que repetir este truco muchas veces, por ejemplo, 20 veces seguidas, su posibilidad de anticipar con éxito todas las solicitudes de Victor se haría cada vez más pequeña. Por lo tanto, si Peggy aparece de manera confiable a la salida de los nombres de Victor, él puede concluir que es muy probable que sepa la palabra secreta.
El siguiente método de verificación es suficientemente convincente para mí:
-
Victor atraviesa los corredores A y B y se asegura de que no hay forma de ir al otro extremo (ya que Victor no tiene conocimiento de secretos, está convencido de que esto es cierto). p>
-
Podría ir a la entrada del corredor A, pedirle a Peggy que pase por la entrada B y que venga desde el final de A. (Peggy lo hace y sale del final de A)
-
Víctor también procederá por el otro lado donde se encuentra en la entrada de B y le pedirá a Peggy que venga al final de B después de pasar por A.
-
Si Peggy puede hacer ambos 2 y 3, Victor está convencido de que Peggy conoce el secreto.
Siento que este método es incorrecto y me pregunto por qué. Entonces, ¿por qué se preferiría el método clásico a esto? ¿Cuáles son las debilidades de este método?