Cumbre de Conocimiento Cero 2024: Informe en Vivo

Joseph Bonneau publicó el 13 de abril de 2024 un informe en vivo sobre la 11ª Cumbre de Conocimiento Cero (zkSummit). La cumbre se llevó a cabo el 10 de abril en Atenas, con aproximadamente 500 asistentes. Durante la conferencia se realizaron cuatro presentaciones que cubrieron los últimos avances en hardware de conocimiento cero, rendimiento de SNARK y diseño de redes de pruebas.

Hardware de conocimiento cero

El apoyo del hardware a la generación de pruebas ha sido un enfoque clave en la industria. Las dos presentaciones en el escenario principal resumieron los últimos desarrollos en este campo.

Un investigador hizo un resumen completo sobre el hardware de conocimiento cero, incluyendo el uso de hardware genérico, la fabricación de hardware personalizado y las empresas que operan redes de prueba descentralizadas. Predijo que los sistemas zkVM optimizados podrían lograr un aumento de eficiencia computacional de 1000 veces, lo que tendrá un impacto significativo en las futuras versiones de Ethereum. También mencionó que se llevará a cabo una competencia formal entre comprobadores y validadores, con un premio de hasta 20 millones de dólares.

El cofundador de una empresa presentó el sistema Binius, que diseña tanto un sistema de prueba como hardware. Binius utiliza torres binarias y el protocolo sumcheck. Las pruebas tempranas encontraron que, en ciertas aplicaciones, el rendimiento de la función hash Groestl es significativamente superior al de Keccak.

Red de Proveedores de Pruebas Descentralizadas

Se considera comúnmente en la industria que, en el futuro, la generación de pruebas de grandes declaraciones (, como la validez de un lote de transacciones en Rollup ), será realizada por un mercado de demostradores profesionales descentralizado y altamente competitivo.

Los cofundadores de una empresa discutieron varios diseños de mecanismos potenciales para una red de validadores descentralizada. Ella cree 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 podría ser similar al modelo actual de construcción de bloques. Reveló que su empresa está construyendo una red de subastas universal que soporta pruebas de múltiples zkVM.

Un estudiante de doctorado de una universidad presentó un nuevo artículo sobre la economía de las redes de prueba. Mencionó que las subastas bilaterales son susceptibles a la colusión, por lo que propuso un mecanismo alternativo llamado Proo-phi, que introduce nuevos mecanismos de emparejamiento y prueba de transacciones.

El director de tecnología de una empresa discutió el mercado de pruebas de cálculo multipartito (MPC), en particular cómo utilizar MPC para proteger la privacidad entre pequeños clientes y grandes probadores. Analizó cómo elegir combinaciones de sistemas de prueba para realizar operaciones lineales y minimizar costos.

Prueba de conocimiento cero

Las tres discusiones se centraron en los esfuerzos por construir pruebas de conocimiento cero a partir de los sistemas de identidad existentes, cada una de las cuales se basa en diferentes sistemas de identidad.

Un cofundador de un proyecto presentó la prueba de propiedad de direcciones de correo electrónico mediante conocimiento cero. Estas pruebas se basan en la verificación de la firma DKIM de los correos electrónicos enviados a una dirección específica. Muchas aplicaciones pueden utilizar pruebas de conocimiento cero para demostrar si un usuario controla una dirección de correo electrónico, incluyendo transferencias de dinero a la dirección de correo electrónico y denuncias anónimas.

Científicos de investigación de una empresa discutieron un sistema que utiliza OpenID Connect para interactuar con identidades tradicionales de web2. Este sistema interactúa con los proveedores de OpenID existentes, demostrando que el usuario controla una dirección dada, lo que permite aplicaciones como enviar remesas a cuentas de Google o Facebook.

Miembros de un proyecto discutieron cómo construir un certificado anónimo a partir de pasaportes electrónicos existentes. Por ejemplo, un usuario puede probar que posee un pasaporte estadounidense y que tiene más de 25 años, sin necesidad de revelar el número de pasaporte o la edad exacta.