Cumbre de Conocimiento Cero 2024: Observaciones en el lugar
El 10 de abril de 2024, se llevará a cabo la 11ª Cumbre de Conocimiento Cero en Atenas. Aproximadamente 500 asistentes participarán en este evento de un día, que incluirá cuatro conferencias. A continuación se presenta un resumen de los puntos destacados de la cumbre, 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 generado por pruebas de conocimiento cero ha sido un foco de atención en la industria. Las dos presentaciones en la sala principal resumieron los últimos avances en este campo:
Un investigador realizó una visión general completa del hardware ZK, incluyendo el uso de hardware genérico, la fabricación de hardware personalizado y las empresas que operan redes de prueba descentralizadas. Predijo que, con la optimización del hardware en el sistema de verificación SNARK y otras optimizaciones que están por venir, el zkVM podría lograr una mejora de eficiencia computacional de hasta 1000 veces, lo que tendrá un impacto significativo en las futuras versiones de Ethereum. También mencionó que se llevará a cabo una competencia para la validación formal de los probadores y validadores, con un premio de hasta 20 millones de dólares.
Un cofundador de la empresa presentó el sistema Binius, así como la idea de diseñar simultáneamente sistemas de prueba y hardware. Binius utiliza torres binarias y el protocolo sumcheck. Curiosamente, las pruebas iniciales muestran que la función hash Groestl tiene un rendimiento claramente superior al de Keccak en ciertas aplicaciones.
Red de validadores descentralizados
Muchos profesionales de la industria imaginan que la generación de pruebas para grandes declaraciones 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 altamente competitivo.
La cofundadora de una empresa discutió la próxima red de validadores. Analizó varios diseños de mecanismos potenciales y opinó que los diseños basados en competencia o minería podrían no funcionar bien. Propuso que los objetivos de diseño deberían ser, en orden: minimizar costos, maximizar la latencia y aumentar la resistencia a la censura. Predijo que el modelo de subasta es el más probable que tenga éxito, y que en el futuro podría parecerse a la construcción de bloques de hoy.
Un estudiante de doctorado de una universidad presentó un nuevo artículo sobre la economía de las redes de demostradores. Señaló que las subastas bilaterales son susceptibles a la colusión entre los demostradores y los postores, y propuso un mecanismo alternativo llamado Proo-phi, que introduce nuevos mecanismos de emparejamiento y demostración.
El director técnico de una empresa discutió el mercado de pruebas que soportan el cálculo multipartito (MPC), especialmente cómo utilizar el MPC para proteger la privacidad entre pequeños clientes y grandes probadores. Exploró cómo elegir combinaciones de sistemas de prueba para realizar operaciones lineales, con el fin de minimizar costos en el MPC.
Innovación en certificados ZK
Tres discusiones se centraron en los esfuerzos para construir certificados de conocimiento cero a partir de los sistemas de identidad existentes:
Un cofundador de un proyecto presentó la prueba de propiedad de dirección de correo electrónico ZK, que se basa en demostrar el conocimiento de la firma DKIM de un correo electrónico de dirección específica. Esta tecnología se puede aplicar a escenarios como el envío de remesas a direcciones de correo electrónico, denuncias anónimas, etc.
Un investigador de laboratorio discutió la tecnología que utiliza OpenID connect para interactuar con identidades tradicionales de web2. Esto hace posible aplicaciones como enviar remesas a cuentas de Google o Facebook.
Un miembro del proyecto discutió cómo construir un certificado anónimo a partir de un pasaporte electrónico existente. Por ejemplo, un usuario puede demostrar que posee un pasaporte de cierto país y ha alcanzado una edad específica, sin tener que revelar información concreta.
Estas innovaciones demuestran el gran potencial de la tecnología de cero conocimiento en la verificación de identidad y la protección de la privacidad, proporcionando nuevas ideas para la gestión de identidades digitales en el futuro.
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.
10 me gusta
Recompensa
10
6
Compartir
Comentar
0/400
SchrodingerWallet
· hace2h
En Atenas, tantos expertos se reunieron y no hubo caída.
Ver originalesResponder0
MetaNomad
· hace20h
¿Realmente todo es seguir hardware? ¿Es demasiado profesional?
Ver originalesResponder0
MoonBoi42
· hace20h
Casi me pierdo este gran evento
Ver originalesResponder0
ZKSherlock
· hace20h
en realidad... un aumento de velocidad de 1000x suena como una exageración de marketing. ¿Dónde está la prueba matemática?
Ver originalesResponder0
AirdropChaser
· hace20h
Aumento de 1000 veces. ¡Ahora sí que está genial!
Ver originalesResponder0
MEVictim
· hace20h
Quiero ver si realmente es una broma o si pueden hacerlo 1000 veces.
La cumbre de conocimiento cero 2024 se centra en el hardware ZK y la Descentralización de la red de pruebas.
Cumbre de Conocimiento Cero 2024: Observaciones en el lugar
El 10 de abril de 2024, se llevará a cabo la 11ª Cumbre de Conocimiento Cero en Atenas. Aproximadamente 500 asistentes participarán en este evento de un día, que incluirá cuatro conferencias. A continuación se presenta un resumen de los puntos destacados de la cumbre, 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 generado por pruebas de conocimiento cero ha sido un foco de atención en la industria. Las dos presentaciones en la sala principal resumieron los últimos avances en este campo:
Un investigador realizó una visión general completa del hardware ZK, incluyendo el uso de hardware genérico, la fabricación de hardware personalizado y las empresas que operan redes de prueba descentralizadas. Predijo que, con la optimización del hardware en el sistema de verificación SNARK y otras optimizaciones que están por venir, el zkVM podría lograr una mejora de eficiencia computacional de hasta 1000 veces, lo que tendrá un impacto significativo en las futuras versiones de Ethereum. También mencionó que se llevará a cabo una competencia para la validación formal de los probadores y validadores, con un premio de hasta 20 millones de dólares.
Un cofundador de la empresa presentó el sistema Binius, así como la idea de diseñar simultáneamente sistemas de prueba y hardware. Binius utiliza torres binarias y el protocolo sumcheck. Curiosamente, las pruebas iniciales muestran que la función hash Groestl tiene un rendimiento claramente superior al de Keccak en ciertas aplicaciones.
Red de validadores descentralizados
Muchos profesionales de la industria imaginan que la generación de pruebas para grandes declaraciones 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 altamente competitivo.
La cofundadora de una empresa discutió la próxima red de validadores. Analizó varios diseños de mecanismos potenciales y opinó que los diseños basados en competencia o minería podrían no funcionar bien. Propuso que los objetivos de diseño deberían ser, en orden: minimizar costos, maximizar la latencia y aumentar la resistencia a la censura. Predijo que el modelo de subasta es el más probable que tenga éxito, y que en el futuro podría parecerse a la construcción de bloques de hoy.
Un estudiante de doctorado de una universidad presentó un nuevo artículo sobre la economía de las redes de demostradores. Señaló que las subastas bilaterales son susceptibles a la colusión entre los demostradores y los postores, y propuso un mecanismo alternativo llamado Proo-phi, que introduce nuevos mecanismos de emparejamiento y demostración.
El director técnico de una empresa discutió el mercado de pruebas que soportan el cálculo multipartito (MPC), especialmente cómo utilizar el MPC para proteger la privacidad entre pequeños clientes y grandes probadores. Exploró cómo elegir combinaciones de sistemas de prueba para realizar operaciones lineales, con el fin de minimizar costos en el MPC.
Innovación en certificados ZK
Tres discusiones se centraron en los esfuerzos para construir certificados de conocimiento cero a partir de los sistemas de identidad existentes:
Un cofundador de un proyecto presentó la prueba de propiedad de dirección de correo electrónico ZK, que se basa en demostrar el conocimiento de la firma DKIM de un correo electrónico de dirección específica. Esta tecnología se puede aplicar a escenarios como el envío de remesas a direcciones de correo electrónico, denuncias anónimas, etc.
Un investigador de laboratorio discutió la tecnología que utiliza OpenID connect para interactuar con identidades tradicionales de web2. Esto hace posible aplicaciones como enviar remesas a cuentas de Google o Facebook.
Un miembro del proyecto discutió cómo construir un certificado anónimo a partir de un pasaporte electrónico existente. Por ejemplo, un usuario puede demostrar que posee un pasaporte de cierto país y ha alcanzado una edad específica, sin tener que revelar información concreta.
Estas innovaciones demuestran el gran potencial de la tecnología de cero conocimiento en la verificación de identidad y la protección de la privacidad, proporcionando nuevas ideas para la gestión de identidades digitales en el futuro.