En los últimos dos años, los avances en la tecnología zkVM (máquina virtual de conocimiento cero) han sido notables, pasando de la etapa inicial de "poder probar" a la actual de "pruebas en tiempo real", lo que marca un gran salto en este campo.
El sistema SP1 Hypercube de Succinct, lanzado en mayo de este año, ha atraído una amplia atención en la industria. Este sistema rediseña el sistema de pruebas utilizando una innovadora arquitectura de polinomios multilineales, logrando mejoras en términos de latencia y costo en comparación con su predecesor, el SP1 Turbo. Según datos oficiales, hasta el 93% de los bloques de Ethereum pueden completar la prueba en 12 segundos, alcanzando una asombrosa mejora del rendimiento general de 5 veces.
Este avance no se logró únicamente a través de la optimización del código, sino que se llevó a cabo una reestructuración completa de la arquitectura del sistema. Los ingenieros rediseñaron el sistema de restricciones y la canalización, tratando cada bloque generado en cada período de tiempo como un objeto en tiempo real que se puede procesar de manera sostenible, lo que mejoró significativamente la eficiencia del sistema.
La idea central de optimización del sistema SP1 es comprimir al máximo el proceso de "ejecución → seguimiento → restricción → prueba". Los materiales del curso relevante de la Universidad de Stanford analizan en profundidad el proceso de prueba de SP1, desde la ejecución de instrucciones RISC-V hasta la recolección de seguimiento, pasando por las restricciones de AIR/polinomios y, finalmente, la generación de pruebas, explicando en detalle la importancia y verificabilidad de cada paso.
Es importante notar que la optimización moderna de zkVM ha superado el ámbito de la optimización de compiladores tradicionales. Las investigaciones más recientes indican que, aunque las optimizaciones estándar de LLVM todavía tienen un efecto significativo en zkVM tipo RISC-V (como RISC Zero y SP1) (mejoras de rendimiento superiores al 40%), este aumento es mucho menor que los efectos de optimización en CPUs tradicionales. La principal razón de este fenómeno es que los cuellos de botella en el rendimiento de zkVM provienen principalmente de su sistema de restricciones único, en lugar de características de hardware como la gestión de caché o la predicción de bifurcaciones en CPUs tradicionales.
Con la continua evolución de la tecnología zkVM, podemos esperar ver más avances revolucionarios en el futuro, lo que traerá nuevas posibilidades para la aplicación y la difusión de la tecnología blockchain.
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.
13 me gusta
Recompensa
13
6
Republicar
Compartir
Comentar
0/400
RugResistant
· 08-29 11:09
Otra vez un alcista que juega con la tecnología. ¿Puede ser más realista?
Ver originalesResponder0
AirdropHarvester
· 08-27 22:41
¡Alcista! ¡Todo listo en doce segundos!
Ver originalesResponder0
PumpingCroissant
· 08-27 22:41
Rendimiento cinco veces Compra compra compra
Ver originalesResponder0
MoonRocketman
· 08-27 22:34
El motor de despegue se ha calentado hasta el 93% y la velocidad de verificación casi atraviesa la atmósfera
En los últimos dos años, los avances en la tecnología zkVM (máquina virtual de conocimiento cero) han sido notables, pasando de la etapa inicial de "poder probar" a la actual de "pruebas en tiempo real", lo que marca un gran salto en este campo.
El sistema SP1 Hypercube de Succinct, lanzado en mayo de este año, ha atraído una amplia atención en la industria. Este sistema rediseña el sistema de pruebas utilizando una innovadora arquitectura de polinomios multilineales, logrando mejoras en términos de latencia y costo en comparación con su predecesor, el SP1 Turbo. Según datos oficiales, hasta el 93% de los bloques de Ethereum pueden completar la prueba en 12 segundos, alcanzando una asombrosa mejora del rendimiento general de 5 veces.
Este avance no se logró únicamente a través de la optimización del código, sino que se llevó a cabo una reestructuración completa de la arquitectura del sistema. Los ingenieros rediseñaron el sistema de restricciones y la canalización, tratando cada bloque generado en cada período de tiempo como un objeto en tiempo real que se puede procesar de manera sostenible, lo que mejoró significativamente la eficiencia del sistema.
La idea central de optimización del sistema SP1 es comprimir al máximo el proceso de "ejecución → seguimiento → restricción → prueba". Los materiales del curso relevante de la Universidad de Stanford analizan en profundidad el proceso de prueba de SP1, desde la ejecución de instrucciones RISC-V hasta la recolección de seguimiento, pasando por las restricciones de AIR/polinomios y, finalmente, la generación de pruebas, explicando en detalle la importancia y verificabilidad de cada paso.
Es importante notar que la optimización moderna de zkVM ha superado el ámbito de la optimización de compiladores tradicionales. Las investigaciones más recientes indican que, aunque las optimizaciones estándar de LLVM todavía tienen un efecto significativo en zkVM tipo RISC-V (como RISC Zero y SP1) (mejoras de rendimiento superiores al 40%), este aumento es mucho menor que los efectos de optimización en CPUs tradicionales. La principal razón de este fenómeno es que los cuellos de botella en el rendimiento de zkVM provienen principalmente de su sistema de restricciones único, en lugar de características de hardware como la gestión de caché o la predicción de bifurcaciones en CPUs tradicionales.
Con la continua evolución de la tecnología zkVM, podemos esperar ver más avances revolucionarios en el futuro, lo que traerá nuevas posibilidades para la aplicación y la difusión de la tecnología blockchain.