L2S aussi sécurisé qu’Ethereum lui-même

Tout d’un coup, il semble que tout le monde dans l’écosystème Ethereum parle de rouleaux indigènes, le chercheur de la Fondation Ethereum, Justin Drake, disant que tous ceux à qui il avait parlé de la proposition a été immédiatement favorable.

L’optimisme, la base et une demi-douzaine d’autres L2 ont exprimé le désir d’incorporer la technologie dans leurs plates-formes – et certains veulent également devenir des «rouleaux basés» pour faire bonne mesure.

Mais avec le post de Janvier de Drake sur Ethresearch destiné à un public technique et à la plupart des autres explicateurs utilisant la terminologie arcanique des développeurs de blockchain, de nombreux supporters d’Ethereum ordinaires peuvent être laissés avec peu d’idée que ce sont les rouleaux natifs ou comment ils fonctionnent.

Donc, nous avons encordé des experts du collectif 2077 et de la Fondation Ethereum pour aider à l’expliquer en anglais simple.

Qu’est-ce qu’un rouleau natif?

Le TLDR est que les rouleaux indigènes rendent les L2 aussi sécurisés et sans confiance qu’Ethereum lui-même en faisant prendre soin de la couche de base de toutes les choses qui nécessitent actuellement une connaissance zéro compliquée et difficile (ZK), ou fraude, un système de preuve sur chaque L2.

Du point de vue d’un utilisateur, vous pourriez vous sentir aussi en sécurité pour garder vos 10 millions de dollars en économies sur un rouleau natif que vous le stockiez sur Ethereum lui-même.

«Les rouleaux indigènes semblent être une évidence pour les rouleaux. Ils sont tellement plus simples et beaucoup plus sûrs», explique le chercheur de la Fondation Ethereum Ladislaus.

«Ils peuvent hériter de la sécurité L1 avec seulement quelques lignes de code en appelant le précompilé à l’avenir.»

«Précompilé» fait référence à un type spécial de codé en dur à contrat dans le protocole Ethereum qui étend les capacités de la machine virtuelle Ethereum (EVM). La proposition de Drake est pour «un précompilation d’exécution élégante et puissante» qui transforme les rouleaux natifs en «éclats d’exécution programmables».

Vous pouvez donc le considérer comme une sorte de redémarrage de l’ancien plan de rupture ETH 2.0.

Comment fonctionnent les rouleaux natifs?

Fondamentalement, ils sont une refonte de la façon dont les preuves fonctionnent sur L2S. Ce sont de petits instantanés cryptographiques qui enregistrent l’état de qui possède ce que sur les rouleaux qui sont périodiquement écrits à Ethereum. En enregistrant l’état de L2 sur la blockchain Ethereum, les Rollups bénéficient du réseau décentralisé massif d’Ethereum, et les utilisateurs sont en mesure de retirer sans autorisation leurs fonds des Rollups si nécessaire et de se lancer par le biais de transactions censurées par le séquenceur.

À l’heure actuelle, Ethereum Virtual Machine compatible les rouleaux optimistes, supposons essentiellement que tout ce qui s’est passé était correct (d’où le nom) et l’écrivez à Ethereum. Ensuite, il y a une période de sept jours au cours de laquelle quelques acteurs sélectionnés peuvent contester tout ce qui est douteux avec une «preuve de fraude» avant que les actifs puissent être retirés à Ethereum.

Cependant, des rollups ZK compatibles EVM comme Linea utilisent des preuves cryptographiques qui montrent hors de l’ombre d’un doute que le calcul pertinent a été effectué sur le Rollup, ce qui permet des retraits beaucoup plus rapides au L1.

Lisez également: PECTRA HORD FROW a expliqué – va-t-il récupérer Ethereum sur la bonne voie?

La proposition de Rollup native signifierait que les L2 n’auraient pas besoin d’établir les mêmes types de systèmes de preuve élaborés et de conseils de sécurité qu’aujourd’hui. Au lieu de cela, ils fournissent à la couche de base Ethereum une liste de transactions appelée «trace».

L’exécution précompilée utilise ensuite le moteur d’exécution d’Ethereum pour réexécuter le calcul et vérifier les transitions d’état, ce qui est juste une façon sophistiquée de dire qu’il s’assure que tout ce qui se passait sur le Rollup était correct.

