ZKsync lance officiellement le tout nouveau zkVM "Airbender", conçu pour des performances élevées, une évolutivité et une décentralisation. Il s'agit d'une preuve de connaissance nulle Zero Knowledge Proof. Airbender n'est pas seulement le zkVM RISC-V Open Source le plus rapide, mais il offre des performances plusieurs fois supérieures à celles de ses concurrents, révolutionnant ainsi la technologie dans le domaine de la blockchain. Qu'il s'agisse de la vérification Bloc à la milliseconde sur un seul GPU, ou des économies de coûts et de l'amélioration du degré de décentralisation, Airbender redéfinit l'application de la technologie zk.
Qu'est-ce que ZKsync Airbender? Une mise à niveau complète de zkVM et de la preuve
Airbender est le dernier zkVM (Zero-Knowledge Virtual Machine) lancé par ZKsync, prenant en charge l'ensemble d'instructions RISC-V et capable de réaliser des preuves de connaissance nulle efficaces pour n'importe quel code. Il est associé au tout nouveau système d'exploitation modulaire ZKsync OS, offrant un environnement d'exécution plus puissant et des capacités de personnalisation accrues pour le réseau élastique. Il est basé sur la technologie optimisée DEEP STARK et prend en charge la configuration de machines personnalisées et les preuves récursives.
Cette structure permet aux développeurs de faire des compromis dans différents scénarios d'application, tels que l'augmentation du degré de Décentralisation, la réduction des coûts ou la compression des preuves.
Explosion de performance : Airbender a actuellement la capacité de preuve zk la plus rapide.
ZKsync a effectué de nombreux tests de performance sur Airbender, ce qui a surpris l'industrie. Comparé aux deux principaux zkVM actuels (RiscZero et SP1 Turbo), Airbender surpasse largement ses concurrents dans des conditions similaires :
Vitesse de preuve de bout en bout : Airbender est 2,5 à 4 fois plus rapide (par rapport à SP1 Turbo), 8,5 à 11 fois plus rapide (par rapport à RiscZero)
zk-SNARKs Bloc证明时间：单颗 GPU 达成次秒级别
Ces tests ne se limitent pas seulement aux GPU haut de gamme, Airbender montre également une efficacité extrêmement élevée sur le NVIDIA L4 économique, ce qui signifie qu'il peut être déployé sur une variété de matériels, ouvrant la possibilité de la preuve pour tous.
17 secondes pour Ethereum Bloc : une seule GPU réalise une preuve quasi-instantanée
Après l'intégration d'Airbender avec ZKsync OS, la preuve moyenne de Bloc pour Ethereum a été réussie sur un seul H100, avec la vitesse suivante :
Seulement 17 secondes (sans récursion)
Le processus complet (y compris la récursivité) prend environ 35 secondes
Comparé à son concurrent SP1 Hypercube qui utilise de 50 à 160 GPU NVIDIA 4090 pour accomplir la même tâche en 12 secondes, Airbender n'a besoin que d'un seul H100 pour obtenir des résultats similaires, ce qui permet d'économiser considérablement sur les coûts matériels tout en réduisant considérablement les barrières à l'entrée.
Il est important de noter que les résultats de la comparaison doivent être considérés avec prudence en raison des différentes environnements d'exécution et des modèles de stockage utilisés. Cependant, c'est précisément pour cette raison que ZKsync met l'accent sur l'intégration de l'ensemble de l'architecture (du zkVM au moteur de preuve) comme étant la clé de l'efficacité.
ZKsync a entièrement migré vers Airbender, réduisant les coûts à $0.0001 par transaction
ZKsync a annoncé que toutes les nouvelles chaînes adopteront Airbender comme preuve par défaut, remplaçant progressivement l'actuel prouveur Boojum. Cette mise à niveau non seulement apporte une amélioration significative de la vitesse, mais réduit également le coût moyen de la preuve pour chaque transaction à seulement 0,0001 $, soit plus de 10 fois moins cher que Boojum.
Les chaînes telles que Abstract, Sophon, GRVT, Lens, Memento pourront migrer sans heurt vers Airbender et profiter immédiatement de ces avantages de performance.
Open Source, Applications universelles : pas seulement ZKsync disponible
Airbender adopte une conception open source, le zkVM basé sur l'architecture RISC-V est non seulement applicable à ZKsync, mais peut également prendre en charge les besoins de preuve pour toute application. Sa conception permet aux développeurs de s'exécuter sur du matériel grand public, ouvrant la voie à une nouvelle génération d'applications telles que l'IA décentralisée, les jeux Blockchain, l'authentification d'identité, etc.
Les développeurs peuvent désormais tester Airbender sur le réseau de test ZKsync OS et commencer à développer. Bien que ce soit toujours une version bêta, l'équipe ZKsync travaille à améliorer l'expérience des développeurs et publie régulièrement des mises à jour.
Explication détaillée de l'architecture technique et du modèle d'exécution : comment parvenir à une preuve ultra-rapide ?
Airbender adopte un processus de preuve en cinq phases, conçu spécifiquement pour la flexibilité et le débit élevé :
Engagement du témoin：générer LDE et l'engagement de traçage
Lookup & Memory Argument：utiliser une table de recherche pour valider les opérations de mémoire
Polynôme de quotient STARK : convertir les contraintes en polynômes
Construction polynomiale profonde : réduction de la taille de la preuve en masse via FRI
FRI IOPP: Générer une preuve de proximité finale
En termes de modèle d'exécution, Airbender utilise l'ensemble d'instructions RISC-V 32I+M et fonctionne en mode fetch-décodage-exécution segmenté. Il peut être étendu horizontalement via un mode d'assemblage multi-étapes, prenant en charge le mode Kernel pour la logique de niveau système ZKsync OS.
Points forts du design : ajustable du support matériel aux instructions personnalisées
Mode hybride CPU/GPU : peut utiliser un CPU pur, un seul GPU ou plusieurs GPU
Registre RAM : tous les registres sont gérés par la mémoire pour simplifier la conception des circuits
Calcul en champ de nombres premiers Mersenne31 : traitement arithmétique optimisé pour améliorer les performances de STARK
Precompiles personnalisés pris en charge pour Blake2s, Blake3, calculs sur grands entiers
Cette mise à jour a également reçu l'approbation du fondateur d'Ethereum, Vitalik Buterin :
Cet article présente ZKsync Airbender : le zkVM RISC-V Open Source le plus rapide au monde, permettant de vérifier facilement Ethereum Bloc avec un seul GPU, apparu pour la première fois dans ABMedia de Chain News.
Le contenu est fourni à titre de référence uniquement, il ne s'agit pas d'une sollicitation ou d'une offre. Aucun conseil en investissement, fiscalité ou juridique n'est fourni. Consultez l'Avertissement pour plus de détails sur les risques.
ZKsync Airbender 登場：全球最快Open Source RISC-V ZkVM，單顆 GPU facile驗證EthereumBloc
ZKsync lance officiellement le tout nouveau zkVM "Airbender", conçu pour des performances élevées, une évolutivité et une décentralisation. Il s'agit d'une preuve de connaissance nulle Zero Knowledge Proof. Airbender n'est pas seulement le zkVM RISC-V Open Source le plus rapide, mais il offre des performances plusieurs fois supérieures à celles de ses concurrents, révolutionnant ainsi la technologie dans le domaine de la blockchain. Qu'il s'agisse de la vérification Bloc à la milliseconde sur un seul GPU, ou des économies de coûts et de l'amélioration du degré de décentralisation, Airbender redéfinit l'application de la technologie zk.
Qu'est-ce que ZKsync Airbender? Une mise à niveau complète de zkVM et de la preuve
Airbender est le dernier zkVM (Zero-Knowledge Virtual Machine) lancé par ZKsync, prenant en charge l'ensemble d'instructions RISC-V et capable de réaliser des preuves de connaissance nulle efficaces pour n'importe quel code. Il est associé au tout nouveau système d'exploitation modulaire ZKsync OS, offrant un environnement d'exécution plus puissant et des capacités de personnalisation accrues pour le réseau élastique. Il est basé sur la technologie optimisée DEEP STARK et prend en charge la configuration de machines personnalisées et les preuves récursives.
Cette structure permet aux développeurs de faire des compromis dans différents scénarios d'application, tels que l'augmentation du degré de Décentralisation, la réduction des coûts ou la compression des preuves.
Explosion de performance : Airbender a actuellement la capacité de preuve zk la plus rapide.
ZKsync a effectué de nombreux tests de performance sur Airbender, ce qui a surpris l'industrie. Comparé aux deux principaux zkVM actuels (RiscZero et SP1 Turbo), Airbender surpasse largement ses concurrents dans des conditions similaires :
H100 GPU 上 base layer 證明速度：21.8 MHz （相比 SP1 Turbo 的 3.45 MHz 與 RiscZero 的 1.1 MHz）
Vitesse de preuve de bout en bout : Airbender est 2,5 à 4 fois plus rapide (par rapport à SP1 Turbo), 8,5 à 11 fois plus rapide (par rapport à RiscZero)
zk-SNARKs Bloc证明时间：单颗 GPU 达成次秒级别
Ces tests ne se limitent pas seulement aux GPU haut de gamme, Airbender montre également une efficacité extrêmement élevée sur le NVIDIA L4 économique, ce qui signifie qu'il peut être déployé sur une variété de matériels, ouvrant la possibilité de la preuve pour tous.
17 secondes pour Ethereum Bloc : une seule GPU réalise une preuve quasi-instantanée
Après l'intégration d'Airbender avec ZKsync OS, la preuve moyenne de Bloc pour Ethereum a été réussie sur un seul H100, avec la vitesse suivante :
Seulement 17 secondes (sans récursion)
Le processus complet (y compris la récursivité) prend environ 35 secondes
Comparé à son concurrent SP1 Hypercube qui utilise de 50 à 160 GPU NVIDIA 4090 pour accomplir la même tâche en 12 secondes, Airbender n'a besoin que d'un seul H100 pour obtenir des résultats similaires, ce qui permet d'économiser considérablement sur les coûts matériels tout en réduisant considérablement les barrières à l'entrée.
Il est important de noter que les résultats de la comparaison doivent être considérés avec prudence en raison des différentes environnements d'exécution et des modèles de stockage utilisés. Cependant, c'est précisément pour cette raison que ZKsync met l'accent sur l'intégration de l'ensemble de l'architecture (du zkVM au moteur de preuve) comme étant la clé de l'efficacité.
ZKsync a entièrement migré vers Airbender, réduisant les coûts à $0.0001 par transaction
ZKsync a annoncé que toutes les nouvelles chaînes adopteront Airbender comme preuve par défaut, remplaçant progressivement l'actuel prouveur Boojum. Cette mise à niveau non seulement apporte une amélioration significative de la vitesse, mais réduit également le coût moyen de la preuve pour chaque transaction à seulement 0,0001 $, soit plus de 10 fois moins cher que Boojum.
Les chaînes telles que Abstract, Sophon, GRVT, Lens, Memento pourront migrer sans heurt vers Airbender et profiter immédiatement de ces avantages de performance.
Open Source, Applications universelles : pas seulement ZKsync disponible
Airbender adopte une conception open source, le zkVM basé sur l'architecture RISC-V est non seulement applicable à ZKsync, mais peut également prendre en charge les besoins de preuve pour toute application. Sa conception permet aux développeurs de s'exécuter sur du matériel grand public, ouvrant la voie à une nouvelle génération d'applications telles que l'IA décentralisée, les jeux Blockchain, l'authentification d'identité, etc.
Les développeurs peuvent désormais tester Airbender sur le réseau de test ZKsync OS et commencer à développer. Bien que ce soit toujours une version bêta, l'équipe ZKsync travaille à améliorer l'expérience des développeurs et publie régulièrement des mises à jour.
Explication détaillée de l'architecture technique et du modèle d'exécution : comment parvenir à une preuve ultra-rapide ?
Airbender adopte un processus de preuve en cinq phases, conçu spécifiquement pour la flexibilité et le débit élevé :
Engagement du témoin：générer LDE et l'engagement de traçage
Lookup & Memory Argument：utiliser une table de recherche pour valider les opérations de mémoire
Polynôme de quotient STARK : convertir les contraintes en polynômes
Construction polynomiale profonde : réduction de la taille de la preuve en masse via FRI
FRI IOPP: Générer une preuve de proximité finale
En termes de modèle d'exécution, Airbender utilise l'ensemble d'instructions RISC-V 32I+M et fonctionne en mode fetch-décodage-exécution segmenté. Il peut être étendu horizontalement via un mode d'assemblage multi-étapes, prenant en charge le mode Kernel pour la logique de niveau système ZKsync OS.
Points forts du design : ajustable du support matériel aux instructions personnalisées
Mode hybride CPU/GPU : peut utiliser un CPU pur, un seul GPU ou plusieurs GPU
Registre RAM : tous les registres sont gérés par la mémoire pour simplifier la conception des circuits
Calcul en champ de nombres premiers Mersenne31 : traitement arithmétique optimisé pour améliorer les performances de STARK
Precompiles personnalisés pris en charge pour Blake2s, Blake3, calculs sur grands entiers
Cette mise à jour a également reçu l'approbation du fondateur d'Ethereum, Vitalik Buterin :
Cet article présente ZKsync Airbender : le zkVM RISC-V Open Source le plus rapide au monde, permettant de vérifier facilement Ethereum Bloc avec un seul GPU, apparu pour la première fois dans ABMedia de Chain News.