El silencio es oro: prueba de la existencia de un ciclo hamiltoniano en un gráfico

Hlyam Hamilton inventó muchos juegos, uno de los cuales es el problema de "viajar alrededor del mundo" a lo largo del dodecaedro. En él, las cimas del dodecaedro llevaban los nombres de ciudades famosas y las carreteras que las conectaban eran los bordes. El jugador tuvo que hacer un viaje "alrededor del mundo", encontrando un camino que pasa por todos los picos exactamente una vez. 





Reemplazando una construcción tan compleja con un gráfico plano isomorfo al original, obtenemos un problema, que consideramos más adelante en el sistema de protocolos de conocimiento cero.





Prueba de conocimiento cero

- . , . , , « » .





( ) , , , , .





, . : " ", . , ( ).





    , , , 0 . , - - , .





- ,

G = (E, V) , 1 V. G, .





(G k), k- , : k, .





k .





\ {1, ..., | V | \} , . , , , .





, .





Un estado privado de la matriz, accesible solo para el probador.
, .
El estado público de la matriz, conocido por ambas partes.
, .

:





  • 2 | V |, . : \ {i, j \} , \ {Ji \}.





  • C , .





, , :









1 .





  ,  , ,  G, , . , , , .





, , " ".





, .





- ?

, , , "" .





, , .





, ,    , ,   G ,   –   –  . 





, , , , ,  G , ,  .





.





. , , , . , , " ".





,  ,  .  ,  .  , ,  .









:





Manuel Blum "How to Prove a Theorem So No One Else Can Claim It"





Schneier B. Criptografía aplicada, 2da edición: Protocolos, algoritmos, textos fuente en C // Editado por PV Semyanov. M., Triunfo. - 2002.








All Articles