Zero Knowledge Summit 2024: Crónicas del Summit de Conocimiento Cero
El 10 de abril de 2024, se llevará a cabo la 11ª Cumbre de Conocimiento Cero en Atenas. Aproximadamente 500 participantes se reunirán para participar en cuatro sesiones paralelas durante un día. Este artículo resume los últimos avances en hardware de conocimiento cero, rendimiento de SNARK y diseño de redes de pruebas descentralizadas discutidos en la cumbre.
Desarrollo de hardware de conocimiento cero
El soporte de hardware ha sido un área de enfoque clave para la comunidad de pruebas de conocimiento cero. Las dos conferencias magistrales de apertura de la reunión resumieron los últimos avances en este campo:
Un investigador ha realizado un análisis exhaustivo del hardware de conocimiento cero, clasificando a las empresas relacionadas en tres categorías: empresas que utilizan hardware genérico, empresas que fabrican hardware especializado y empresas que operan redes de prueba descentralizadas. Predice que las tecnologías como los sistemas de verificación SNARK optimizados para hardware podrían lograr una mejora del rendimiento de hasta 1000 veces, lo que tendrá un impacto significativo en el desarrollo futuro de Ethereum. También reveló que una fundación planea organizar una competencia formal entre los demostradores y los verificadores, con un premio de hasta 20 millones de dólares.
Un cofundador de una empresa presentó su sistema Binius, que es una solución que optimiza simultáneamente el sistema de prueba y el diseño de hardware. Binius utiliza torres binarias y el protocolo sumcheck. Las pruebas iniciales mostraron que, en ciertos escenarios de aplicación, el rendimiento de la función hash Groestl supera claramente al de Keccak, un hallazgo que podría influir en las elecciones de diseño de sistemas futuros.
Red de probadores descentralizados
Muchos profesionales de la industria imaginan que en el futuro, la generación de pruebas de declaraciones a gran escala (, como las pruebas de validez de un lote de transacciones en Rollup ), será realizada por un mercado de proveedores de pruebas descentralizados y competitivos.
Una cofundadora de una empresa compartió su próxima red de validadores. Analizó varios diseños de mecanismos potenciales para una red de validadores descentralizada, y opinó que los diseños basados en competencia o minería podrían tener dificultades para lograr resultados óptimos. 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 corriente principal, y que eventualmente podría ser similar al mecanismo de construcción de bloques actual.
Un estudiante de doctorado de una universidad presentó un nuevo artículo sobre la economía de las redes de probadores que acaba de ser publicado. Señaló que las subastas bilaterales son susceptibles a la colusión entre los probadores y los postores, por lo que propuso un mecanismo alternativo llamado Proo-phi, que introduce nuevos mecanismos de coincidencia de transacciones y de prueba. Sin embargo, el mecanismo Proo-phi requiere establecer un parámetro de capacidad, lo que parece ser un problema clave de diseño abierto.
El director técnico de una empresa discutió el mercado de pruebas que apoya la computación multipartita (MPC), especialmente cómo utilizar MPC para proteger la privacidad entre pequeños clientes y grandes probadores. Exploró cómo seleccionar combinaciones de sistemas de prueba para realizar operaciones lineales, con el fin de minimizar costos en MPC.
Prueba de conocimiento cero
La reunión también discutió varios intentos de 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 de conocimiento cero. Estas pruebas se basan en la verificación de la firma DKIM de los correos electrónicos enviados a una dirección específica. Esta tecnología se puede aplicar a escenarios como transferencias anónimas a direcciones de correo electrónico, denuncias anónimas, entre otros.
Un investigador de una empresa compartió su proyecto Keyless, que utiliza OpenID connect para interactuar con sistemas de identidad tradicionales de Web2. Esto hace posible aplicaciones como enviar dinero a cuentas de Google o Facebook.
Los miembros de un proyecto discutieron cómo construir un certificado anónimo basado en los pasaportes electrónicos existentes. Por ejemplo, los usuarios pueden demostrar que poseen un pasaporte de un país determinado y que han alcanzado una edad específica, sin necesidad de revelar el número de pasaporte concreto o la edad exacta.
En general, esta cumbre presentó los últimos avances de la tecnología de pruebas de conocimiento cero en áreas como el soporte de hardware, el diseño de redes y la verificación de identidad, trazando un emocionante panorama para el futuro desarrollo de este campo.
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.
24 me gusta
Recompensa
24
6
Republicar
Compartir
Comentar
0/400
SchrodingerAirdrop
· 08-10 01:21
La mejora de hardware tiene futuro.
Ver originalesResponder0
HodlBeliever
· 08-07 15:09
El costo de rendimiento está por verificar
Ver originalesResponder0
SandwichTrader
· 08-07 02:55
El hardware realmente puede aumentar k veces.
Ver originalesResponder0
BloodInStreets
· 08-07 02:54
El hardware es el verdadero punto de ruptura.
Ver originalesResponder0
probably_nothing_anon
· 08-07 02:53
La actualización de hardware renueva drásticamente la base.
Cumbre de Conocimiento Cero 2024: Optimización de hardware, nuevos avances en redes de prueba e identificación
Zero Knowledge Summit 2024: Crónicas del Summit de Conocimiento Cero
El 10 de abril de 2024, se llevará a cabo la 11ª Cumbre de Conocimiento Cero en Atenas. Aproximadamente 500 participantes se reunirán para participar en cuatro sesiones paralelas durante un día. Este artículo resume los últimos avances en hardware de conocimiento cero, rendimiento de SNARK y diseño de redes de pruebas descentralizadas discutidos en la cumbre.
Desarrollo de hardware de conocimiento cero
El soporte de hardware ha sido un área de enfoque clave para la comunidad de pruebas de conocimiento cero. Las dos conferencias magistrales de apertura de la reunión resumieron los últimos avances en este campo:
Un investigador ha realizado un análisis exhaustivo del hardware de conocimiento cero, clasificando a las empresas relacionadas en tres categorías: empresas que utilizan hardware genérico, empresas que fabrican hardware especializado y empresas que operan redes de prueba descentralizadas. Predice que las tecnologías como los sistemas de verificación SNARK optimizados para hardware podrían lograr una mejora del rendimiento de hasta 1000 veces, lo que tendrá un impacto significativo en el desarrollo futuro de Ethereum. También reveló que una fundación planea organizar una competencia formal entre los demostradores y los verificadores, con un premio de hasta 20 millones de dólares.
Un cofundador de una empresa presentó su sistema Binius, que es una solución que optimiza simultáneamente el sistema de prueba y el diseño de hardware. Binius utiliza torres binarias y el protocolo sumcheck. Las pruebas iniciales mostraron que, en ciertos escenarios de aplicación, el rendimiento de la función hash Groestl supera claramente al de Keccak, un hallazgo que podría influir en las elecciones de diseño de sistemas futuros.
Red de probadores descentralizados
Muchos profesionales de la industria imaginan que en el futuro, la generación de pruebas de declaraciones a gran escala (, como las pruebas de validez de un lote de transacciones en Rollup ), será realizada por un mercado de proveedores de pruebas descentralizados y competitivos.
Una cofundadora de una empresa compartió su próxima red de validadores. Analizó varios diseños de mecanismos potenciales para una red de validadores descentralizada, y opinó que los diseños basados en competencia o minería podrían tener dificultades para lograr resultados óptimos. 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 corriente principal, y que eventualmente podría ser similar al mecanismo de construcción de bloques actual.
Un estudiante de doctorado de una universidad presentó un nuevo artículo sobre la economía de las redes de probadores que acaba de ser publicado. Señaló que las subastas bilaterales son susceptibles a la colusión entre los probadores y los postores, por lo que propuso un mecanismo alternativo llamado Proo-phi, que introduce nuevos mecanismos de coincidencia de transacciones y de prueba. Sin embargo, el mecanismo Proo-phi requiere establecer un parámetro de capacidad, lo que parece ser un problema clave de diseño abierto.
El director técnico de una empresa discutió el mercado de pruebas que apoya la computación multipartita (MPC), especialmente cómo utilizar MPC para proteger la privacidad entre pequeños clientes y grandes probadores. Exploró cómo seleccionar combinaciones de sistemas de prueba para realizar operaciones lineales, con el fin de minimizar costos en MPC.
Prueba de conocimiento cero
La reunión también discutió varios intentos de 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 de conocimiento cero. Estas pruebas se basan en la verificación de la firma DKIM de los correos electrónicos enviados a una dirección específica. Esta tecnología se puede aplicar a escenarios como transferencias anónimas a direcciones de correo electrónico, denuncias anónimas, entre otros.
Un investigador de una empresa compartió su proyecto Keyless, que utiliza OpenID connect para interactuar con sistemas de identidad tradicionales de Web2. Esto hace posible aplicaciones como enviar dinero a cuentas de Google o Facebook.
Los miembros de un proyecto discutieron cómo construir un certificado anónimo basado en los pasaportes electrónicos existentes. Por ejemplo, los usuarios pueden demostrar que poseen un pasaporte de un país determinado y que han alcanzado una edad específica, sin necesidad de revelar el número de pasaporte concreto o la edad exacta.
En general, esta cumbre presentó los últimos avances de la tecnología de pruebas de conocimiento cero en áreas como el soporte de hardware, el diseño de redes y la verificación de identidad, trazando un emocionante panorama para el futuro desarrollo de este campo.