Cumbre de Conocimiento Cero 2024: Notas en Vivo

El 10 de abril de 2024, se celebró la 11ª Cumbre de Conocimiento Cero en Atenas. Aproximadamente 500 asistentes participaron en este evento de un día, que incluyó cuatro conferencias. A continuación se presenta un resumen de los puntos destacados del evento, que abarca los últimos avances en hardware de conocimiento cero, rendimiento de SNARK y diseño de redes de pruebas.

Desarrollo de hardware ZK

El soporte de hardware para pruebas de conocimiento cero ha sido un foco de atención en la industria. En esta cumbre, varios expertos compartieron los últimos avances en este campo:

Un investigador de una fundación ha realizado una descripción completa del hardware ZK, clasificando a las empresas en tres categorías: empresas que utilizan hardware genérico, empresas que fabrican hardware personalizado y empresas que operan redes de prueba descentralizadas. Predice que tecnologías como los sistemas de verificación SNARK optimizados para hardware podrían lograr un aumento de 1000 veces en la eficiencia computacional, lo que tendrá un impacto significativo en el desarrollo futuro de Ethereum. También mencionó que la mayoría de las pruebas utilizarán el empaquetado Groth16, y que el hardware se centra principalmente en pruebas no ZK concisas.

El cofundador de una empresa presentó el sistema de verificación que han desarrollado, el cual optimiza simultáneamente el sistema de prueba y el diseño de hardware. Las pruebas preliminares mostraron que, en algunas aplicaciones, el rendimiento de la función hash Groestl es significativamente superior al de Keccak.

Red de validadores descentralizados

Varios expertos discutieron sobre la dirección futura del desarrollo de las redes de probadores descentralizados:

Una de las cofundadoras de la empresa presentó su próxima red de validadores. Analizó varios mecanismos de diseño de redes y concluyó que los diseños basados en competencia o minería podrían no funcionar bien. Propuso que los objetivos de diseño deberían ser, en orden: minimizar costos, maximizar la latencia y la resistencia a la censura. Predijo que el modelo de subasta tiene más probabilidades de tener éxito, y que eventualmente podría ser similar al modelo actual de construcción de bloques.

Un estudiante de doctorado de cierta universidad presentó un nuevo artículo sobre la economía de las redes de prueba. Señaló que las subastas bilaterales son susceptibles a la colusión y propuso un mecanismo alternativo llamado Proo-phi, que introduce nuevos mecanismos de transacción y prueba de coincidencia.

El director técnico de una empresa discutió sobre el mercado de pruebas que apoya la computación multipartita, especialmente sobre cómo lograr interacciones sin confianza entre pequeños clientes y grandes demostradores, mientras se protege la privacidad.

Aplicación de Certificados ZK

La reunión también exploró varias soluciones para construir pruebas de conocimiento cero basadas en el sistema de identidad existente:

Un cofundador de un proyecto presentó una prueba de propiedad de conocimiento cero basada en correo electrónico. Este método utiliza la verificación de firmas DKIM para validar si un usuario controla una dirección de correo electrónico específica, y puede aplicarse en escenarios como remesas anónimas, denuncias, entre otros.

Un investigador de una empresa ha compartido una solución que utiliza OpenID Connect para interactuar con identidades tradicionales de web2, lo que permite aplicaciones como enviar remesas a cuentas de Google o Facebook.

Un representante de un proyecto discutió cómo construir un certificado anónimo basado en pasaportes electrónicos existentes, por ejemplo, para probar que se posee un pasaporte de un país específico y se ha alcanzado una edad determinada, sin necesidad de revelar información personal específica.

Estas soluciones innovadoras muestran el amplio potencial de la tecnología de pruebas de conocimiento cero en la verificación de identidad y la protección de la privacidad.