jakiro
Auteur: Xpara, chercheur quatre piliers;
1, Système de preuve etOptimisteprouver
Revenons à la fondation de la blockchain.La blockchain est essentiellement une machine d’état.Il est essentiel de s’assurer que tous les participants parviennent à un consensus sur le statut de partage.Afin de mieux atteindre un consensus et d’éliminer les besoins en fiducie d’une certaine partie, la blockchain se concentre sur la décentralisation.Cependant, cette décentralisation peut restreindre l’évolutivité et rendre difficile pour lui de s’adapter à plus de transactions.Ces problèmes constituent les trois difficultés de la blockchain.
Ethereum, en tant que l’une des premières chaînes de chaînes de contrats intelligentes, a dirigé la création de Rollup.En mode Rollup, il est séparé d’Ethereum, mais il existe toujours un système qui vérifie l’efficacité et punir les logiciels malveillants.Il existe deux méthodes pour établir ce système.Le premier est la méthode optimiste.La deuxième méthode consiste à prouver l’efficacité de ZK.Bien que la chaîne latérale soit un autre choix, je l’exclue, car la chaîne latérale est très faible en fonction de la colonie d’Ethereum.
En raison du processus de mise en œuvre simple, le certificat optimiste (également connu sous le nom de certificat de fraude ou certificat d’erreur) est la principale méthode réalisable pour le règlement des mises à jour de l’état de roulement.
>
1.1Prouver l’état du système:ZketFaire un coup de pouce
À un moment donné, le système de certification ZK occupera rapidement la position dominante, et le système de preuve optimiste perdra son avantage.Les gens attendent généralement le ZK prouvent que le système peut fournir des coûts plus faibles et une certitude finale plus rapide.Ces projets incluent ZKM, Risczero, Succine Labs et Fluent.Bien que ZK Rollup ait des avantages évidents, le défi de développer une version de sécurité avec un coût est énorme.La mise à jour des machines virtuelles telles que EVM a également des défis, car il est difficile de fusionner de nouvelles fonctionnalités sans endommager aucune caractéristique.
En raison de ces défis, le plus courant dans l’écosystème Rollup est le système de certification optimiste, qui explique la plupart des TVL (environ 75% du TVL total de L2).Il n’est pas certain que cette position dominante se poursuive à l’avenir.Cependant, de nombreuses mesures pour optimiser la preuve du système ont fait de grands progrès.
>
1.2 optimisteQuel sera l’avenir du système?
De nombreuses recherches et développement positifs sont en cours.
· Réduire les coûts
· Tri décentralisé, défi et processus de détermination finale
· Réduire la finalité douce et la finalité dure (fin dure)
Ces trois domaines ont montré des efforts majeurs.
Avant de nouvelles recherches, il est nécessaire de bien comprendre les concepts établis et les situations actuelles.Tout d’abord, nous devons examiner le développement et l’évolution de ce domaine, puis étudier le statu quo de la preuve optimiste du projet.
2Ainsi queOptimisteProuver l’histoire du développement du système
Optimiste prouve que le système n’est pas atteint du jour au lendemain.De nombreux chercheurs et développeurs ont travaillé dur pour construire un système d’épreuve de robot pour s’assurer qu’ils peuvent fonctionner de manière transparente dans les opérations réelles.Passons en revue le jalon.
2.1passé————Trace
Optimiste Rollup était à l’origine une solution d’extension de l’extension de la couche 2 d’Ethereum en 2019 par le chercheur d’Ethereum John Adler en 2019.Le concept principal de Rollup optimiste est de transférer l’informatique et le stockage de données du réseau principal Ethereum vers la chaîne L2 indépendante, et en même temps hérite de la garantie de sécurité d’Ethereum.La principale motivation pour développer des rouleaux optimistes est de considérer le problème de la congestion et des frais de transaction élevés sur le réseau principal d’Ethereum.Avec la popularité croissante du protocole Defi et de la NFT, Ethereum est confronté au problème de l’expansion, ce qui entrave l’expérience utilisateur et l’efficacité économique.
Optimiste Rollp est principalement expérimenté et développé par deux équipes d’arbitrum et d’optimisme.Ces Rollup visent à fournir des données de transaction compressées et des racines de sortie sur le réseau principal Ethereum en traitant la transaction sous la chaîne pour fournir une évolutivité à Ethereum.Parce qu’ils ont réduit les coûts pour les utilisateurs et le DAPP, la communauté Ethereum a rapidement adopté ces rollup.
>
La principale caractéristique du Rollup optimiste est qu’ils utilisent la méthode « optimiste » – après une inspection efficace simple de la transaction, ils supposent que toutes les transactions sont par défaut et efficaces, et ils comptent sur le mécanisme de preuve frauduleux. Période (généralement 7 jours) L’efficacité des transactions difficiles à l’intérieur.Si des transactions de fraude sont détectées, la preuve de fraude est re-maintenue la transaction de la bonne manière.Cette méthode optimiste permet à ROLUP optimiste d’atteindre des améliorations d’évolutivité significatives sur le réseau principal Ethereum.
Il y a eu de nombreux défis dans le passé.Initialement, des projets comme Optimism ont utilisé l’EVM (appelé OVM) qu’ils ont modifié par eux-mêmes, ce qui a limité sa compatibilité avec EVM.Ces projets continueront à utiliser des méthodes concentrées pour résoudre le mécanisme de recul et de défi.Cette méthode apporte un solde de sécurité, car la transaction n’est pas une fin immédiate.
2.2statu quo————Progrès continu, mais aussi face aux défis
Le dernier développement du système de preuve optimiste a considérablement amélioré l’efficacité et l’évolutivité de la solution Ethereum L2 (comme l’arbitrum et l’optimisme).En plus de la mise à niveau Dencun d’Ethereum, une autre optimisation du rouleau optimiste contribue également à améliorer l’efficacité.Par exemple, Arbitrum s’est engagé à améliorer son système de certification d’erreur pour assurer l’intégrité et la sécurité des données.
L’optimisme a également fait des progrès substantiels grâce à sa stratégie de superchain.Superchain utilise des solutions personnalisées et Alt DA, la transmission de messages croisés et le tri du tri pour promouvoir l’interopérabilité transparente et l’optimisation de l’évolutivité.
Récemment, l’amélioration de l’écosystème optimiste Rollup a montré la transformation de la certification de fraude non interactive à la certification de fraude interactive.Les preuves interactives incluent un dialogue rond-TRIP pour identifier et corriger efficacement les transactions erronées.Ce changement vise à réduire le coût et la complexité du calcul de la vérification sur la chaîne.
3, Le modèle actuel
>
Jetons un coup d’œil à l’état actuel de Rollup, en nous concentrant sur les projets et le développement de projets exécutés dans le système de preuve optimiste.
À l’heure actuelle, l’arbitrum et l’optimisme sont principalement déterminés à améliorer le système de certification optimiste.D’autres projets, tels que Initia, Dymension et Rollkit, développent leurs propres cadres d’écosystème Rollup.
L’arbitrum et l’optimisme tentent d’améliorer la technologie des preuves frauduleuses, et d’autres projets réalisent également des méthodes intéressantes.Décrivons brièvement leurs activités et progrès actuels.
3.1 Arbitrum————Certification de plusieurs rondesAudacieux
3.1.1 Proof multi-ronde (plusieurs cycles de preuve)
Le système de preuve d’Arbitrum utilise la méthode « Certificat de fraude multi-terrains » pour vérifier la transaction.Ce processus se produit principalement sous la chaîne, et l’état final est enregistré sur la blockchain d’Ethereum pour améliorer la transparence.
La caractéristique principale du système est « arbre d’assertion ».Utilisez ETH pour publier des vérifications obligataires pour faire une déclaration (ou «affirmation») de l’arbitrum.Ces affirmations forment une chaîne et chaque affirmation est basée sur la dernière affirmation.Cependant, lorsqu’une affirmation contradictoire se produit, l’arbre d’affirmation divisera la branche, ce qui indique qu’il peut y avoir une fraude.
La résolution de ces litiges implique une technologie de preuve interactive appelée «dissection».Les vérifications impliquées dans le différend ont systématiquement réduit leurs différences jusqu’à ce qu’il ne reste qu’une seule opération.L’opération s’exécute ensuite sur l’Ethereum L1 pour déterminer son efficacité.
Les étapes spécifiques sont les suivantes:
· Deux vérifications sont différentes de l’état d’Arbitrum.
· Ils ont progressivement réduit leurs différends à une seule étape de calcul.
· Ensuite, exécutez cette étape sur Ethereum L1 pour vérifier la vérification de quelle vérification est correcte.
La méthode d’Arbitrum est connue pour son efficacité.Grâce au calcul de l’inspection contestée et de l’inspection, il évite le processus de coût plus élevé apporté par l’ensemble de la transaction sur Ethereum. sur la chaîne.
3.1.2 Arbitrum Bold
>
BOLD (retard dans la liquidité limite) est une nouvelle solution controversée adaptée au camarade optimiste sur la chaîne d’arbitrum, qui vise à favoriser la vérification sans autorisation.Ce mécanisme est résolu en garantissant le différend à la fenêtre temporelle prévue, réduisant ainsi les risques retardés liés à l’attaque.
Bold a plusieurs caractéristiques clés et est une partie importante de ses fonctions.Tout d’abord, il introduit la vérification sans autorisation, permettant à une partie honnête de vérifier et lie ses fonds à publier la bonne affirmation de l’État L2.Cette fonctionnalité permet aux authentificateurs honnêtes de défier et de gagner la controverse avec les participants malveillants.Deuxièmement, Bold garantit que le différend sera résolu dans une fenêtre de temps fixe.De plus, la plus longue période de temps pour résoudre le différend comprendra jusqu’à deux défis et la limite de largeur de deux jours que le Conseil de sécurité peut intervenir.Enfin, Bold prend en charge l’arbitrum dans la phase de rollup de l’étape 2 pour s’assurer que quiconque peut vérifier le statut L2 et soumettre une fraude à Ethereum, ce qui améliore les caractéristiques et la sécurité décentralisées de la plate-forme.
Il est très important que Bold préconise la participation sans autorisation et encourage une partie honnête à participer au processus de vérification.Cette tolérance vise à cultiver une plus grande élasticité dans le réseau grâce à la participation diversifiée et à la réduction des points de défaillance centrale.À l’heure actuelle, Bold est au stade de la version d’Alpha et déployé sur le réseau de test public.Il a également été audité deux fois.
3.2 Optimisme————Preuve d’erreurMachine virtuelle,,Canon
>
Le système d’erreur d’erreur dans OP-Stack vise à contester et à réduire les activités malveillantes dans le réseau.L’erreur à venir prouve que la machine virtuelle sera une amélioration clé.Le système se compose de trois pièces principales: l’erreur prouve (FPP), l’erreur prouvait la machine virtuelle (FPVM) et les protocoles de jeu controversés.FPP vérifie la conversion de l’état de Rollup pour vérifier la sortie L2 (entrée L1) et organiser la controverse de la sortie L1.Cette architecture modulaire permet le développement et le déploiement indépendants de systèmes à preuves multiples et de jeux controversés uniques, ce qui améliore considérablement la flexibilité et la sécurité du système.
Le FPVM est une unité minimale et combinée dans cette architecture.Les protocoles de jeu controversés coordonnent le mécanisme de défi par une conversion d’état équivalente pour réduire le différend en une seule vérification de l’instruction, ce qui permet des preuves efficaces sur L1 EVM.Le système promeut un multi-étanche de l’avenir, comme la certification ZK et le système d’épreuve d’agrégation.
3.3 Initia– ENSHRIND OP-Stack,,Opinion
>
Initia est une blockchain Comsos L1, qui construit un écosystème de rouleau unifié et entrelacé.Initia est très similaire à l’écosystème Rollup dans Ethereum, mais il est conçu pour le rollup de bas en haut.L’authentification de l’Initia L1 exécute un trieur à Rollup, et la colonie basée sur des preuves optimistes est intégrée dans la blockchain L1.Voyons comment ces rouleaux fonctionnent.
La pile d’opinion est un cadre visant à démarrer le Minia L2 basé sur la blockchain Initia L1.La pile d’opinion est spécialement construite par Cosmossdk.En utilisant le modèle de gouvernance Initia L1, il gère effectivement les litiges en matière de fraude pour assurer une vérification fiable des transactions et un règlement des différends.Tout comme le système de défi de Bedrol, les challengers autorisés peuvent supprimer la production insatisfaisante.De plus, grâce à la proposition L1, les solutiers de sortie peuvent être modifiés.
Les deux principaux modes principaux de l’opinion de l’ophost et d’Opchild:
Le module Ophost est conçu pour l’opération L1 dans l’écosystème Initi, en utilisant la fonction SDK COSMOS.Il comprend divers types de messages et méthodes de gestionnaire RPC pour promouvoir les activités de base telles que la soumission par lots, la création de ponts, la proposition de données de sortie et la suppression de sortie.
· Le module Opchild se concentre sur les opérations L2, fournissant des mécanismes qui prennent en charge le transfert de jetons et la gestion des pools de coûts.Il comprend également des types de messages spécifiques et un gestionnaire de RPC, qui est utilisé pour exécuter des messages, déterminer le stockage des jetons et démarrer les jetons de L2 à L1 pour garantir que la fonction L2 améliorée est obtenue dans l’architecture Initia.
3.4 Taiko————Système multiple
>
Taiko est un rouleau optimiste par défaut, en utilisant un système multi-certification.Le système combine la méthode optimiste et l’utilisation de la certification ZK.
Ce processus commence par le proposant.Ces blocs proposés sont ajoutés au contrat L1 sans aucune preuve de validité.Ensuite, Prover a la possibilité de remettre en question l’efficacité du bloc proposé en fournissant un lien, ce qui nécessite des jetons Taiko promis.Si un bloc n’est pas contesté pendant la période de défi, il sera considéré comme valide et est finalement déterminé sur L1 et retourné à l’obligation du rétablissement.Lorsque le bloc est remis en question, ZK est nécessaire pour confirmer l’efficacité du bloc.Le bon prover, qu’il s’agisse du prover initial ou du challenger, obtiendra des récompenses en plus de récupérer le lien.En même temps, le mauvais côté de l’autre partie sera punis, et une partie d’entre eux sera brûlée par une brûlure.
Fait intéressant, Taiko devrait avoir environ 1% des blocs pour prouver le ZK, ce qui aide à réduire les frais généraux de calcul et à fournir une garantie valide.Afin d’améliorer son élasticité, Taiko prend en charge plusieurs preuves telles que PLONK, HALO2 et SGX pour empêcher les bogues ou les vulnérabilités potentiels.Cette méthode permet à DAPP de définir ses propres hypothèses de confiance et niveaux de sécurité, montrant la contribution de Taiko à l’évolutivité et à la sécurité de la blockchain.
3.5autre–phareetRouleau
3.5.1 Dymension
Crack prouve fait partie intégrante de l’écosystème de dymension, qui vise à assurer l’intégrité de la conversion d’état de la blockchain.Lorsque le trieur de rollup dans le rollapp (Rollup dans Dymension L1 publie une racine d’état, tous les nœuds Rollapp surveillent ces conversions.Si une conversion d’état non valide est détectée, ces nœuds sont générés en collectant les blocs dans le bloc jusqu’à ce que la liste de conversion de l’état de fraude puisse être générée pour générer la seule transaction à la fraude.
Cette transaction de collecte comprend des détails tels que la hauteur du bloc, l’indice des transactions, la part Blob, le témoignage de preuve et d’état contenant des BLOB, puis envoyé à Dymension pour vérification.Une fois soumis, le nœud complet de Dymension vérifiera les données et re-calculer la conversion de statut.Si la racine d’état temporaire (ISR) générée par la conversion calculée est différente de l’état de la publication, la fraude prouve qu’elle est vérifiée, entraînant le recul de l’état de litige et la pénalité du trieur responsable.
Le réseau principal actuel de dymension est configuré jusqu’à environ 120 000 blocs.Étant donné que la sortie actuelle d’un bloc est actuellement produite, la détermination finale est d’environ 8 jours.
3.5.2 Rollkit
>
La fraude à l’état de Rollkit s’avère à réduire la confiance dans le réseau de blockchain en identifiant les transactions de fraude.Ils sont utilisés pour ne pas correspondre à l’état de l’ensemble du nœud et du trieur.Le nœud entier crée une preuve partagée sur l’ensemble du réseau pour la vérification.S’il est confirmé qu’il n’est pas apparié, il est nécessaire de prendre des mesures de correction pour améliorer la sécurité et disperser la supervision.
4Développement futur: problèmes et solutions
Beaucoup de gens pensaient qu’une fois que le rollup optimiste n’était pas aussi bon que ZK Rollup.Comme ZK Rollup est de plus en plus mis en production, son interopérabilité de sécurité et sa détermination finale plus rapide et d’autres avantages sont bien connus que les gens sont non seulement douteux, mais l’optimiste a prouvé si le système aura une forte baisse.Je ne pense pas, car il y a eu de nombreux progrès positifs dans les principaux problèmes du système de preuve optimiste.
Maintenant, jetons un coup d’œil sur ces principaux problèmes et quelles solutions potentielles?
· Centre d’opération
· Coût de fonctionnement élevé
· Détermination finale lentement
4.1Décentralisation————Aucune vérification de licence
>
Dans le projet Rollup optimiste, la centralisation du trieur est un problème clé car il implique un point de contrôle centralisé et un point de confiance dans un système décentralisé.Dans un rollup optimiste, le trieur est responsable du tri de la transaction, de l’agrégation de la transaction sous la chaîne et de les soumettre à Ethereum.Ce rôle central donne aux trieurs un pouvoir et un contrôle considérables, ce qui peut entraîner des risques centralisés.
La plupart des Rollup utilisent aujourd’hui un trieur centralisé.Dans ce cas, un trieur est généralement géré par une seule entité ou tissu, ce qui peut entraîner plusieurs problèmes potentiels.La plupart des rouleaux actuels, y compris OP-Mainnet et Arbitrum, ne sont pas complètement décentralisés.Ils dépendent de certaines entités centrales dans la soumission de trading et la participation au système de défi de fraude.Cependant, Arbitrum a une manière construite.
Le récent incident de recul de BLAST est un bon exemple, qui peut montrer les avantages et les inconvénients de la centralisation.Cet incident souligne que la solution L2 centralisée n’a pas suffisamment de stratégies de sortie des utilisateurs, ce qui est très risqué.Il peut être clairement vu lorsque Blast s’arrête et que la transaction liée aux attaques de piratage est supprimée.L’entité centrale opérant le rouleau peut affecter l’ensemble de l’écosystème.
4.1.2 Solution 1: Aucune vérification de licence n’est requise
L’arbitrum et l’optimisme sont les principaux constructeurs de frameworks optimistes.Ils se préparent tous à publier des mises à jour cette année, afin que le processus de vérification ne soit pas autorisé.
· Arbitrum: Arbitrum s’engage à obtenir des vérifications qui ne nécessitent pas de licences via un nouveau protocole de vérification nommé Bold (délai de liquidité limite).L’accord permet à toute partie honnête de publier la bonne affirmation de l’État L2 de participer au processus de vérification en liant ses fonds.Cela élimine les besoins de l’authentification centrale de la gestion de l’entité et permet à la résolution des différends en fonction de l’exactitude de l’État plutôt que de la vérification.
· Optimisme: l’optimisme vise à implémenter aucune vérification de licence en convertissant en un système de vérification d’erreur décentralisé.Initialement, l’optimisme s’est appuyé sur la Commission de la sécurité d’optimisme et la Fondation Optimism Gérée.Afin de décentraliser davantage, l’optimisme a introduit le canon, qui est un système d’erreur sous la chaîne.En utilisant Cannon, l’optimisme essaie de passer d’un système qui doit être clairement licencié à un système qui peut participer à la vérification des trading et à la résolution des conflits.Le système permet à quiconque de participer au processus de vérification en soumettant une déclaration de retrait appuyée par Bond.
4.1.3 Solution 2: Dentalisation des trieurs
Les caractéristiques de concentration des trieurs (responsables de la construction et des blocs proposés) ont attiré l’attention sur la centralisation.Afin de faire face à ces défis, Rollup vise à passer d’un modèle de trieur unique aux paramètres multi-rows-ordre, afin d’attribuer des blocs pour vérifier et proposer des responsabilités entre plusieurs entités indépendantes.Voici quelques méthodes qui peuvent réaliser la décentralisation des trieurs.
· Partage de trieur: externalisation vers des services de troisième partie, tels que l’espresso et le rayon.
· Technologie de trieur distribuée (DST): utilisez des tâches de tri de distribution de groupes de machines pour fournir très défectueux.Cela peut être considéré comme similaire à la solution DVT (comme le réseau Obol) conçu pour les vérifications POS.
Différents rouleaux peuvent avoir des considérations prioritaires différentes selon leurs cas spécifiques, tels que les caractéristiques décentralisées maximales, la flexibilité ou la distribution géographique.Par exemple, les rouleaux universels comme l’optimisme peuvent adopter une méthode plus décentralisée, mais l’utilisation d’un ensemble spécial de trieurs (telles que DST), et un Rollup d’application spécifique (comme le rollup de jeu) Les trieurs garantissent la fiabilité et réduisent le temps d’arrêt.Cette zone est encore à la première étape du développement.
>
4.2Coût inférieur————Système de disponibilité des données et de preuve interactive
Le Rollup optimiste nécessite des transactions de stockage pour renforcer l’état du processus de défi.Cela peut entraîner des coûts élevés de stockage de données, ce qui constitue la plupart des coûts d’exploitation de la randonnée optimiste.Cependant, les gens étudient activement ce problème, y compris l’application de plus de technologie de compression ou l’utilisation de l’ALT DA (utilisabilité des données remplacées).De plus, le système de preuve interactif aide à réduire le coût du défi, car le calcul des défis est considérablement réduit.
4.2.1 Solution 1: DA à faible coût
Optimiste Rollup utilise efficacement les blobs Ethereum et d’autres solutions d’utilisabilité des données (DA) (telles que Celestia) pour résoudre des problèmes de coût élevé liés à la publication des données du package de transaction.
Dans le cas d’Ethereum, l’optimiste Rollup a précédemment publié les données de transaction en tant que calldata vers le réseau principal, ce qui est un coût énorme.Cependant, avec la mise à niveau de Dencun, ils utilisent désormais le nouveau format de stockage de données appelé Blobs, ce qui réduit le coût total de plus de 90%.
>
En plus d’utiliser les propres progrès d’Ethereum, le Rollup optimiste est également intégré à d’autres décisions de convivialité des données (telles que les acteurs et Celestia).En désinstallant les données du package de transactions à Celestia, le Rollup optimiste peut réduire la dépendance à la dépense de stockage plus élevé sur Ethereum, réduisant ainsi le coût lié à la libération de données.Cette intégration permet à Rollup de maintenir le débit de haut niveau et la vitesse de transaction tout en maintenant les coûts contrôlables au coût.
Avec le lancement de Rollup en utilisant le système de preuve optimiste de plus en plus, le champ Alt DA reçoit de plus en plus d’attention.Avec plus de rollup se préparant à la libération, le champ ALT DA se renforcera également considérablement.À l’heure actuelle, DA ne constitue pas le goulot d’étranglement des coûts d’exploitation et ne doit pas étendre le goulot d’étranglement.
4.2.2 Solution 2: Système de preuve interactive
Dans un rollup optimiste, si une transaction est soupçonnée d’être frauduleuse, le challenger du réseau peut contester l’efficacité de la racine de sortie.Pendant la période de défi, une preuve frauduleuse doit être fournie pour prouver l’exactitude de la transaction.Si la transaction est prouvée frauduleuse, la preuve est vérifiée sur la chaîne, ce qui entraînera une invalide de la transaction.Cette méthode garantit que seules les transactions controversées doivent être vérifiées sur la chaîne, de sorte que la plupart des transactions sont maintenues sous la chaîne.
Interactive Proof System invite les participants à générer et à soumettre une certification de fraude pendant le suspect qu’une transaction est une transaction de fraude.Gérer les contrats intelligents de Rollup pour évaluer ces preuves en fonction de la racine d’état soumise par le trieur.Si l’écart est trouvé, jetez l’état incorrect et restaurez le système à l’état valide précédent.Cette méthode garantit une vérification efficace sans apporter une charge de calcul inutile au réseau Ethereum.À l’heure actuelle, ce calcul est effectué sur la chaîne, ce qui peut être très coûteux.Pour Arbitrum, le calcul requis pour le défi est terminé sous la chaîne et le résultat final est libéré sur la chaîne.Mais le coût peut être minime, car il n’y a presque aucun défi dans le rollup optimiste actuel.
4.3Certitude finale lentement————Système d’exécution rapide et de certification mixte
Optimiste Rollow a deux types de déterminisme final – Confirmation de sette et certitude rapide.La confirmation douce fait référence à l’état initial de l’état d’exécution du trieur et, en même temps, des transactions par lots sont émises sur Ethereum.À l’heure actuelle, la transaction est considérée comme « douce et certaine », et les utilisateurs et les applications sur Rollup peuvent s’appuyer sur cette transaction en toute confiance.Cependant, il y a une période de défi (généralement environ 7 jours), et pendant cette période, n’importe qui peut soumettre un « certificat de fraude » pour remettre en question l’efficacité du lot de transactions.Si le certificat frauduleux n’est pas soumis pendant la période de défi, le package des transactions atteindra une certitude dure et ne peut pas être annulé ou contesté.Généralement, le pont indigène doit être rigide pour transférer des actifs.
Lors de la construction d’un pont ou d’un DAPP multi-chaîne, la confirmation lente et douce de la vitesse peut causer des problèmes.Ce problème est de résoudre des systèmes d’exécution et de certification mixtes plus rapides.
4.3.1 Solution 1: Effectuez une exécution plus rapide
En termes de détermination douce, ce processus implique la transformation de l’état d’exécution et stocke le package de transaction dans Ethereum.Étant donné que la spécification EVM ne prend pas en charge l’exécution parallèle et l’optimisation de la base de données, le processus d’exécution est limité.Cependant, des projets comme Megaeth et Heiko construisent un environnement d’exécution parallèle et utilisent le système de certification optimiste.
De plus, Rollup essaie de stocker des packages de trading plus rapidement à travers des blocs plus courts.Pour Arbitrum, un bloc est généré en générant un bloc tous les 250 millisecondes, ou un bloc peut être généré pour 100 millisecondes sur la chaîne d’orbite configurable.De plus, la conception d’Arbitrum utilise un modèle de «tri» unique au lieu de la méthode traditionnelle de «construction de blocs».En même temps, vous pouvez également supprimer les mauvais MEV.
4.3.2 Solution 2: Système de preuve mixte
Le système de certification hybride, en particulier les systèmes de certification hybride qui combinent la certification ZK et le rollup optimiste, améliorent considérablement la certitude finale des transactions blockchain en réduisant le temps requis par les conclusions à vérifier.Le rouleau optimiste (comme ceux utilisés dans la pile OP dans l’optimisme) dépend essentiellement d’une telle hypothèse: à moins qu’elle ne soit contestée, le trading est efficace.Cela rend la fenêtre de litige ou de défi essentielle et peut gérer des transactions potentielles non valides.Cependant, cette période de défi entraînera un retard dans la détermination des transactions, car la période de défi doit être suffisamment longue pour assurer une vérification fiable et soutenir les défis potentiels.
Zeth est un prover de blocs ZK construit sur Risc Zero ZKVM.Cela réduit sa dépendance à la fenêtre de litige à long terme requise pour le rollup optimiste et a considérablement raccourci le temps de détermination final.
Des outils tels que Zeth garantissent que le tri des transactions et le mécanisme de disponibilité des données sont fiables, et l’efficacité de la solution L2 (comme l’optimisme) est améliorée en réduisant la période de défi de quelques jours à plusieurs heures, voire quelques minutes.Des projets comme ZKM ont également développé un système de preuve mixte pour les Métis.
>
5, Attendez avec impatience le futur————Rollup optimisteSera-t-il remplacé?
À mon avis, le Rollup optimiste ne sera pas remplacé rapidement.De nombreuses améliorations sont en cours et peuvent être adoptées par d’autres écosystèmes pour simplifier.Dans les futurs articles, je vais essayer d’étudier le «statut du système de certification ZK» en profondeur, de discuter de son développement récent et de la version à venir, et de le comparer avec un rollup optimiste.Cependant, l’utilisation de cadres tels que Arbitrum Orbit et Op-Stack accélèrent.
Un problème que j’ai vu dans le domaine du rollup est le problème de l’expansion.Des projets L1 comme SEI, SUI et Solana développent une infrastructure pour réaliser une exécution fiable des transactions parallèles et une optimisation de la base de données, qui vise à faciliter la blockchain à utiliser par le public.Le Rollup actuel peut ne pas être en mesure de gérer la quantité de transaction autant que SUI et d’atteindre une certitude finale rapide.Cependant, comme des projets comme Fuel Network, Megaeth et Heiko rendent la mise en œuvre parallèle possible, nous pouvons nous attendre à une amélioration des performances dans le champ Rollup bientôt.
