¿Cuáles son algunos ejemplos de la vida diaria en los que se utilizan pruebas de conocimiento cero?

Answer 1

La idea de alto nivel de una prueba de conocimiento cero es esta:

Puedo convencerte de que algo es cierto (con alta probabilidad), sin mostrarte cómo sé que es cierto, por lo tanto, no puedes reconstruir mi prueba.

Creo que las pruebas de conocimiento cero son bastante familiares y se usan en la vida diaria.

Si alguna vez ves magia, mucho de eso es prueba de conocimiento cero.
Teorema del mago: puedo poner un 7 de corazones en tu boca y sacarlo del cabello de tu compañero.
Prueba: [procede a poner la tarjeta en tu boca y recuperarla del cabello de tu compañero].

Sabes que él puede hacerlo de forma reproducible, pero tú no puedes hacer lo mismo. Pero eso no se limita a la magia. Cualquier habilidad excepcional demostrada puede formularse básicamente como una prueba de conocimiento cero.

Teorema : puedo recordar 100000 dígitos de [math] \ pi [/ math].
Prueba : [los recita. y puedes verificar]

Así que estamos usando pruebas de conocimiento cero todo el tiempo, simplemente no sabíamos cómo usarlas para hacer criptografía antes de que se definieran rigurosamente y se introdujeran en ese dominio.

Answer 2

Jaja, la vida cotidiana. Si se refería a cómo se usa ZK para promover el comercio electrónico, la respuesta es que no. Pero si por vida cotidiana te referías a un ejemplo tonto pero posiblemente esclarecedor, aquí hay un bosquejo sugerente de cómo podría ser.

El ejemplo clásico de un protocolo ZK está demostrando que la coca y la pepsi son diferentes: este es el no isomorfismo gráfico disfrazado.

Un enfoque es hacer una prueba de sabor a ciegas: me das tazas de bebidas carbonatadas oscuras que te sirviste, y te digo si son pepsi o coca cola. Hacemos esto algunas veces, y usted está (1) convencido de que hay una diferencia perceptible entre pepsi y coca cola, (2) ¡no tiene idea de cuál es la diferencia! Este protocolo es cero conocimiento para verificadores honestos , y probablemente lo mejor que puede hacer es dejar de leer aquí.

Pero obtener conocimiento técnico y cero para verificadores honestos significa que si usted, la persona que verifica que Coca-Cola y Pepsi son diferentes, sigue el protocolo, entonces obtendrá la siguiente garantía: si soy un demostrador deshonesto, y Coca-Cola y Pepsi son realmente Igual, no hay forma de que pueda hacerlo mejor que 50/50 al adivinar la bebida, por lo que es casi seguro que me atraparás después de algunas vueltas.

Pero la prueba de sabor a ciegas no es conocimiento cero en la definición habitual, porque yo, el probador, no obtuve garantías contra los verificadores deshonestos. Suponga que otra persona le da una taza de bebida gaseosa oscura y no sabe si es pepsi o coca cola. Si hacemos el protocolo anterior y me das la bebida, te diré si es pepsi o coca cola, y habrás adquirido conocimiento. Para defendernos de esto, tenemos que hacer algo más complicado:

1. Me das dos tazas, una que contenga coca y otra que contenga pepsi, de lo contrario idéntica.
2. Tu conocimiento cero me demuestra que sabes que una de las tazas contiene coca y una de ellas contiene pepsi.
3. Entonces te diré cuál es cuál.

Y no puedo decir cómo va el paso 2, porque no estoy seguro de cómo traducir “mostrar un mapeo entre los vértices de dos gráficos” a una prueba de que dos tazas contienen la misma bebida …

Answer 3

Bueno, existe el ejemplo clásico de “déjame probarte que puedo contar la cantidad de hojas de cualquier árbol en menos de 15 segundos”, pero eso no es realmente vie “.

Las cartas de corte siguen un modelo de prueba de seguridad de ZK débil, débil porque generalmente todavía es posible apilar un mazo razonablemente bien con cortes.