Les versions ultérieures verront l’incorporation d’incorporation de ZK, c’est-à-dire lorsque les rouleaux natifs brillent.

Wle chapeau a-t-il les avantages des rouleaux natifs?

Les principaux avantages sont que les Rollups n’auront pas besoin de construire des systèmes d’épreuves difficiles et complexes ou de s’appuyer sur des conseils de sécurité ou des multisigs, permettant à un petit groupe de confiance d’intervenir lorsque les choses tournent mal ou si les preuves sont buggy.

«Les rouleaux natifs ne risquent pas d’être drainés en raison d’un problème avec le système de preuve et peuvent se débarrasser en toute sécurité des conseils de sécurité, améliorant leur décentralisation», explique Alex Hook, chercheur au 2077 et PDG Untronfi.

Et pour les utilisateurs, Hook dit: «Leurs fonds sur un rouleau natif sont aussi sûrs qu’Ethereum sans aucune hypothèse de confiance ajoutée.»

TIl a des problèmes avec les rouleaux natifs

Pour le L1, dit Hook, les rouleaux indigènes apportent «une échelle entièrement sûre et décentralisée au prix d’une complexité de protocole considérablement augmentée».

Un autre problème est que l’utilisation de nœuds Ethereum pour réexécuter les transactions pour vérifier qu’ils sont tous casher serait très lent et semble contredire tout le point des Rollups, qui consiste à éloigner l’exécution de la couche de base Ethereum mal lente.

Alors que l’exécution précompilée est conçue pour être légèrement plus efficace que la réexécution complète, Drake dit que la première version devrait être considérée comme un «tremplin» le long de la route.

Ladislaus note qu’il peut finir par être bien adapté aux rouleaux optimistes.

«En effet, les rouleaux optimistes doivent seulement appeler le précompilé pour régler un défi à l’épreuve de la fraude. La vérification de ce défi serait donc en fait le seul (minuscule) aérien pour les validateurs de L1 à prendre en charge», dit-il.

Le plan à plus long terme consiste à amener les constructeurs de blocs Ethereum à générer des bières ZK, puis d’amener les nœuds à les vérifier, ce qui élimine la nécessité de tout réexécuter.

Le plan à long terme plus long est «idéalement, prouver un bloc ZK-EVM pour Ethereum à un moment donné peut être fait sur un MacBook Pro», explique Ladislaus.

À l’heure actuelle, les résistances à ZK ne sont pas assez rapides pour être incorporées. L’intermédiaire de ZK est également cher, c’est pourquoi ZK-Rollups n’a pas encore vraiment décollé.

Une solution pour rendre le système plus efficace serait d’utiliser à la place une preuve récursive – ce qui est une preuve d’un tas d’autres preuves et est similaire aux preuves de lots et de compression pour les rendre plus efficaces.

Problèmes de dentition et solutions potentielles

Comme les choses se tiennent actuellement, chaque rouleau a baigné avec sa version de l’EVM, et faire fonctionner le moteur d’Ethereum avec tous ces systèmes modded serait difficile. Les normes devront probablement être établies avant que les Rollups ne se transforment en rouleaux natifs pour s’assurer que leurs optimisations ciblées sont compatibles. Ou ils pourraient simplement choisir d’utiliser une copie exacte de l’EVM.

Il s’agit d’une fonctionnalité et non d’un bug, cependant, car les rouleaux compatibles EVM doivent actuellement continuer à se mettre à niveau pour suivre les fourches durs régulières d’Ethereum. Il s’agit d’un risque de sécurité et peut introduire des bogues. Cependant, les rouleaux natifs pourraient se mettre à jour automatiquement avec L1 Hardfrks.

Hook dit que cela faciliterait la vie des développeurs car il y aurait «moins de frottement de développement».

«Aujourd’hui, la plupart des L2 se détachent de la spécification L1 d’une manière ou d’une forme, et les développeurs doivent toujours garder à l’esprit ces différences», dit-il.

Problèmes potentiels de disponibilité des données pour les rouleaux natifs

Comme pour tout sur la feuille de route Ethereum, la disponibilité des données se profile comme un problème.

