Zero Knowledge Summit 2024: Observaciones de la industria

El 10 de abril de 2024, se celebró la 11ª Cumbre de Conocimiento Cero en Atenas. Aproximadamente 500 asistentes participaron en este 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 temas candentes sobre hardware de conocimiento cero, rendimiento de SNARK y diseño de redes de pruebas descentralizadas.

Desarrollo de hardware ZK

Durante mucho tiempo, el soporte de hardware para la generación de pruebas ha sido el foco de atención de la industria. La charla de apertura de esta cumbre se centró en los últimos avances en hardware ZK.

Un investigador de una fundación ha realizado una visión general completa del campo del hardware ZK, incluyendo empresas que utilizan hardware genérico, empresas que fabrican hardware personalizado y empresas que operan redes de prueba descentralizadas. Predice que, con el desarrollo de hardware especializado y diversas técnicas de optimización, el zkVM podría lograr un aumento de eficiencia computacional de 1000 veces, lo que tendrá un profundo impacto en la arquitectura blockchain futura. Además, mencionó que se llevará a cabo una competencia formal de validación para probadores y validadores, con un premio de hasta 20 millones de dólares.

El cofundador de una empresa de hardware presentó su último producto, que es una solución innovadora que optimiza simultáneamente el sistema de prueba y el diseño de hardware. Curiosamente, las pruebas iniciales mostraron que, en ciertos escenarios de aplicación, el rendimiento de la función hash Groestl supera claramente al de Keccak, lo que brinda a los desarrolladores nuevas opciones.

Red de probadores descentralizados

Se considera generalmente en la industria que la generación de pruebas para declaraciones a gran escala en el futuro (como la verificación de la corrección de un lote de transacciones en Rollup) será realizada por un mercado de probadores profesionales descentralizado y muy competitivo.

La cofundadora de una empresa analizó varios posibles diseños de mecanismos para redes de validadores descentralizados. Ella cree que los objetivos de diseño deberían ser: minimizar costos, maximizar el rendimiento y garantizar la resistencia a la censura. Predice que, aunque el modelo de emisión/participación puede ser efectivo, el modelo de subasta es el que tiene más probabilidades de convertirse en la norma, y su funcionamiento podría ser similar al actual proceso de construcción de bloques.

Un académico presentó sus últimos resultados de investigación sobre la economía de las redes de prueba. Propusieron un nuevo mecanismo llamado Proo-phi, diseñado para abordar el problema de colusión entre los probadores y los postores en las subastas bilaterales. Sin embargo, cómo establecer el parámetro de capacidad de Proof-phi sigue siendo un problema clave por resolver.

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

Innovación en ZK Certificados

La cumbre también discutió varias soluciones para construir pruebas de conocimiento cero utilizando los sistemas de identidad existentes.

Un cofundador de una startup presentó un sistema de prueba de conocimiento cero basado en correo electrónico. Este sistema utiliza la firma DKIM para verificar el control del usuario sobre una dirección de correo electrónico específica, ofreciendo nuevas posibilidades para escenarios de remesas anónimas y denuncias.

Un investigador de una plataforma de blockchain explicó su solución de autenticación sin clave, que permite aplicaciones innovadoras como enviar remesas a cuentas de redes sociales al integrarse con proveedores de identidad tradicionales de Web2.

Otro equipo mostró cómo construir un certificado anónimo basado en pasaportes electrónicos existentes, permitiendo a los usuarios demostrar atributos de identidad específicos (como nacionalidad y grupo de edad) sin revelar información personal concreta.

Estas soluciones innovadoras muestran el amplio potencial de la tecnología de pruebas de conocimiento cero en el ámbito de la verificación de identidad y la protección de la privacidad, proporcionando nuevas ideas para construir un ecosistema de identidad digital más seguro y privado.