Au cours des deux dernières années, les progrès de la technologie zkVM (machine virtuelle à connaissance nulle) ont été fulgurants, passant du stade initial de "capacité de preuve" à celui de "preuve en temps réel", marquant un bond significatif dans ce domaine.
Le système SP1 Hypercube lancé par Succinct en mai de cette année a suscité un large intérêt dans l'industrie. Ce système a redessiné le système de preuve grâce à une architecture innovante de polynômes multilinéaires, réalisant une augmentation d'un ordre de grandeur en termes de latence et de coûts par rapport à son prédécesseur, le SP1 Turbo. Selon les données officielles, jusqu'à 93 % des blocs Ethereum peuvent être prouvés en 12 secondes, avec une amélioration de performance globale atteignant des niveaux impressionnants de 5 fois.
Cette percée n'a pas été réalisée uniquement grâce à l'optimisation du code, mais par une refonte complète de l'architecture du système. Les ingénieurs ont redessiné le système de contraintes et le pipeline, considérant chaque bloc généré durant une période de temps comme un objet en temps réel pouvant être traité de manière durable, ce qui a considérablement amélioré l'efficacité du système.
L'idée centrale d'optimisation du système SP1 est de compresser le processus "exécution → suivi → contrainte → preuve" à son extrême limite. Les matériaux de cours connexes de l'Université de Stanford analysent en profondeur le processus de preuve de SP1, de l'exécution des instructions RISC-V à la collecte de suivi, puis aux contraintes AIR/polynomiales et enfin à la génération de preuves, en détaillant l'importance de chaque étape et sa vérifiabilité.
Il convient de noter que l'optimisation moderne des zkVM a déjà dépassé le domaine des optimisations des compilateurs traditionnels. Les recherches les plus récentes montrent que, bien que les optimisations standard de LLVM aient encore un effet significatif sur les zkVM de type RISC-V (comme RISC Zero et SP1) avec une amélioration des performances de plus de 40%, cette amélioration est bien inférieure à celle observée sur les CPU traditionnels. La principale raison de ce phénomène réside dans le fait que les goulets d'étranglement de performance des zkVM proviennent principalement de leur système de contraintes spécifique, et non des caractéristiques matérielles telles que la gestion du cache ou la prédiction de branche dans les CPU traditionnels.
Avec l'évolution continue de la technologie zkVM, nous pouvons nous attendre à voir davantage de développements révolutionnaires à l'avenir, ce qui ouvrira de nouvelles possibilités pour l'application et la popularisation de la technologie blockchain.
Cette page peut inclure du contenu de tiers fourni à des fins d'information uniquement. Gate ne garantit ni l'exactitude ni la validité de ces contenus, n’endosse pas les opinions exprimées, et ne fournit aucun conseil financier ou professionnel à travers ces informations. Voir la section Avertissement pour plus de détails.
13 J'aime
Récompense
13
6
Reposter
Partager
Commentaire
0/400
RugResistant
· 08-29 11:09
Encore un expert technique, peut-on être un peu plus réaliste ?
Voir l'originalRépondre0
AirdropHarvester
· 08-27 22:41
Bull ! Fait en douze secondes !
Voir l'originalRépondre0
PumpingCroissant
· 08-27 22:41
Cinq fois la performance, achetez, achetez, achetez
Voir l'originalRépondre0
MoonRocketman
· 08-27 22:34
Le moteur de décollage a été chauffé à 93 % et la vitesse de vérification est presque en train de percer l’atmosphère
Au cours des deux dernières années, les progrès de la technologie zkVM (machine virtuelle à connaissance nulle) ont été fulgurants, passant du stade initial de "capacité de preuve" à celui de "preuve en temps réel", marquant un bond significatif dans ce domaine.
Le système SP1 Hypercube lancé par Succinct en mai de cette année a suscité un large intérêt dans l'industrie. Ce système a redessiné le système de preuve grâce à une architecture innovante de polynômes multilinéaires, réalisant une augmentation d'un ordre de grandeur en termes de latence et de coûts par rapport à son prédécesseur, le SP1 Turbo. Selon les données officielles, jusqu'à 93 % des blocs Ethereum peuvent être prouvés en 12 secondes, avec une amélioration de performance globale atteignant des niveaux impressionnants de 5 fois.
Cette percée n'a pas été réalisée uniquement grâce à l'optimisation du code, mais par une refonte complète de l'architecture du système. Les ingénieurs ont redessiné le système de contraintes et le pipeline, considérant chaque bloc généré durant une période de temps comme un objet en temps réel pouvant être traité de manière durable, ce qui a considérablement amélioré l'efficacité du système.
L'idée centrale d'optimisation du système SP1 est de compresser le processus "exécution → suivi → contrainte → preuve" à son extrême limite. Les matériaux de cours connexes de l'Université de Stanford analysent en profondeur le processus de preuve de SP1, de l'exécution des instructions RISC-V à la collecte de suivi, puis aux contraintes AIR/polynomiales et enfin à la génération de preuves, en détaillant l'importance de chaque étape et sa vérifiabilité.
Il convient de noter que l'optimisation moderne des zkVM a déjà dépassé le domaine des optimisations des compilateurs traditionnels. Les recherches les plus récentes montrent que, bien que les optimisations standard de LLVM aient encore un effet significatif sur les zkVM de type RISC-V (comme RISC Zero et SP1) avec une amélioration des performances de plus de 40%, cette amélioration est bien inférieure à celle observée sur les CPU traditionnels. La principale raison de ce phénomène réside dans le fait que les goulets d'étranglement de performance des zkVM proviennent principalement de leur système de contraintes spécifique, et non des caractéristiques matérielles telles que la gestion du cache ou la prédiction de branche dans les CPU traditionnels.
Avec l'évolution continue de la technologie zkVM, nous pouvons nous attendre à voir davantage de développements révolutionnaires à l'avenir, ce qui ouvrira de nouvelles possibilités pour l'application et la popularisation de la technologie blockchain.