Estoy trabajando en mis pruebas de conocimiento cero y estoy buscando un buen ejemplo de una prueba de este tipo en el mundo real. Una respuesta aún mejor sería una prueba de conocimiento cero que muestre que la afirmación no es cierta.
Respuestas
¿Demasiados anuncios?
MortenSickel
Puntos
123
Demostrar un ataque a un criptosistema es muy similar al ejemplo de bolas de colores en la respuesta de Ryan. Supongamos que Alice y Bob tienen un medio para comunicar mensajes y Eve quiere demostrar que es inseguro, sin revelar el método utilizado para explotar el sistema. Alice y Eve simplemente pueden estar de acuerdo en que Alice enviará una secuencia de mensajes aleatorios a Bob. Si Eve puede decirle a Alice el contenido de los mensajes, entonces es muy probable que Eve deba tener un ataque al criptosistema.
Hugo
Puntos
2156
Un excelente ejemplo de tal prueba es uno basado en Sudoku, e incluso hay una demostración detallada de cómo realizarlo. He hecho esto en clase varias veces para mostrar los ZKP a los estudiantes.
También hay más en la página de Moni Naor: http://www.wisdom.weizmann.ac.il/~naor/PAPERS/sudoku_abs.html
