Cumbre de Conocimientos Zero 2024: Reporte en vivo

El 10 de abril de 2024, se celebró la 11ª Cumbre de Conocimiento Cero en Atenas. Esta cumbre reunió a aproximadamente 500 participantes y se llevaron a cabo cuatro charlas paralelas en un solo día. 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 pruebas descentralizadas.

Desarrollo de hardware de conocimiento cero

El soporte de hardware ha sido un objetivo importante en el campo de las pruebas de cero conocimiento. Las dos presentaciones en el escenario principal resumieron la situación actual del desarrollo:

Un investigador ha proporcionado una visión general completa del hardware de conocimiento cero, incluyendo empresas que utilizan hardware común, empresas que fabrican hardware personalizado y empresas que operan redes de pruebas descentralizadas. Predice que, combinando un sistema de verificación SNARK optimizado por hardware y otras optimizaciones que están por venir, se podría lograr un aumento de la eficiencia computacional de hasta 1000 veces, lo que tendrá un impacto significativo en el desarrollo futuro de Ethereum. También mencionó que una fundación anunciará un concurso para la validación formal de probadores y validadores, con un premio de hasta 20 millones de dólares.

El cofundador de una empresa presentó la idea de diseñar simultáneamente sistemas de prueba y hardware. Su sistema utiliza torres binarias y el protocolo sumcheck. Las pruebas iniciales mostraron que, en algunas aplicaciones, el rendimiento de la función hash Groestl es significativamente superior al de Keccak.

Red de validadores descentralizados

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

La cofundadora de una empresa discutió varios diseños potenciales de mecanismos para redes de validadores descentralizados. Ella cree que los objetivos de diseño deben ser, en orden: minimizar costos, maximizar la latencia y garantizar la resistencia a la censura. Predice que el modelo de subasta es el más probable que prevalezca, y que finalmente podría ser similar al proceso actual de construcción de bloques.

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 entre los probadores y los licitadores, por lo que propuso un mecanismo alternativo llamado Proo-phi, que introduce nuevos mecanismos de coincidencia y prueba en las transacciones.

El CTO de una empresa discutió el mercado de pruebas que soportan la computación multipartita (MPC), particularmente cómo utilizar la MPC para mantener la privacidad entre pequeños clientes y grandes demostradores. Exploró cómo seleccionar combinaciones de sistemas de prueba para realizar operaciones lineales y minimizar costos en la MPC.

Prueba de Cero Conocimiento

Tres discusiones se centraron en los esfuerzos para construir pruebas de conocimiento cero a partir de sistemas de identidad existentes:

1. Prueba de propiedad de dirección sin conocimiento basada en correo electrónico, que depende de la verificación de la firma DKIM.

2. Utilizar OpenID Connect para interactuar con identidades web2 tradicionales, implementando aplicaciones como enviar remesas a cuentas de Google o Facebook.

3. 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 un rango de edad, sin revelar información personal específica.

Estas innovaciones ofrecen nuevas posibilidades para la verificación de identidad y la protección de la privacidad, y se espera que se apliquen ampliamente en múltiples campos.