Cumbre de Conocimiento Cero 2024: Observación in situ

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

Hardware de conocimiento cero

El soporte de hardware ha sido un objetivo importante en el campo de las pruebas de conocimiento cero. Las dos presentaciones en el escenario principal resumen los últimos desarrollos en este campo:

Un investigador realizó una descripción completa del hardware de conocimiento cero, incluyendo empresas que utilizan hardware estándar, empresas que fabrican hardware personalizado y empresas que operan redes de pruebas descentralizadas. Predice que, gracias a tecnologías como los sistemas de verificación SNARK optimizados por hardware, el zkVM podría lograr un aumento de eficiencia computacional de 1000 veces, lo que podría tener un impacto significativo en las futuras versiones de Ethereum. También mencionó que la mayoría de las pruebas podrían adoptar el empaquetado Groth16.

Otro experto discutió el concepto de diseñar simultáneamente sistemas de prueba y hardware. Su sistema utiliza torres binarias y el protocolo sumcheck. Las pruebas preliminares mostraron que, en ciertas aplicaciones, el rendimiento de la función hash Groestl es claramente superior al de Keccak.

Red de Validadores Descentralizados

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

Una de las cofundadoras de la empresa presentó su próxima red de validadores. Ella discutió varios diseños de mecanismos potenciales, argumentando que los diseños basados en competiciones o minería podrían no funcionar bien. Ella señaló 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 emisión/estaca podría ser efectivo, pero el modelo de subasta es el que tiene más probabilidades de éxito, y podría terminar siendo similar a la construcción de bloques de hoy en día.

Un estudiante de doctorado presentó un nuevo artículo sobre la economía de las redes de demostradores. Mencionó que las subastas bilaterales son susceptibles a la colusión entre los demostradores y los postores, por lo que propusieron un mecanismo alternativo llamado Proo-phi, que introduce nuevos mecanismos de emparejamiento y demostración.

Otro experto discutió el mercado de pruebas que soporta el cálculo multiparte (MPC), en particular cómo utilizar el MPC para mantener la privacidad entre pequeños clientes y grandes probadores. Exploró cómo elegir una combinación de sistemas de prueba para realizar cálculos lineales, con el fin de minimizar los costos en el MPC.

Prueba de conocimiento cero

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

• Un proyecto dedicado a desarrollar pruebas de propiedad de direcciones de correo electrónico sin conocimiento, que depende de pruebas de conocimiento sobre la firma DKIM.
• Otro proyecto utiliza OpenID connect para interactuar con identidades web2 tradicionales, lo que hace posible aplicaciones como enviar remesas a cuentas de Google o Facebook.
• El tercer proyecto explora 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 la edad, sin revelar información concreta.

Estos avances muestran el gran potencial de la tecnología de pruebas de conocimiento cero en la verificación de identidad y la protección de la privacidad, abriendo nuevas posibilidades para aplicaciones futuras.