jakiro
Auteur: Miles Source: X,@MileS082510
Hier, j’ai discuté du problème de l’accélération ZK avec les fabricants de puces ZK en Chine.À l’heure actuelle, L2 basé sur ZK n’a besoin que de centaines de machines GPU pour maintenir les affaires quotidiennes.Alors, où est le besoin d’accélération maintenant?Quelles parties valent l’accélération?Le goulot d’étranglement de la piste ZK est-il prouvé ou vérifié?Quel impact ces problèmes ont sur l’écologie?
Sur la base de ce tweet, je veux partager une partie de ma propre compréhension, bienvenue pour corriger et discuter!
La technologie ZK passée
Les premières solutions ZK étaient principalement basées sur le développement de circuits.Les développeurs doivent utiliser des langues spécifiques pour construire des circuits, ce qui est à la fois compliqué et coûteux.@Starkwareltd mène dans ce domaine.Cependant, les limites de cette méthode sont qu’elle ne peut que résumer la preuve frappante d’un système ou d’une machine de certificat unique.
Technologie ZK actuelle
Maintenant, avec l’émergence du général ZKVM, les programmeurs n’ont pas besoin d’apprendre un nouveau langage de circuit et n’ont besoin que d’écrire le code de rouille pour se développer et appliquer.Les représentants de ce domaine incluent @Risczero, @ SuccestLabs’s SP1, @NexusLabshQ et @lita_xyz et Jolt de @ a16zcrypto.
Bien qu’il existe de nombreux projets ZKVM, je pense que tous les systèmes d’agrégation de preuve à l’avenir s’appuieront sur RISC-V ZKVMS ou ZKVMS à base de rouille.En utilisant RISC-V pour prouver que nous pouvons facilement fusionner différents systèmes de certification pour simplifier le processus de vérification complexe.
Questions et défis
Le coût de la vérification sur Ethereum est très élevé et ne prend pas en charge une grande capacité.Par exemple, un certificat de 1 Go est irréaliste pour vérifier directement sur Ethereum.Si vous exécutez un RALUP ZK, le coût annuel peut atteindre des millions de dollars.
De plus, bien que @alignedlayer puisse vérifier 2 500 hachages par seconde, Ethereum ne peut pas gérer une si grande capacité.
Solution
Il existe deux méthodes sur Ethereum pour obtenir une vérification rapide et faible des coûts:
-
Preuve: Un moyen d’améliorer l’efficacité de vérification.
-
Couche de vérification ZK: Réalisez les couches de vérification ZK à faible coût et évolutives sur @EigenLayer, qui est l’approche actuelle de @Alignedlayer.
Discussion et perspective
En ce qui concerne le goulot d’étranglement de la piste ZK, @ozhar (de @zksync) estime que seulement 5% du coût est lié à la vérification, et 95% est lié au coût matériel de la production de preuve.@HesLinkim contient différentes vues de @gevulot_network, il pense que le vrai goulot d’étranglement est de prouver la génération et le matériel.
En fait, le matériel ZK et les zones de génération de preuve se développent également rapidement, tels que @Cysic_xyz, @ingo_zk et @laggegedev et d’autres parties de projet font activement la promotion des technologies connexes.
