jakiro
Autor: Miles Fuente: X,@MillaS082510
Ayer, discutí el problema de la aceleración de ZK con los fabricantes de chips ZK en China.En la actualidad, L2 basada en ZK solo necesita cientos de máquinas de GPU para mantener negocios diarios.Entonces, ¿dónde está la necesidad de aceleración ahora?¿Qué partes valen la pena acelerar?¿Se prueba o verifica el cuello de botella de la pista ZK?¿Qué impacto tienen estos problemas en la ecología?
Según este tweet, quiero compartir parte de mi propia comprensión, ¡bienvenido para corregir y discutir!
La tecnología pasada ZK
Las primeras soluciones de ZK se basaron principalmente en el desarrollo del circuito.Los desarrolladores deben usar idiomas específicos para construir circuitos, lo cual es complicado y costoso.@Starkwareltd lidera en este campo.Sin embargo, las limitaciones de este método son que solo puede resumir la prueba de un solo sistema o máquina de certificados.
Tecnología ZK actual
Ahora, con la aparición del general ZKVM, los programadores no necesitan aprender un nuevo lenguaje de circuito, y solo necesitan escribir el código de óxido para desarrollar y aplicar.Los representantes en esta área incluyen @Risczero, @Succintlabs’s SP1, @nexuslabshq y @lita_xyz y se sacuden de @a16zcrypto.
Aunque hay muchos proyectos de ZKVM, creo que todos los sistemas de agregación de prueba en el futuro dependerán de ZKVMS RISC-V o ZKVM basados en Rust.Mediante el uso de RISC-V para demostrar que podemos fusionar fácilmente diferentes sistemas de certificación para simplificar el complejo proceso de verificación.
Preguntas y desafíos
El costo de la verificación en Ethereum es muy alto y no admite una gran capacidad.Por ejemplo, un certificado de 1 GB es poco realista para verificar directamente en Ethereum.Si ejecuta un acurrucado ZK, el costo anual puede ser tan alto como millones de dólares.
Además, aunque @AlignedLayer puede verificar 2.500 hash por segundo, Ethereum no puede manejar una capacidad tan grande.
Solución
Hay dos métodos en Ethereum para lograr una verificación rápida y de bajo costo:
-
Prueba: Una forma de mejorar la eficiencia de la verificación.
-
Capa de verificación ZK: Realice capas de verificación ZK de bajo costo y escalable en @eigenlayer, que es el enfoque actual de @AlignedLayer.
Discusión y perspectiva
Con respecto al cuello de botella de la pista ZK, @ozhar (de @ZkSync) cree que solo el 5%del costo está relacionado con la verificación, y el 95%está relacionado con el costo de hardware de generar prueba.@Heslinkim contiene diferentes vistas de @Gevulot_network, cree que el cuello de botella real es probar la generación y el hardware.
De hecho, el hardware ZK y las áreas de generación de pruebas también se están desarrollando rápidamente, como @cysic_xyz, @ingo_zk y @lagrangedev y otras fiestas de proyectos están promoviendo activamente tecnologías relacionadas.
