jakiro
Auteur: Donovan Choy, Blockworks;
Tout commence par Ethereum.L1 est trop lent.Chaque nœud doit réexécuter les transactions dans le bloc de manière redondante pour garantir la validité, ce qui limite l’évolutivité.
D’ici 2020, la communauté Ethereum s’unira autour des rouleaux comme solution de mise à l’échelle.Le billet de blog Landmark de Vitalik sur Rollups en 2021 explique à quel point Ethereum, les rouleaux d’optimistes et ZK sont optimistes.
ZK Rollups présente des avantages techniques dans la mise à l’échelle, mais la technologie est encore trop chère et loin derrière (plus à ce sujet plus tard).
Par conséquent, les Rollups optimistes ont d’abord fait irruption sur le marché.Les rouleaux optimistes supposent que toutes les transactions sont valables jusqu’à ce que quelqu’un le mette à l’épreuve avec une épreuve de fraude pendant une période de défi de sept jours.
Les rouleaux optimistes sont valables, mais ils ont des coûts cachés.La période de défi signifie que les utilisateurs ont besoin d’une période de transaction plus longue avant de retirer des fonds.Le verrouillage de la liquidité signifie l’efficacité du capital et une expérience utilisateur généralement médiocre, en particulier en termes d’interopérabilité de la chaîne.
Pendant ce temps, ZK rattrape son retard.À l’ETHCC 2022, Polygon, Zksync et Scroll ont tous annoncé ZKEVM, qui permet aux développeurs de Solidity d’écrire du code et de prouver l’exécution des EVM – permettant efficacement à Ethereum de tirer parti de la technologie de connaissances zéro.
D’ici 2023, les rouleaux ZK commencent à vraiment attirer l’attention.
Pourquoi la preuve ZK est-elle meilleure qu’une épreuve de fraude optimiste?Autrement dit, parce que ZK s’avère beaucoup plus petit (~ 1-10 Ko) par rapport aux données de transaction d’origine (taille des mégaoctets).
En éprouvant les transactions Ethereum à l’aide du cryptage ZK, ces preuves hautement compressées signifient des coûts de disponibilité des données plus bas et une meilleure évolutivité.
Bien que ZK décolle, le coût de la génération de preuves est toujours élevé.Selon Zkstats.io, le coût moyen de la génération d’épreuves ZK en décembre 2023 est de 80,21 $.
Avance rapide jusqu’en 2025.Les frais de preuve sont tombés à 1,3 $ par preuve, soit une augmentation d’environ 98,4%.
Quels changements ont été apportés?
maintenant,ZK Rollup Chaque partie centrale de la pile est décomposée.
Tout d’abord, ZKVM a été publié.Ces machines virtuelles dédiées accélèrent l’expérience de développement ZK et rendent la preuve d’efficacité plus efficace.Avant que ZKVM ne soit émergé, les développeurs devaient écrire des « circuits » mathématiques complexes pour prouver l’exécution de l’EVM.
Aujourd’hui, les ZKVM tels que SP1, RISC Zero, Nexus et OpenVM permettent efficacement à tous les développeurs (C ++, Rust) qui n’ont pas l’expertise dans le cryptage ZK pour démocratiser le développement du ZK.Dans le passé, ZKEVM n’a activé Solidity Development uniquement sur les rouleaux ZK.Considérez ZKVM comme un concept plus général que ZKEVM.
Deuxièmement, le coût de la génération d’épreuves est en baisse en raison de la concurrence du marché.Aujourd’hui, Risc Zero, Cysic, LaGrange et Succincy exploitent de nombreux marchés compétitifs.Certains sont toujours dans le réseau de tests et certains sont déjà en service.
ZK L2 se tourne également vers la technologie d’agrégation de preuve pour amortir les coûts de vérification.Il fonctionne à peu près en lassant plusieurs preuves en une preuve, ce qui rend la preuve finale plus rapidement.
Ces marchés ne nécessitent également aucune licence, ce qui signifie que toute personne disposant d’un appareil GPU peut s’inscrire, émettre une marge et générer des certificats ZK.Auparavant, ZK Rollups utilisait des « provers centralisés », ce qui signifiait qu’ils ont loué le matériel GPU / FPGA de Google ou d’Amazon.
Des systèmes de meilleurs preuves sont également en cours de lancement.Ces systèmes de preuve (par exemple Groth16, Halo2-KZG, Stark, Plonk, Expander) définissent algorithmiquement les règles pour créer et vérifier les preuves ZK.Ils s’améliorent, ce qui signifie que les preuves ZK deviennent plus petites et plus rapides et plus rapides.Cela signifie à son tour des améliorations des performances ZKVM.
Enfin, le coprocesseur ZK est construit au-dessus de ZKVM.Ces choses permettent essentiellement des applications en chaîne qui n’existent pas dans l’environnement d’exécution ZK pour exploiter le miracle de la technologie ZK.La façon dont il le fait consiste à déplacer le calcul hors chaîne, et ainsi à exécuter de manière asynchrone avec l’exécution de la blockchain.Cela permet à l’application de calculer les statistiques complexes hors chaîne, de le prouver avec ZK, puis de publier la preuve sur la chaîne.
Des applications comme Frax, Azuki, Etherfi et Gearbox utilisent le coprocesseur ZK de Lagrange pour contourner les restrictions Ethereum L1.
Alors tu l’obtiens.C’est pourquoi ZK est l’objectif ultime.
