Cumbre de Conocimiento Cero 2024: Observación en el Lugar

El 10 de abril de 2024, se celebró la 11ª Cumbre de Conocimiento Cero en Atenas. Aproximadamente 500 participantes asistieron al evento de un día, que abarcó cuatro sesiones de presentaciones paralelas. Este artículo resume los importantes avances discutidos en la cumbre sobre el último hardware de conocimiento cero, el rendimiento de SNARK y el diseño de redes de pruebas descentralizadas.

Desarrollo de hardware de conocimiento cero

El soporte de hardware ha sido un objetivo importante para la comunidad de pruebas de cero conocimiento. Dos presentaciones en el escenario principal resumieron los últimos avances en este campo:

Un investigador ha realizado un análisis exhaustivo del hardware de conocimiento cero, clasificando las empresas relacionadas en tres categorías: aquellas que utilizan hardware genérico, las que fabrican hardware personalizado y las que operan redes de prueba descentralizadas. Predice que la "forma final" del zkVM podría lograr una mejora en la eficiencia computacional de 1000 veces, lo que tendrá un impacto significativo en futuras versiones de Ethereum. También mencionó que pronto se anunciará una competencia para la validación formal de probadores y verificadores, con un premio de hasta 20 millones de dólares.

Uno de los cofundadores de la empresa presentó el sistema Binius, que diseña simultáneamente el sistema de prueba y el hardware. Binius utiliza torres binarias y el protocolo sumcheck. Las pruebas preliminares muestran que, en ciertas aplicaciones, el rendimiento de la función hash Groestl es notablemente superior al de Keccak.

Red de validadores descentralizados

Los expertos de la industria creen que, en el futuro, la prueba de generación a gran escala (como la verificación de la validez de un lote de transacciones en Rollup) será realizada por un mercado de validadores descentralizados y altamente competitivo.

Un cofundador de una empresa discutió sobre su próxima red de validadores. Analizó los diferentes diseños de mecanismos y consideró que los modelos basados en competencia o minería podrían no ser efectivos. 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 triunfar, y que finalmente podría ser similar al actual proceso de construcción de bloques.

Un estudiante de doctorado de una universidad presentó un nuevo artículo sobre la economía de la red de pruebas. Señaló 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 de transacciones y pruebas.

El director técnico de una empresa discutió el mercado de pruebas que soporta el cálculo multipartito (MPC), especialmente cómo utilizar MPC para mantener la privacidad entre pequeños clientes y grandes probadores. Exploró cómo elegir combinaciones de sistemas de prueba para optimizar el costo de operaciones lineales en MPC.

Prueba de conocimiento cero

Las tres discusiones se centraron en los esfuerzos para construir pruebas de conocimiento cero basadas en los sistemas de identidad existentes:

El cofundador de una empresa presentó la prueba de propiedad de direcciones de correo electrónico de conocimiento cero. Estas pruebas se basan en la firma DKIM de los correos electrónicos enviados a una dirección específica, que se puede usar para aplicaciones como remesas anónimas y denuncias.

Un investigador de un laboratorio discutió un sistema que utiliza OpenID Connect para interactuar con identidades tradicionales de Web2. Este sistema puede permitir aplicaciones como transferencias de dinero a cuentas de Google o Facebook.

Un representante de un proyecto discutió cómo construir un certificado anónimo basado en el pasaporte electrónico existente. Por ejemplo, los usuarios pueden demostrar que poseen un pasaporte estadounidense y que tienen más de 25 años, sin necesidad de revelar el número de pasaporte o la edad exacta.