Zero Knowledge Summit 2024: Informe en vivo de la cumbre de conocimiento cero

El 10 de abril de 2024, se celebró la 11ª Cumbre de Conocimiento Cero en Atenas. Esta cumbre fue organizada por el pódcast Zero Knowledge, con la participación de aproximadamente 500 asistentes y se llevaron a cabo cuatro conferencias en un solo día. A continuación se presenta un resumen de los puntos importantes 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 para la comunidad de pruebas de conocimiento cero. En esta cumbre, varios expertos compartieron los últimos avances en este campo:

Un investigador ha realizado una revisión completa del hardware de conocimiento cero, clasificando las empresas relacionadas en tres categorías: empresas que utilizan hardware genérico, empresas que fabrican hardware personalizado y empresas que operan en redes de prueba descentralizadas. Predice que la combinación de sistemas de verificación SNARK optimizados por hardware y otras optimizaciones que están por llegar podría lograr un aumento de eficiencia computacional de 1000 veces, lo que tendría un impacto significativo en la arquitectura blockchain futura.

Los cofundadores de una empresa presentaron su nuevo sistema SNARK en desarrollo, que optimiza simultáneamente el sistema de pruebas y el diseño de hardware. Las pruebas preliminares muestran que en ciertas aplicaciones, el rendimiento de la función hash Groestl es claramente superior al de Keccak, lo que brinda nuevas ideas para el diseño de sistemas futuros.

Red de prueba descentralizada

Varios expertos discutieron sobre las direcciones futuras del desarrollo de redes de demostradores descentralizados:

Una de las cofundadoras de la empresa analizó varios diseños potenciales de mecanismos para la red de validadores. Ella cree que los diseños basados en competencias o minería pueden no traer resultados ideales, mientras que el modelo de subasta tiene más probabilidades de triunfar y podría ser similar al proceso de construcción de bloques de hoy en día. También reveló que están construyendo una red de subastas general para apoyar las pruebas de múltiples zkVM.

Un estudiante de doctorado presentó sus últimos resultados de investigación sobre la economía de redes de validadores. Propusieron un nuevo mecanismo llamado Proo-phi, destinado a abordar el problema de la colusión que puede surgir en las subastas bilaterales. Sin embargo, este mecanismo aún necesita resolver problemas de diseño clave, como la configuración de parámetros de capacidad.

El responsable técnico de otra empresa discutió el mercado de pruebas que admite cálculos multiparte (MPC), prestando especial atención a cómo lograr interacciones de confianza reducidas entre pequeños clientes y grandes demostradores mientras se protege la privacidad. Enfatizó la importancia de elegir la combinación adecuada de sistemas de prueba para optimizar los costos de MPC.

Aplicaciones de pruebas de conocimiento cero

La cumbre también discutió la aplicación de los certificados de conocimiento cero en los sistemas de identidad existentes:

Un cofundador de una empresa emergente presentó una prueba de propiedad sin conocimiento basada en correo electrónico. Esta tecnología utiliza firmas DKIM y se puede aplicar en escenarios como transferencias anónimas y denuncias.

Un investigador de una plataforma blockchain compartió su solución para la interacción de identidad entre OpenID Connect y la identidad tradicional de Web2, lo que hace posible enviar remesas anónimas a cuentas de Google o Facebook.

Un representante de otro proyecto discutió 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 tener cierta edad, sin revelar información personal específica.

En general, esta cumbre mostró importantes avances en la tecnología de pruebas de conocimiento cero en áreas como la optimización de hardware, el diseño de redes y las aplicaciones prácticas, marcando una dirección para el futuro desarrollo de este campo.