Estándares ZKProof

ZKProof es una iniciativa abierta de la industria y la academia para estandarizar cero pruebas de conocimiento. Zero Knowledge Proofs fue introducido por primera vez por Goldwasser, Micali y Rackoff a finales de los años 80. En [GMR89], crearon un nuevo procedimiento de prueba para comunicar una prueba, o en términos modernos, un sistema de prueba interactivo eficiente. Una prueba interactiva es un proceso en el que un prover probalistamente convence a un verificador de la exactitud de una propuesta matemática. En 2012, Shafi y Silvio recibieron el Premio A.M. Turing "por el trabajo transformador que sentó las bases de complejidad-teórico para la ciencia de la criptografía". Sorprendentemente, [GMW87] muestra cómo hacer cualquier sistema de prueba en NP cero conocimiento, lo que significa que el verificador no aprende nada más que la exactitud de la propuesta. Por lo tanto, las pruebas de conocimiento cero proporcionan total privacidad al objetor mientras se convence al verificador. Otras investigaciones dieron lugar al estudio de pruebas de conocimiento cero no interactivas (NIZKs), una variante que no requiere interacción entre el pruebador y el verificador. Sobre la construcción de estos sistemas, los modernos NIZK se han vuelto más eficientes, incluyendo pruebas sucintas, verificadores sublineales y probadores altamente eficientes. Este esfuerzo es el resultado del creciente interés tanto de la academia como de la industria, lo que ha dado lugar a una serie de resultados que mejoran la teoría anterior y permiten el desarrollo de aplicaciones prácticas. Dado este reciente crecimiento de la actividad, ha quedado claro que un marco y estándares comunes impulsarán el uso de esta emocionante tecnología. Animamos a investigadores, desarrolladores, profesionales, hombres de negocios y mujeres, y otros a unirse a nosotros, involucrarse y contribuir al esfuerzo.