Cumbre de Conocimiento Cero 2024: Notas en el sitio
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 destacados de la conferencia, que abarca los últimos avances en hardware de conocimiento cero, rendimiento de SNARK y diseño de redes de pruebas.
Desarrollo de hardware ZK
El soporte de hardware para la generación de pruebas ha sido un área de enfoque clave en la industria. Las dos primeras presentaciones de la conferencia resumieron la situación actual del desarrollo:
Un investigador ha realizado una visión general completa del hardware ZK, incluyendo la clasificación de las empresas en este campo. Mencionó empresas que utilizan hardware genérico, empresas que fabrican hardware personalizado, así como empresas que operan redes de prueba descentralizadas. Predijo que un zkVM optimizado combinado con hardware especializado podría lograr un aumento de 1000 veces en la eficiencia computacional, lo que podría tener un impacto significativo en el desarrollo futuro de Ethereum. También reveló que se llevará a cabo una competencia de validación formal entre probadores y validadores, con un premio de hasta 20 millones de dólares.
El cofundador de una empresa presentó el sistema Binius, así como la idea de diseñar simultáneamente el sistema de prueba y el hardware. Binius utiliza torres binarias y el protocolo sumcheck. Las pruebas iniciales mostraron que, en algunas aplicaciones, el rendimiento de la función hash Groestl supera claramente al de Keccak.
Red de validadores descentralizados
Los expertos de la industria creen que la generación de pruebas para declaraciones a gran escala en el futuro (como la verificación de la validez de un lote de transacciones en un Rollup) será realizada por un mercado de probadores descentralizado y altamente competitivo.
La cofundadora de una empresa discutió sobre su próxima red de validadores. Analizó varios diseños de mecanismos potenciales y opinó que un diseño basado en competencia o minería podría no ser efectivo. 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 es el más probable que se convierta en la norma, y que podría terminar siendo similar a la forma actual de construcción de bloques.
Un estudiante de doctorado presentó un nuevo artículo sobre la economía de las redes de validadores. Señaló que las subastas bilaterales son susceptibles a la colusión entre validadores y postores, por lo que propuso un mecanismo alternativo llamado Proo-phi, que introduce nuevos mecanismos de emparejamiento y validación.
El director técnico de una empresa discutió el mercado de pruebas que apoyan el cálculo multiparte (MPC), especialmente cómo utilizar MPC para mantener la privacidad entre pequeños clientes y grandes proveedores de pruebas. Exploró cómo elegir combinaciones de sistemas de prueba para realizar operaciones lineales, con el fin de minimizar costos en MPC.
Innovación en Certificados ZK
La reunión también discutió varios esfuerzos para construir pruebas de conocimiento cero basadas en el sistema de identidad existente:
Un cofundador de un proyecto presentó la prueba de propiedad de direcciones de correo electrónico ZK. Estas pruebas se basan en la verificación de la firma DKIM de los correos electrónicos enviados a una dirección específica, y se pueden aplicar en escenarios como remesas anónimas y denuncias.
Un investigador de la empresa explicó la tecnología que utiliza OpenID connect para interactuar con identidades web2 tradicionales, lo que hace posible aplicaciones como enviar dinero a cuentas de Google o Facebook.
Un representante de un proyecto discutió cómo construir un certificado anónimo a partir de un pasaporte electrónico existente, por ejemplo, para demostrar que se posee un pasaporte de un país específico y se ha alcanzado una edad determinada, sin revelar información personal específica.
Estas innovaciones abren nuevas posibilidades para la aplicación de la tecnología de pruebas de cero conocimiento en los campos de la verificación de identidad y la protección de la privacidad.
Esta página puede contener contenido de terceros, que se proporciona únicamente con fines informativos (sin garantías ni declaraciones) y no debe considerarse como un respaldo por parte de Gate a las opiniones expresadas ni como asesoramiento financiero o profesional. Consulte el Descargo de responsabilidad para obtener más detalles.
8 me gusta
Recompensa
8
5
Compartir
Comentar
0/400
UncleWhale
· hace19h
El hardware zk todavía tiene que pulirse.
Ver originalesResponder0
TrustMeBro
· 07-25 12:13
Ya están hablando de zk otra vez, ya lo he visto, ya lo he visto.
Ver originalesResponder0
ILCollector
· 07-25 12:02
Si no puedes ganar dinero, mejor usa hardware.
Ver originalesResponder0
AirDropMissed
· 07-25 11:55
¿Todavía estás jugando zk? Parece que realmente no va a caer.
Cumbre de conocimiento cero 2024: Nuevos avances en hardware ZK, redes de pruebas y identificación.
Cumbre de Conocimiento Cero 2024: Notas en el sitio
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 destacados de la conferencia, que abarca los últimos avances en hardware de conocimiento cero, rendimiento de SNARK y diseño de redes de pruebas.
Desarrollo de hardware ZK
El soporte de hardware para la generación de pruebas ha sido un área de enfoque clave en la industria. Las dos primeras presentaciones de la conferencia resumieron la situación actual del desarrollo:
Un investigador ha realizado una visión general completa del hardware ZK, incluyendo la clasificación de las empresas en este campo. Mencionó empresas que utilizan hardware genérico, empresas que fabrican hardware personalizado, así como empresas que operan redes de prueba descentralizadas. Predijo que un zkVM optimizado combinado con hardware especializado podría lograr un aumento de 1000 veces en la eficiencia computacional, lo que podría tener un impacto significativo en el desarrollo futuro de Ethereum. También reveló que se llevará a cabo una competencia de validación formal entre probadores y validadores, con un premio de hasta 20 millones de dólares.
El cofundador de una empresa presentó el sistema Binius, así como la idea de diseñar simultáneamente el sistema de prueba y el hardware. Binius utiliza torres binarias y el protocolo sumcheck. Las pruebas iniciales mostraron que, en algunas aplicaciones, el rendimiento de la función hash Groestl supera claramente al de Keccak.
Red de validadores descentralizados
Los expertos de la industria creen que la generación de pruebas para declaraciones a gran escala en el futuro (como la verificación de la validez de un lote de transacciones en un Rollup) será realizada por un mercado de probadores descentralizado y altamente competitivo.
La cofundadora de una empresa discutió sobre su próxima red de validadores. Analizó varios diseños de mecanismos potenciales y opinó que un diseño basado en competencia o minería podría no ser efectivo. 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 es el más probable que se convierta en la norma, y que podría terminar siendo similar a la forma actual de construcción de bloques.
Un estudiante de doctorado presentó un nuevo artículo sobre la economía de las redes de validadores. Señaló que las subastas bilaterales son susceptibles a la colusión entre validadores y postores, por lo que propuso un mecanismo alternativo llamado Proo-phi, que introduce nuevos mecanismos de emparejamiento y validación.
El director técnico de una empresa discutió el mercado de pruebas que apoyan el cálculo multiparte (MPC), especialmente cómo utilizar MPC para mantener la privacidad entre pequeños clientes y grandes proveedores de pruebas. Exploró cómo elegir combinaciones de sistemas de prueba para realizar operaciones lineales, con el fin de minimizar costos en MPC.
Innovación en Certificados ZK
La reunión también discutió varios esfuerzos para construir pruebas de conocimiento cero basadas en el sistema de identidad existente:
Un cofundador de un proyecto presentó la prueba de propiedad de direcciones de correo electrónico ZK. Estas pruebas se basan en la verificación de la firma DKIM de los correos electrónicos enviados a una dirección específica, y se pueden aplicar en escenarios como remesas anónimas y denuncias.
Un investigador de la empresa explicó la tecnología que utiliza OpenID connect para interactuar con identidades web2 tradicionales, lo que hace posible aplicaciones como enviar dinero a cuentas de Google o Facebook.
Un representante de un proyecto discutió cómo construir un certificado anónimo a partir de un pasaporte electrónico existente, por ejemplo, para demostrar que se posee un pasaporte de un país específico y se ha alcanzado una edad determinada, sin revelar información personal específica.
Estas innovaciones abren nuevas posibilidades para la aplicación de la tecnología de pruebas de cero conocimiento en los campos de la verificación de identidad y la protección de la privacidad.