Les rouleaux natifs doivent publier des témoins d’État, qui rempliront beaucoup de blobs de données, et la capacité est déjà limitée. Cela dit, les blobs doublent dans la fourche suivante, puis augmentent de 2x à 4x dans la fourche Fusaka, qui est accélérée cette année.

Ladislaus note que les rouleaux natifs doivent être soit des rouleaux (ce qui signifie qu’ils utilisent la disponibilité des données Ethereum) ou des optimums (des rouleaux optimistes qui utilisent des DA alternatifs comme Celestia ou Eigenda). Il a dit qu’il n’était pas possible d’avoir des validiums indigènes, c’est-à-dire lorsqu’un ZK-Rollup utilise Altda «qui peut augmenter la demande d’Ethereum da».

Quelle est la chronologie des rouleaux natifs à implémenter?

Il est encore tôt pour les Rollups indigènes, avec le post de Drake sur EthResearch.CH en janvier, et deux appels communautaires ont eu lieu jusqu’à présent.

Mais le soutien à l’idée se développe, et une demi-douzaine de L2 ont pris la parole en faveur lors de l’appel de séquençage de janvier.

« L’optimisme est disposé à soutenir le séquençage basé sur et l’exécution native. C’est la guerre », a déclaré le co-fondateur Ben Jones.

« Nous devons évoluer et connecter l’écosystème Ethereum et le séquençage basé et l’exécution native ressemblent aux outils pour le faire », a déclaré Jesse Pollak de Base.

Ladislaus dit que l’intérêt impatient pour la proposition des fondateurs de Rollup «démontre une certaine urgence et« produit de produit »pour ces services offerts par Ethereum».

Même ainsi, la proposition est peu susceptible d’être incluse dans la fourche Hard Pecctra (sur Testnet maintenant) ou Fusaka plus tard cette année (qui sera hyper axée sur les blobs de mise à l’échelle).

Cela signifie qu’il devra attendre au moins jusqu’à ce que «Glamsterdam» – qui est le premier nom de la fourche qui venait après Fusaka. Drake a suggéré 18 mois pour que la première version des rouleaux natives soit incluse dans une fourche; Cependant, Uma Roy, co-fondatrice de succinct, a déclaré sur Sans banque Elle pense que le composant ZK Tech pourrait bien être prêt à ce moment-là.

Quelle est la différence entre les rouleaux natifs et les rouleaux basés sur les natifs?

Un concept connexe est appelé un «rouleau basé», qui est l’endroit où les L2 utilisent des validateurs Ethereum comme séquenceur décentralisé. Cela ouvre la possibilité d’une composabilité synchrone, qui est un terme qui signifie simplement que tout fonctionne instantanément ensemble à travers l’écosystème des rouleaux basés.

Il semble probable que de nombreux Rollups deviendront éventuellement à la fois basés et indigènes, qui a été surnommé «ultra-son» – bien que la durée de la nature reste dans la nature.

Lisez également: Ethereum L2S sera interopérable «en quelques mois» – Guide complet

«Les rouleaux basés permettent aux superpuissances de la composabilité synchrone», explique Ladislaus. « Ils sont un peu plus durs parce que les équipes Rollup doivent abandonner la souveraineté actuelle sur le séquençage, mais en fin de compte, il y a de fortes raisons de devenir basées et indigènes afin qu’un rollup puisse être appelé un` `Rollup ultra-sonore  ». » « 

Tous les rouleaux ne peuvent pas devenir basés et / ou natifs, en particulier ceux qui utilisent une machine virtuelle différente comme Eclipse, qui utilise SVM; Starknet, qui utilise le Caire; et le mouvement, qui utilise MoveVM.

Il est peu probable que les rouleaux comme Megaeth deviennent aussi ultra-sons, car ils comptent sur un seul séquenceur centralisé, utilisent une disponibilité alternative des données et n’ont aucune envie de sacrifier la vitesse.

S’abonner

Le plus engageant se lit dans la blockchain. Livré une fois par semaine.

Andrew Fenton

Basé à Melbourne, Andrew Fenton est journaliste et éditeur couvrant la crypto-monnaie et la blockchain. Il a travaillé comme écrivain national de divertissement pour News Corp Australia, le week-end de SA en tant que journaliste de cinéma et au Melbourne Weekly.

Suivez l’auteur @Andrewfenton