Resumen de la Cumbre de Conocimiento Cero 2024

La 11ª Cumbre de Conocimiento Cero se celebró el 10 de abril en Atenas, con la participación de aproximadamente 500 asistentes. La conferencia abarcó varios temas candentes como hardware de pruebas de conocimiento cero, rendimiento de SNARK y redes de pruebas descentralizadas.

Avances en hardware ZK

Un investigador hizo un resumen del campo del hardware ZK, incluyendo el uso de hardware genérico, la fabricación de hardware personalizado y las empresas que operan redes de prueba descentralizadas. Predijo que el "fin" del zkVM podría lograr una mejora de eficiencia computacional de 1000 veces, lo que podría afectar la versión final de Ethereum. También mencionó que se anunciará una competencia para la validación formal de los probadores y validadores, con un premio de hasta 20 millones de dólares.

Un cofundador de una empresa presentó el sistema Binius, que diseña simultáneamente un sistema de prueba y hardware. Las pruebas iniciales mostraron que, en algunas aplicaciones, el rendimiento de la función hash Groestl es claramente superior al de Keccak.

Red de validadores descentralizados

Los expertos de la industria creen que, en el futuro, la generación de pruebas de grandes declaraciones será realizada por un mercado de probadores profesionales descentralizado y altamente competitivo.

La cofundadora de una empresa discutió sobre la próxima red de validadores, presentando varios diseños de mecanismos potenciales. Ella cree que los objetivos de diseño deberían ser, en orden: costo mínimo, máxima latencia y resistencia a la censura. Predijo que el modelo de subasta es el más probable en prevalecer, y que al final podría parecerse a la construcción de bloques de hoy.

Un estudiante de doctorado de cierta universidad presentó un nuevo artículo sobre la economía de redes de validadores. Mencionó que las subastas bilaterales son susceptibles a la colusión y presentó un mecanismo alternativo llamado Proo-phi.

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

Aplicación de Certificados ZK

La reunión también discutió varios esfuerzos para construir pruebas de conocimiento cero a partir del sistema de identidad existente:

• Prueba de propiedad de dirección basada en la firma DKIM de correo electrónico
• Sistema que utiliza OpenID connect para interactuar con identidades tradicionales de web2
• Método para construir credenciales anónimas a partir de pasaportes electrónicos

Estas tecnologías pueden aplicarse en múltiples escenarios como remesas anónimas, verificación de identidad, y se espera que ofrezcan credenciales de identidad confiables mientras protegen la privacidad.