Delphi Digital : explorer les prouveurs partagés, un nouveau territoire de modularité

Original par Delphi Digital

Compilation originale : Luffy, Foresight News

La théorie modulaire est généralement considérée comme composée de quatre couches : DA (disponibilité des données), consensus, exécution et règlement. Cependant, une nouvelle couche, le prouveur partagé, peut être intégrée dans la théorie modulaire.

Serait-ce la pièce manquante d’une validation efficace et évolutive ? Les marchés des prouveurs partagés, de l’agrégation de preuves et des prouveurs modifient le paysage des zk-SNARKs. Vous pouvez apprendre tout ce que vous devez savoir dans notre dernier rapport.

Vous trouverez ci-dessous un résumé 👇 des principaux points à retenir du rapport

Bref examen de zk Rollup

La solution zk Rollup peut faire évoluer la taille des transactions d’Ethereum, en déplaçant les transactions off-chain pour un traitement plus rapide, tout en permettant un déterminisme dur au-dessus d’Ethereum et en vérifiant avec des preuves zk (zk-SNARKs).

ZK Proof : vérification rapide, génération lente

Alors que les preuves zk sont puissantes en termes de confidentialité et de mise à l’échelle, la création de preuves sur Ethereum peut être coûteuse et lente.

Le coût élevé de l’attestation limite zk apps. De nouvelles approches telles que l’agrégation d’attestations et les marchés de prouveurs visent à remédier à ces limitations.

Protender Supply Chain

Les séquenceurs partagés fournissent un débit élevé pour les transactions sur la Blockchain. Cependant, ils ne prouvent rien en réalité. Ils peuvent être intégrés à un réseau d’étalons partagés à l’avenir pour déléguer cette tâche.

Aujourd’hui, les rollups sont confrontés au défi des soumissions zk-SNARKs distinctes et coûteuses.

Le Proof Network fournit une solution : un marché unifié où diverses applications ZK peuvent externaliser la génération de preuves à des fournisseurs de services d’attestation dédiés, augmentant ainsi les coûts et l’efficacité.

Les supports partagés peuvent grandement améliorer la situation pour les applications qui nécessitent un support à l’épreuve zk, mais qui ne disposent pas de ressources internes de développement de zkVM ou de circuit.

Actuellement, les cumuls soumettent des preuves zk distinctes, ce qui entraîne des coûts de gas élevés pendant les heures de pointe.

L’objectif du réseau de prouveurs est maintenant d’externaliser la génération de preuves à des fournisseurs de matériel spécialisés dans l’ordre pour augmenter l’efficacité.

Dans un réseau avec les rollups les plus longs et connecté à un réseau de prouveurs, le cycle de vie des transactions fonctionne comme suit :

• Rollup envoie une demande d’attestation.
• Le mécanisme de matching sélectionne un prouveur.
• Le certificateur satisfait à la demande.
• Preuves agrégées.
• Le prouveur soumet l’attestation finale à L1 pour vérification.

Allouer le coût de la validation

La singularité de la preuve fait référence à une variété de techniques conçues pour Goutte off-chain proof of validation les coûts.

L’agrégation de preuves est l’une de ces techniques, qui compresse les preuves valides les plus longues en une seule preuve qui vérifie toutes les preuves.

Cette « validation par lots » peut Goutte gas coûts par rapport à la vérification de chaque épreuve individuellement.

Coût de l’étalon d’application zk

Le coût élevé de la vérification et le temps de preuve des applications ZK sont en fin de compte répercutés sur l’utilisateur.

Au cours des dernières années, les applications zk (principalement des Rollups) ont dépensé près de 30 millions de dollars en gas pour valider et publier des preuves sur la chaîne off-chain.

Profil de protocole d’agrégation de preuves

Nebra UPA

Nebra UPA permet aux applications zk de regrouper des preuves longues pour réduire le coût de la goutte de vérification, et ils prétendent prendre en support environ 10 preuves par seconde sur Testnet. Leurs certificateurs sont actuellement centralisés, mais prévoient de les mettre en œuvre plus tard sans avoir besoin d’une preuve d’autorisation.

Ils ont un mécanisme d’inclusion forcée similaire aux capsules de sauvetage L2 existantes. Si le prouveur examine ou met en latence la preuve, l’application zk peut contourner le prouveur et appliquer le règlement de la preuve sur L1.

Calque aligné

Aligned Layer est la couche de vérification zk universelle d’Ethereum sécurisée par EigenLayer AVS. Restakers fournit aux utilisateurs une finalité douce grâce à l’agrégation de preuves et à des commits Ethereum uniques. Le DA par défaut est EigenDA, mais vous pouvez également choisir d’autres couches DA, telles que Celestia ou Avail.

AggLayer

AggLayer de Polygon est une infrastructure neutre pour une interopérabilité cross-chain sécurisée. Il vise à unifier les réseaux de Blockchain indépendants sous une seule cross-chain bridge, facilitant l’interopérabilité sans compromettre la souveraineté Blockchain.

Le système est conçu pour agréger les preuves dans tous les rollups connectés, puis soumettre une preuve unique qui contient l’arbre de Merkle pour chaque épreuve individuelle soumise.

• Il ne nécessite pas de machine virtuelle ou d’environnement d’exécution spécifique
• Blockchain est libre de choisir ses propres gas Jeton
• Il n’a pas besoin d’être soumis à la co-gouvernance.

Sous le capot, l’infrastructure qui rassemble tout cela est le LxLy bridges cross-chain, qui standardise un protocole de messagerie cross-chain commun afin que les Rollups puissent communiquer entre eux et avec Ethereum tout en conservant leur souveraineté.

Une brève explication 👇 du fonctionnement de LxLy

• Chaque chaîne suit les transferts de retrait dans un arbre de Merkle (arbre de sortie).
• Toutes les arborescences de sortie sont fusionnées dans une arborescence de sortie globale, qui est partagée cross-chain
• Mise à jour des arborescences locales et globales pour permettre la validation et le calcul des prélèvements nets.

De plus, Agglayer dispose d’un cross-chain bridge partagé entre les rollups connectés, ce qui simplifie le flux d’actifs entre L1 et L2. Les actifs sont garantis dans un contrat L1 sans enveloppement ni verrouillage/minting.

Traditionnellement, les frameworks s’appuyaient sur un seul prouveur interne, risquant d’entraîner des problèmes de censure et de vivacité. Un réseau de prouveurs peut commencer de manière centralisée et progressivement la décentralisation au fil du temps.

La décentralisation du marché des étalons est encore une question ouverte, mais certaines approches sont à l’étude :

• Concours de preuve : Le prouveur le plus rapide gagne, ce qui améliore l’efficacité mais gaspille le calcul (coûts répercutés sur les utilisateurs).
• Preuve Mining : Comme pour PoW Mining, des nombres aléatoires sont utilisés pour éviter que le gagnant ne rafle tout (le gaspillage informatique existe toujours). L’accélération matérielle des ASIC SNARK devrait Goutte les coûts.