Cumbre de Conocimiento Cero 2024: Registro en vivo
Joseph Bonneau, socio de investigación y profesor asistente en la Universidad de Nueva York, participó en la 11ª Cumbre de Conocimiento Cero que se celebró el 10 de abril en Atenas. El evento atrajo a alrededor de 500 asistentes y se llevaron a cabo cuatro charlas simultáneamente en un día. A continuación se presenta un resumen del informe de Bonneau, que abarca los últimos avances en hardware de conocimiento cero, rendimiento de SNARK y diseño de redes de pruebas.
Hardware ZK
El soporte de hardware para la generación de pruebas ha sido un objetivo a largo plazo para la comunidad. Las dos primeras presentaciones en el escenario principal resumieron los últimos desarrollos en este campo.
Un investigador realizó una visión general completa del hardware ZK, incluida la clasificación de las empresas en este campo. Enumeró las empresas que utilizan hardware genérico, las que fabrican hardware personalizado y las que operan redes de prueba descentralizadas. Predijo que los sistemas de verificación SNARK optimizados por hardware y otras optimizaciones que se avecinan, junto con hardware dedicado, podrían lograr un aumento de 1000 veces en la eficiencia computacional, lo que podría afectar la versión final de Ethereum. También mencionó que se anunciará una competencia para la validación formal de los probadores y validadores, con un premio de hasta 20 millones de dólares.
Los cofundadores de una empresa discutieron el concepto de diseñar simultáneamente un sistema de prueba y hardware. Su sistema utiliza campos de torres binarias y el protocolo sumcheck. Las pruebas iniciales mostraron que, en ciertas aplicaciones, el rendimiento de la función hash Groestl supera claramente al de Keccak.
Red de validadores descentralizados
Muchos profesionales de la industria imaginan que en el futuro la generación de pruebas de grandes declaraciones (como la validez de un lote de transacciones en un Rollup) será realizada por un competitivo y descentralizado mercado de probadores especializados.
La cofundadora de una empresa presentó su próxima red de validadores. Discutió varios diseños de mecanismos potenciales, sugiriendo que los diseños basados en competencias o minería podrían no ser efectivos. Propuso que los objetivos de diseño deberían ser, en orden: costo mínimo, máxima latencia y resistencia a la censura. Predijo que el modelo de emisión/participación podría ser efectivo, pero que el modelo de subasta es el más probable de tener éxito, y que podría terminar siendo similar a la construcción de bloques de hoy.
Un estudiante de doctorado de la Universidad de Yale 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, y propuso un mecanismo alternativo llamado Proo-phi, que introduce nuevos mecanismos de emparejamiento y validación.
El director de tecnología de una empresa discutió el mercado de pruebas que soporta el cálculo multipartito (MPC), especialmente el uso de 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, con el fin de minimizar costos.
Certificados ZK
Tres conferencias diferentes discutieron los esfuerzos para construir pruebas de conocimiento cero a partir de los sistemas de identidad existentes.
El cofundador de una empresa presentó la prueba de propiedad de direcciones de correo electrónico ZK. Estas dependen del conocimiento de la firma DKIM de los correos electrónicos enviados a una dirección específica. Muchas aplicaciones pueden utilizar la prueba ZK para verificar si un usuario controla una dirección de correo electrónico, incluyendo el envío de remesas a esa dirección y denuncias anónimas, entre otras.
Científicos de investigación de un laboratorio discutieron sobre la tecnología que utiliza OpenID connect para la interacción de identidad con el tradicional web2. Esta tecnología interactúa con los proveedores de OpenID existentes, demostrando que el usuario controla una dirección dada, lo que hace posible aplicaciones como enviar fondos a cuentas de Google o Facebook.
Un representante de una empresa discutió cómo construir certificados anónimos a partir de pasaportes electrónicos existentes. Por ejemplo, los usuarios pueden demostrar que poseen un pasaporte de un país específico y que han alcanzado una edad determinada, sin necesidad de revelar el número de pasaporte o la edad exacta.
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.
9 me gusta
Recompensa
9
4
Republicar
Compartir
Comentar
0/400
blockBoy
· 08-11 04:30
No puedo creer que 500 personas hayan visto ZK.
Ver originalesResponder0
AirdropHunterWang
· 08-11 04:27
Soy el cazador de airdrop Xiao Wang, déjame comentar ¿Ya hay jugadas de hardware en este zk? Se ha puesto interesante.
Ver originalesResponder0
CodeZeroBasis
· 08-11 04:24
La falta de fundamentos no puede llevar a esta reunión.
Ver originalesResponder0
MidnightGenesis
· 08-11 04:11
La zona de hardware se actualizó de nuevo a medianoche, como era de esperar.
Cumbre de Conocimiento Cero 2024: Innovaciones en hardware y redes de prueba de Descentralización que lideran el futuro
Cumbre de Conocimiento Cero 2024: Registro en vivo
Joseph Bonneau, socio de investigación y profesor asistente en la Universidad de Nueva York, participó en la 11ª Cumbre de Conocimiento Cero que se celebró el 10 de abril en Atenas. El evento atrajo a alrededor de 500 asistentes y se llevaron a cabo cuatro charlas simultáneamente en un día. A continuación se presenta un resumen del informe de Bonneau, que abarca los últimos avances en hardware de conocimiento cero, rendimiento de SNARK y diseño de redes de pruebas.
Hardware ZK
El soporte de hardware para la generación de pruebas ha sido un objetivo a largo plazo para la comunidad. Las dos primeras presentaciones en el escenario principal resumieron los últimos desarrollos en este campo.
Un investigador realizó una visión general completa del hardware ZK, incluida la clasificación de las empresas en este campo. Enumeró las empresas que utilizan hardware genérico, las que fabrican hardware personalizado y las que operan redes de prueba descentralizadas. Predijo que los sistemas de verificación SNARK optimizados por hardware y otras optimizaciones que se avecinan, junto con hardware dedicado, podrían lograr un aumento de 1000 veces en la eficiencia computacional, lo que podría afectar la versión final de Ethereum. También mencionó que se anunciará una competencia para la validación formal de los probadores y validadores, con un premio de hasta 20 millones de dólares.
Los cofundadores de una empresa discutieron el concepto de diseñar simultáneamente un sistema de prueba y hardware. Su sistema utiliza campos de torres binarias y el protocolo sumcheck. Las pruebas iniciales mostraron que, en ciertas aplicaciones, el rendimiento de la función hash Groestl supera claramente al de Keccak.
Red de validadores descentralizados
Muchos profesionales de la industria imaginan que en el futuro la generación de pruebas de grandes declaraciones (como la validez de un lote de transacciones en un Rollup) será realizada por un competitivo y descentralizado mercado de probadores especializados.
La cofundadora de una empresa presentó su próxima red de validadores. Discutió varios diseños de mecanismos potenciales, sugiriendo que los diseños basados en competencias o minería podrían no ser efectivos. Propuso que los objetivos de diseño deberían ser, en orden: costo mínimo, máxima latencia y resistencia a la censura. Predijo que el modelo de emisión/participación podría ser efectivo, pero que el modelo de subasta es el más probable de tener éxito, y que podría terminar siendo similar a la construcción de bloques de hoy.
Un estudiante de doctorado de la Universidad de Yale 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, y propuso un mecanismo alternativo llamado Proo-phi, que introduce nuevos mecanismos de emparejamiento y validación.
El director de tecnología de una empresa discutió el mercado de pruebas que soporta el cálculo multipartito (MPC), especialmente el uso de 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, con el fin de minimizar costos.
Certificados ZK
Tres conferencias diferentes discutieron los esfuerzos para construir pruebas de conocimiento cero a partir de los sistemas de identidad existentes.
El cofundador de una empresa presentó la prueba de propiedad de direcciones de correo electrónico ZK. Estas dependen del conocimiento de la firma DKIM de los correos electrónicos enviados a una dirección específica. Muchas aplicaciones pueden utilizar la prueba ZK para verificar si un usuario controla una dirección de correo electrónico, incluyendo el envío de remesas a esa dirección y denuncias anónimas, entre otras.
Científicos de investigación de un laboratorio discutieron sobre la tecnología que utiliza OpenID connect para la interacción de identidad con el tradicional web2. Esta tecnología interactúa con los proveedores de OpenID existentes, demostrando que el usuario controla una dirección dada, lo que hace posible aplicaciones como enviar fondos a cuentas de Google o Facebook.
Un representante de una empresa discutió cómo construir certificados anónimos a partir de pasaportes electrónicos existentes. Por ejemplo, los usuarios pueden demostrar que poseen un pasaporte de un país específico y que han alcanzado una edad determinada, sin necesidad de revelar el número de pasaporte o la edad exacta.
¿Ya hay jugadas de hardware en este zk? Se ha puesto interesante.