ZKsync Airbender 登場:全球最快Código abierto RISC-V ZkVM,單顆 GPU fácil驗證Ethereum Bloquear

ZKsync ha lanzado oficialmente su nuevo zkVM 'Airbender', diseñado específicamente para eficiencia, escalabilidad y Descentralización. Airbender no solo es el zkVM de código abierto RISC-V más rápido hasta la fecha, sino que también supera significativamente el rendimiento de sus competidores, desencadenando una revolución tecnológica en el campo de Cadena de bloques. Ya sea verificando bloques en milisegundos en una sola GPU o mejorando la Descentralización y reduciendo costos, Airbender está remodelando el panorama de aplicaciones de la tecnología zk.

¿Qué es ZKsync Airbender? Una actualización completa de zkVM y pruebas.

Airbender es la última zkVM (Máquina Virtual de Conocimiento Cero) lanzada por ZKsync, que es compatible con el conjunto de instrucciones RISC-V y puede realizar eficientemente Prueba de conocimiento cero en cualquier código. Se combina con el nuevo sistema operativo modular ZKsync OS para proporcionar un entorno de ejecución más potente y capacidades personalizadas para la Red Elástica. El núcleo utiliza la tecnología DEEP STARK optimizada y admite configuraciones de máquinas personalizadas y pruebas recursivas.

Esta estructura permite a los desarrolladores hacer compromisos en diferentes escenarios de aplicación, como aumentar el nivel de descentralización, reducir costos o realizar compresión de pruebas.

Rendimiento explosivo: Airbender tiene actualmente la capacidad de prueba zk más rápida

ZKsync ha realizado múltiples pruebas de rendimiento en Airbender, y los resultados han impactado profundamente en la industria. En comparación con los actuales dos zkVM (RiscZero y SP1 Turbo), Airbender supera significativamente a sus competidores en las mismas condiciones:

H100 GPU 上 base layer 證明速度:21.8 MHz (相比 SP1 Turbo 的 3.45 MHz 與 RiscZero 的 1.1 MHz)

Velocidad de prueba de extremo a extremo: Airbender es 2.5-4 veces más rápido (para SP1 Turbo), 8.5-11 veces más rápido (para RiscZero)

ZKsync  zk-SNARKs證明時間:單顆 GPU 達成次秒級別

Estas pruebas no se limitan solo a GPU de gama alta, Airbender también muestra una eficiencia extremadamente alta en el económico NVIDIA L4, lo que significa que puede implementarse en una variedad de hardware, lo que abre la posibilidad de una prueba de concepto para el público en general.

En 17 segundos, SC: un solo GPU logra una prueba casi instantánea

Después de la integración de Airbender con ZKsync OS, se completó con éxito la prueba de promedio de bloques de Ethereum en un solo H100, con la siguiente velocidad:

Solo 17 segundos (sin incluir la recursividad)

Proceso completo (incluyendo recursividad) alrededor de 35 segundos

En comparación con su competidor, el SP1 Hypercube, que utiliza entre 50 y 160 GPU NVIDIA 4090 para completar la misma tarea en 12 segundos, el Airbender solo necesita un H100 para lograr resultados similares, lo que ahorra costos de hardware y reduce significativamente la barrera de entrada.

Es importante tener en cuenta que debido a las diferentes implementaciones y modelos de almacenamiento, los resultados de la comparación deben ser considerados con cautela. Sin embargo, es precisamente por esta razón que ZKsync enfatiza la integración de toda la estructura (desde zkVM hasta el motor de prueba) como la clave para lograr un rendimiento eficiente.

ZKsync cambia por completo a Airbender, reduciendo el costo a $0.0001 por transacción

ZKsync ha anunciado que todas las nuevas cadenas utilizarán Airbender como prueba por defecto, reemplazando gradualmente al actual probador Boojum. Esta actualización no solo trae consigo una mejora significativa en la velocidad, sino que también reduce el costo promedio de la prueba de cada transacción a solo $0.0001, lo que es más de 10 veces menor que el costo de Boojum.

Incluyendo cadenas como Abstract, Sophon, GRVT, Lens, Memento, etc., podrán migrar sin problemas a Airbender y disfrutar de inmediato de estos beneficios de rendimiento.

Código abierto, aplicaciones universales: no solo disponible para ZKsync

Airbender adopta un diseño de código abierto, zkVM basado en la arquitectura RISC-V no solo es adecuado para ZKsync, sino que también puede soportar las demandas de prueba de cualquier aplicación. Su diseño permite que los desarrolladores puedan ejecutarlo en hardware de consumo general, allanando el camino para nuevas aplicaciones como inteligencia artificial descentralizada, juegos de cadena de bloques, verificación de identidad, etc.

Los desarrolladores ya pueden experimentar Airbender en la red de prueba de ZKsync OS y comenzar a desarrollar. Aunque actualmente se encuentra en versión beta, el equipo de ZKsync ha estado trabajando en la optimización de la experiencia de los desarrolladores y sigue lanzando actualizaciones.

Desglose detallado de la arquitectura técnica y el modelo de ejecución: ¿Cómo lograr una prueba ultrarrápida?

Airbender utiliza un proceso de prueba de cinco capas diseñado específicamente para flexibilidad y alta capacidad de procesamiento:

Compromiso de testigo: Generar LDE y compromiso de trazado

Lookup & Memory Argument:使用查找表驗證記憶體操作

Polinomio del Cociente STARK: convertir las restricciones en polinomios

Construcción polinómica PROFUNDA: Reducción del tamaño de la prueba a través de FRI en lotes

FRI IOPP: Generar pruebas de cercanía final

En cuanto al modelo de ejecución, Airbender utiliza el conjunto de instrucciones RISC-V 32I+M y ejecuta a través de un modo fetch-decode-execute segmentado. Puede lograr una expansión horizontal a través del modo de cosido de múltiples segmentos, y es compatible con el modo Kernel para la lógica OS a nivel de ZKsync.

Aspectos destacados del diseño: desde el soporte de hardware hasta la personalización de instrucciones, todo se puede ajustar

Modo híbrido CPU/GPU: puede utilizar solo CPU, una GPU o varias GPU

RAM Registro: todos los registros son gestionados a través de la gestión de memoria, lo que simplifica el diseño del circuito

Cálculos de campo de números primos Mersenne31: Procesamiento aritmético para optimizar el rendimiento de STARK

Precompiles personalizados admiten Blake2s, Blake3, operaciones con enteros grandes

Esta actualización también ha sido respaldada por Vitalik Buterin, el fundador de Ethereum:

Este artículo presenta ZKsync Airbender: el zkVM RISC-V de Código abierto más rápido del mundo, que permite verificar fácilmente Ethereum con una sola GPU, apareciendo por primera vez en ChainNews ABMedia.

Ver originales
El contenido es solo de referencia, no una solicitud u oferta. No se proporciona asesoramiento fiscal, legal ni de inversión. Consulte el Descargo de responsabilidad para obtener más información sobre los riesgos.
  • Recompensa
  • Comentar
  • Compartir
Comentar
0/400
Sin comentarios
  • Anclado
Opere con criptomonedas en cualquier momento y lugar
qrCode
Escanee para descargar la aplicación Gate
Comunidad
Español
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)