Cumbre de Conocimiento Cero 2024: Informe en vivo

El 10 de abril de 2024, se celebrará la 11ª Cumbre de Conocimiento Cero en Atenas. Esta cumbre es organizada por el podcast Zero Knowledge y contará con aproximadamente 500 asistentes, además de cuatro conferencias. A continuación se presenta un resumen de los puntos destacados de la cumbre, que abarca los últimos avances en hardware de conocimiento cero, rendimiento de SNARK y diseño de redes de pruebas descentralizadas.

Hardware de conocimiento cero

El soporte de hardware ha sido un objetivo importante en el campo de las pruebas de conocimiento cero. En esta cumbre, varios expertos discutieron en profundidad sobre este tema.

Un investigador de una fundación ha realizado una descripción completa del hardware de conocimiento cero y ha clasificado a las empresas relacionadas. Predice que, con la aparición de sistemas de verificación SNARK optimizados por hardware y otras medidas de optimización, los costos computacionales podrían reducirse hasta 1000 veces, lo que podría tener un impacto significativo en futuras versiones de Ethereum. También mencionó que se anunciará una competencia para la validación formal de probadores y verificadores, con un premio de hasta 20 millones de dólares.

El cofundador de una empresa presentó su sistema de verificación SNARK optimizado por hardware, así como la filosofía de diseñar simultáneamente el sistema de pruebas y el hardware. Mencionó que las pruebas iniciales mostraron que la función hash Groestl podría ser más ventajosa que Keccak en ciertas aplicaciones.

Red de Validadores Descentralizados

Muchos profesionales de la industria imaginan que en el futuro la generación de pruebas a gran escala será llevada a cabo por un mercado de probadores profesionales descentralizado y altamente competitivo.

Los cofundadores de una empresa discutieron sobre varios diseños potenciales de mecanismos para redes de validadores descentralizados. Ella cree que los objetivos de diseño deberían ser, en orden: minimizar costos, maximizar la latencia y la resistencia a la censura. Predice que el modelo de emisión/participación podría ser efectivo, pero que el modelo de subasta tiene más probabilidades de triunfar, y que al final podría ser similar a la construcción de bloques actual.

Un estudiante de doctorado de la Universidad de Yale presentó un nuevo artículo sobre la economía de las redes de pruebas. Este artículo propone un nuevo mecanismo llamado Proo-phi, que tiene como objetivo resolver el problema de la colusión entre los probadores y los postores en las subastas bilaterales.

El cofundador y director técnico de una empresa discutió el mercado de pruebas que soporta la computación multipartita (MPC), especialmente cómo utilizar la MPC para mantener la privacidad entre pequeños clientes y grandes probadores.

Prueba de conocimiento cero

En la reunión también se discutieron diversas soluciones para construir pruebas de conocimiento cero a partir del sistema de identidad existente.

El cofundador de una empresa presentó una prueba de conocimiento cero basada en la propiedad de direcciones de correo electrónico. Este método se puede utilizar en diversas aplicaciones, como enviar remesas a direcciones de correo electrónico o hacer denuncias anónimas.

Los científicos de investigación de un laboratorio discutieron un plan para interactuar con identidades web2 tradicionales mediante OpenID Connect, lo que hace posible aplicaciones como transferencias a cuentas de Google o Facebook.

Un representante de la empresa discutió cómo construir certificados anónimos a partir de pasaportes electrónicos existentes, como demostrar la posesión de un pasaporte de un país específico y tener cierta edad, sin revelar información personal específica.

Estas discusiones muestran el amplio potencial de aplicación de la tecnología de pruebas de conocimiento cero en la autenticación y la protección de la privacidad, lo que proporciona nuevas ideas para la gestión de identidades digitales en el futuro.