"Demostrar que algo es cierto sin tener que revelar ningún detalle" — Prueba de conocimiento cero

▰ ¿Qué es exactamente la prueba de conocimiento cero?
Hace más de 30 años, cuando la propusieron tres criptógrafos, mucha gente probablemente pensó que era falsa, increíble; después de todo, normalmente para convencer a alguien, hay que presentar hechos y evidencias, ¿cómo confiar solo en decir "no te estoy engañando"?

▰ Pero las matemáticas son tan mágicas
Por ejemplo, sabes que una película muy poco conocida tiene un huevo de pascua oculto, quieres demostrar que la has visto realmente, pero sin revelar el contenido del huevo de pascua.

Entonces puedes decirle a tu amigo: "En la película, un personaje en el minuto 45 tiene algo en la mano con una marca especial".

Si tu amigo lo ve y realmente está allí, sabrá que la has visto, pero tú no has revelado qué es exactamente el huevo de pascua.

Esa es la lógica central de la prueba de conocimiento cero: convertir "decir con la boca" en "verificar con detalles", resolviendo de un golpe el problema de "tener que demostrar y mantener la confidencialidad".

▰ Pero esta tecnología también tiene una gran desventaja: generar la prueba requiere mucho poder de procesamiento de la computadora.

Es como cuando en los estudios, tardabas 10 minutos en resolver un problema de matemáticas y tenías que escribir un informe de verificación absolutamente correcto, descomponiendo cada paso en unidades mínimas para verificar, lo que multiplicaba por decenas la carga de trabajo.

▰ En ese momento, me fijé en el proyecto @cysic_xyz y pensé que estaban en la dirección correcta.

Mientras todos usan GPU para generar pruebas de conocimiento cero, ya que las GPU son buenas para manejar muchas operaciones repetitivas simultáneamente.

Pero el problema es que las GPU originalmente están diseñadas para gráficos y renderizado de videos, no para este propósito.

Lo que @cysic_xyz quiere hacer es diseñar chips específicos para las pruebas de conocimiento cero, con todos los diseños enfocados en "generar pruebas de manera eficiente".

Creo que tienen una visión bastante avanzada; si logran hacerlo, los costos de las pruebas de conocimiento cero podrían reducirse mucho, facilitando su adopción.

En realidad, las pruebas de conocimiento cero no están tan lejos de nosotros; en el futuro, al pagar facturas de agua y electricidad en línea, tener que firmar documentos importantes o verificar que una cuenta de juego no tenga trucos, podrían usarse.

Y los avances de @cysic_xyz en hardware podrían ser la clave para integrarlas en nuestra vida cotidiana.
#cysic