El 10 de abril de 2024, se celebró la undécima Cumbre de Conocimiento Cero en Atenas. Este evento fue organizado por el podcast de Conocimiento Cero y atrajo a aproximadamente 500 asistentes, con cuatro charlas realizadas simultáneamente en un solo día. A continuación se presenta un resumen de los puntos clave de la cumbre, que abarca los últimos avances en hardware de conocimiento cero, rendimiento de SNARK y diseño de redes de prueba descentralizadas.
Desarrollo de hardware de conocimiento cero
El soporte de hardware para la generación de pruebas ha sido un foco de atención en la industria. Dos presentaciones en el escenario principal resumieron los últimos avances en este campo:
Un investigador ha realizado una visión general completa sobre el hardware de conocimiento cero, incluyendo empresas que utilizan hardware genérico y fabrican hardware personalizado, así como proyectos que operan redes de prueba descentralizadas. Predice que, a través de tecnologías como sistemas de verificación SNARK optimizados por hardware, combinados con hardware especializado, se podría lograr un aumento de eficiencia computacional de hasta 1000 veces, lo que tendría un impacto significativo en el desarrollo futuro 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.
El cofundador de una empresa presentó la idea de diseñar simultáneamente sistemas de prueba y hardware. Su sistema 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, lo que proporciona nuevas ideas para el diseño de sistemas futuros.
Red de Validadores Descentralizados
Los expertos de la industria creen que en el futuro la generación de pruebas a gran escala (como la verificación de la validez de un lote de transacciones en Rollup) será realizada por un mercado de probadores descentralizado y altamente competitivo.
Los cofundadores de una empresa discutieron varios diseños de mecanismos potenciales para redes de validadores descentralizados. Ella cree que los objetivos de diseño deben ser, en orden: minimizar costos, maximizar la latencia y garantizar la resistencia a la censura. Predice que el modelo de subasta es el más probable que se convierta en mainstream, y que finalmente podría ser similar al proceso de 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 probadores. Propusieron un nuevo mecanismo llamado Proo-phi, que introduce un innovador mecanismo de negociación de emparejamiento y de prueba para abordar los problemas de colusión que pueden surgir en las subastas bilaterales.
El director de tecnología de una empresa discutió el mercado de pruebas que soporta el cálculo multiparte (MPC), especialmente cómo utilizar el MPC para mantener la privacidad entre pequeños clientes y grandes demostradores. Enfatizó que al elegir una combinación de sistemas de prueba, se deben considerar las operaciones lineales relativamente económicas en el MPC para minimizar costos.
Prueba de conocimiento cero
En la cumbre también se discutieron varias soluciones para construir credenciales de conocimiento cero a partir de los sistemas de identidad existentes:
Prueba de conocimiento cero basada en correo electrónico: se logra una prueba de conocimiento cero de la propiedad de la dirección de correo electrónico mediante la demostración del conocimiento de la firma DKIM del correo electrónico para una dirección específica. Este método puede aplicarse a escenarios como remesas anónimas por correo electrónico y denuncias.
Uso de OpenID Connect para interactuar con identidades web2 tradicionales: a través de la interacción con proveedores de OpenID existentes, se demuestra que el usuario controla una dirección específica, lo que hace posible aplicaciones como transferir fondos a cuentas de redes sociales.
Certificados anónimos basados en pasaportes electrónicos: los usuarios pueden demostrar que poseen un pasaporte de un país específico y cumplen con los requisitos de edad, sin necesidad de revelar el número de pasaporte específico o la edad exacta.
Estas soluciones innovadoras demuestran el amplio potencial de las tecnologías de conocimiento cero en la verificación de identidad y la protección de la privacidad.
Ver originales
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.
20 me gusta
Recompensa
20
10
Republicar
Compartir
Comentar
0/400
TopBuyerBottomSeller
· 07-31 20:02
¿Fuiste a Atenas a trabajar duro?
Ver originalesResponder0
DaoResearcher
· 07-31 16:38
Un aumento de 1000 veces también es difícil de cumplir con las condiciones de la ecuación ZK, desde los datos esto es otra trampa de la moda VC.
Ver originalesResponder0
AirdropChaser
· 07-31 09:22
¡El hardware va a tener un gran aumento! ¡Acumula!
Ver originalesResponder0
ZkProofPudding
· 07-30 20:44
He estado jugando con rig de minera durante un año, esta vez no puedo dejarlo pasar.
Ver originalesResponder0
AirdropHarvester
· 07-30 20:43
vacío
Ver originalesResponder0
SchroedingerGas
· 07-30 20:42
¿Quién dice que zk siempre es caro? Avancemos hacia un aumento de 1000 veces.
Ver originalesResponder0
BoredApeResistance
· 07-30 20:35
Hardware increíble
Ver originalesResponder0
TestnetFreeloader
· 07-30 20:17
STARK es realmente bueno, la actualización de hardware es 1000 veces mejor, yyds
Cumbre de Conocimiento Cero 2024: Innovación de hardware y Descentralización de la red de pruebas lideran nuevas tendencias en la industria
Cumbre de Conocimiento Cero 2024: Reporte en Vivo
El 10 de abril de 2024, se celebró la undécima Cumbre de Conocimiento Cero en Atenas. Este evento fue organizado por el podcast de Conocimiento Cero y atrajo a aproximadamente 500 asistentes, con cuatro charlas realizadas simultáneamente en un solo día. A continuación se presenta un resumen de los puntos clave de la cumbre, que abarca los últimos avances en hardware de conocimiento cero, rendimiento de SNARK y diseño de redes de prueba descentralizadas.
Desarrollo de hardware de conocimiento cero
El soporte de hardware para la generación de pruebas ha sido un foco de atención en la industria. Dos presentaciones en el escenario principal resumieron los últimos avances en este campo:
Un investigador ha realizado una visión general completa sobre el hardware de conocimiento cero, incluyendo empresas que utilizan hardware genérico y fabrican hardware personalizado, así como proyectos que operan redes de prueba descentralizadas. Predice que, a través de tecnologías como sistemas de verificación SNARK optimizados por hardware, combinados con hardware especializado, se podría lograr un aumento de eficiencia computacional de hasta 1000 veces, lo que tendría un impacto significativo en el desarrollo futuro 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.
El cofundador de una empresa presentó la idea de diseñar simultáneamente sistemas de prueba y hardware. Su sistema 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, lo que proporciona nuevas ideas para el diseño de sistemas futuros.
Red de Validadores Descentralizados
Los expertos de la industria creen que en el futuro la generación de pruebas a gran escala (como la verificación de la validez de un lote de transacciones en Rollup) será realizada por un mercado de probadores descentralizado y altamente competitivo.
Los cofundadores de una empresa discutieron varios diseños de mecanismos potenciales para redes de validadores descentralizados. Ella cree que los objetivos de diseño deben ser, en orden: minimizar costos, maximizar la latencia y garantizar la resistencia a la censura. Predice que el modelo de subasta es el más probable que se convierta en mainstream, y que finalmente podría ser similar al proceso de 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 probadores. Propusieron un nuevo mecanismo llamado Proo-phi, que introduce un innovador mecanismo de negociación de emparejamiento y de prueba para abordar los problemas de colusión que pueden surgir en las subastas bilaterales.
El director de tecnología de una empresa discutió el mercado de pruebas que soporta el cálculo multiparte (MPC), especialmente cómo utilizar el MPC para mantener la privacidad entre pequeños clientes y grandes demostradores. Enfatizó que al elegir una combinación de sistemas de prueba, se deben considerar las operaciones lineales relativamente económicas en el MPC para minimizar costos.
Prueba de conocimiento cero
En la cumbre también se discutieron varias soluciones para construir credenciales de conocimiento cero a partir de los sistemas de identidad existentes:
Prueba de conocimiento cero basada en correo electrónico: se logra una prueba de conocimiento cero de la propiedad de la dirección de correo electrónico mediante la demostración del conocimiento de la firma DKIM del correo electrónico para una dirección específica. Este método puede aplicarse a escenarios como remesas anónimas por correo electrónico y denuncias.
Uso de OpenID Connect para interactuar con identidades web2 tradicionales: a través de la interacción con proveedores de OpenID existentes, se demuestra que el usuario controla una dirección específica, lo que hace posible aplicaciones como transferir fondos a cuentas de redes sociales.
Certificados anónimos basados en pasaportes electrónicos: los usuarios pueden demostrar que poseen un pasaporte de un país específico y cumplen con los requisitos de edad, sin necesidad de revelar el número de pasaporte específico o la edad exacta.
Estas soluciones innovadoras demuestran el amplio potencial de las tecnologías de conocimiento cero en la verificación de identidad y la protección de la privacidad.