Les constructeurs Ethereum ont décrit une feuille de route «Lean Ethereum» qui vise à réduire la complexité de la couche 1 tout en durcissant la sécurité, selon le chercheur Thomas Coratger le 12 juin via x.
Le co-fondateur Vitalik Buterin et le chercheur Justin Drake ont discuté du concept lors d’une session en petits groupes à la conférence Forschungsingenieurtagung à Berlin. Il propose trois cibles directrices: la sécurité, la simplicité et l’optimalité.
‘Lean Ethereum’
Coratger a écrit que la feuille de route appelle à des signatures prêtes à la post-quantum et a retravaillé la disponibilité des données pour protéger le grand livre contre les futures menaces cryptographiques.
Il a ajouté que la simplicité proviendrait du consensus minceur, de l’exécution et des couches de données afin que les nouveaux contributeurs puissent auditer le code sans courbes d’apprentissage abruptes. L’optimalité vise à réaliser une latence et des frais généraux plus faibles, en gardant Ethereum compétitif tout en maintenant sa décentralisation.
Buterin a illustré l’effort avec quatre pistes de recherche déjà en cours. Le premier est un protocole en trois étapes (3SF) qui offre une finalité de bloc rapide dans une base de code compacte, tandis que la seconde est des signatures post-quanttum agrégées.
Une troisième piste de recherche se concentre sur des machines virtuelles à connaissance zéro qui permettent une exécution vérifiable, avec un refacteur de couche de données qui fusionne des blobs grâce au codage d’effacement, rassemblant les pistes.
Drake a connecté ces pistes aux éléments de stratégie existants, y compris les mises à niveau de l’expérience utilisateur, le travail d’évolutivité et l’échantillonnage à pleine chaîne.
La bannière «maigre»
En outre, Drake a présenté plusieurs propositions à court terme sous la bannière «maigre», y compris le jalonnement maigre, qui supprimerait les tâches de validateur à l’essentiel.
La vérifiabilité Lean permettrait aux appareils de faible puissance confirmer les blocs avec une bande passante modeste. Une approche de crypto maigre réduirait la dépendance du protocole à l’égard des primitives multiples, favorisant une seule fonction de hachage et des schémas post-Quantum dans la mesure du possible.
Il a également promu des «spécifications lean», brisant la logique en petits modules et «vérification formelle maigre», à commencer par ZK-VMS et l’agrégation de signature.
Coratger a noté l’alignement entre ces idées et les travaux d’ingénierie actifs, tels que les listes d’inclusion appliqués par le choix de la fourche (FOCIL), les pilotes ZKEVM et les prototypes de feuille de route.
Il a rapporté que les participants à la session ont reconnu la difficulté d’atteindre l’optimalité mais considéraient le gain comme valable, d’autant plus que les Rollups et les séquenceurs centralisés remodeler le traitement de la couche 2.
Réponse de la fondation
Le co-directeur du co-directeur de la Fondation Ethereum, Tomasz Stańczak, décrit La présentation de Drake en tant que synthèse prospective des projets actuels et des recherches à plus longue portée.
Stanczak a écrit que de nombreuses idées procéderont à des tests tandis que d’autres évolueront, qualifiant la feuille de route une «théorie unificatrice» plutôt qu’une directive immédiate. Il a ajouté que le discours a motivé les contributeurs en liant les étapes d’aujourd’hui à un horizon technique plus large.
Pourtant, Lean Ethereum reste un cadre de recherche sans proposition de fourche dure prévue. Les équipes de base prévoient d’affiner les documents de conception, les fonctionnalités de prototype telles que Mini-3SF et d’évaluer les compromis dans les appels de groupe de travail.
Mentionné dans cet article
(TagStotranslate) Ethereum (T) Academia (T) Crypto (T) Technologie (T) (T)
