Pruebas de conocimiento cero sin criptomonedas: una implementación de 30 líneas
A quick look at zero-knowledge proofs
Este artículo explora las pruebas de conocimiento cero (ZKP) a través del clásico problema de 3-colorear un grafo, presentando un protocolo interactivo del paper de Goldreich, Micali y Widgerson. El autor implementa cada paso en Python, mostrando cómo un prover puede convencer a un verificador de que posee un coloreado válido sin revelar los colores reales. Incluye una demostración en red con servidor y cliente, y discute la probabilidad de engaño y la extensión a otros problemas NP-completos.
¿Y si te dijera que hay una versión de ellas que no tiene nada que ver con las criptomonedas? ¿Y si te dijera que involucra teoría de grafos? ¿Y si te dijera que hay una implementación de 30 líneas?