ActualitésCryptoVitalik Buterin dévoile une feuille de route d'Ethereum qui déplace la vérification au-delà de la blockchain

Vitalik Buterin dévoile une feuille de route d'Ethereum qui déplace la vérification au-delà de la blockchain

Auteur: Coindoo·

Points clés

  • •Vitalik Buterin a proposé une architecture d'Ethereum dans laquelle la couche de base continue de gérer l'ordonnancement des transactions et le règlement final, tandis que les preuves STARK récursives prennent en charge une plus grande part du travail de vérification.
  • •L'essai décrit une direction technique pluriannuelle vers 2030 plutôt qu'un calendrier de livraison fixe, toutes les mises à niveau proposées devant encore passer par le processus standard de recherche, de tests et d'approbation communautaire d'Ethereum.
  • •PeerDAS, déployé via la mise à niveau Fusaka, permet aux nœuds d'échantillonner les données blob au lieu de télécharger des ensembles de données entiers, appliquant le même principe de charges de travail allégées par nœud tout en préservant la vérification indépendante.
  • •La mise à niveau Hegotá prévue pour 2027 est présentée comme probablement la dernière construite principalement sur une technologie familière aux développeurs du milieu des années 2010, la phase suivante pouvant inclure un consensus optimisé, une vérification formelle automatisée et une cryptographie résistante aux ordinateurs quantiques.
  • •Les objectifs de confidentialité de Buterin s'étendent au-delà des montants de paiement jusqu'aux métadonnées des portefeuilles, visant les paiements privés, la logique de compte privée et moins de requêtes de portefeuille exposées à un fournisseur de services unique.
Vitalik Buterin dévoile une feuille de route d'Ethereum qui déplace la vérification au-delà de la blockchain

Vitalik Buterin, cofondateur d'Ethereum, a utilisé un post du 27 septembre pour esquisser un Ethereum où la chaîne de base règle les résultats finaux tandis que les preuves cryptographiques prennent en charge une part croissante du travail de vérification. Sa vision 2030 réunit les preuves STARK récursives, l'échantillonnage de la disponibilité des données, les outils de confidentialité et un consensus repensé. L'essai définit une direction technique pluriannuelle plutôt qu'un calendrier de livraison : le code concerné, le périmètre de chaque mise à niveau et les dates de livraison doivent encore passer par le processus de développement habituel d'Ethereum.

Le changement proposé peut se résumer en une phrase : la chaîne continue de décider des résultats finaux, tandis que les preuves offrent aux participants un moyen plus efficace de vérifier le travail qui a produit ces résultats.

Ce qu'Ethereum doit encore faire lui-même

Ethereum a besoin d'un enregistrement partagé indiquant qui possède quoi et quelle transaction est arrivée en premier. Cet enregistrement empêche que les mêmes fonds soient dépensés deux fois et donne aux applications un état final auquel chaque participant peut se référer.

Aujourd'hui, les nœuds complets valident les transactions et les changements d'état de manière indépendante. Ils vérifient si un expéditeur dispose de fonds suffisants, si un contrat intelligent a respecté ses règles et si l'état résultant correspond au protocole. Ce travail dupliqué renforce la sécurité du réseau, mais il limite également gains de capacité que l'ajout d'ordinateurs supplémentaires permettrait sinon.

Dans la feuille de route de Buterin, l'ordonnancement des transactions et le règlement final restent à la couche de base, tandis que l'infrastructure environnante gagne de la place pour traiter les calculs complexes avant qu'ils n'atteignent un bloc final.

Les preuves peuvent prendre en charge une plus grande part du travail de vérification

Une preuve à divulgation nulle est un énoncé mathématique compact attestant qu'un calcul a suivi un ensemble de règles défini. Les STARK — abréviation de Scalable Transparent Argument of Knowledge — sont une construction transparente basée sur des fonctions de hachage qui ne nécessite aucune configuration de confiance. Un prouveur effectue le calcul le plus lourd et fournit des éléments que les autres participants peuvent vérifier efficacement. Les preuves récursives étendent ce modèle en combinant plusieurs preuves en une seule, permettant au réseau de vérifier un seul résultat compressé couvrant un ensemble plus vaste de dépendances. Cette approche pourrait réduire la part des calculs répétés atteignant l'environnement d'exécution d'Ethereum.

Buterin illustre l'idée par un portefeuille examinant une position DeFi complexe impliquant plusieurs actifs collatéraux et des règles automatisées. Dans l'architecture qu'il décrit, une preuve pourrait établir que la position a été mise à jour correctement, et Ethereum règlerait ensuite l'état résultant selon ses propres règles.

Des coûts réduits et une exécution plus rapide des actions complexes restent des résultats possibles. Leur ampleur dépendrait des coûts de génération des preuves, de la conception des applications et des fonctionnalités qui finiront par atteindre le Mainnet.

La disponibilité des données est une question de sécurité distincte

Une preuve valide et des données disponibles servent des objectifs différents. La preuve répond à la question de savoir si un calcul défini a été correctement exécuté ; la disponibilité des données répond à la question de savoir si les informations soutenant ce calcul peuvent encore être récupérées et examinées. Cette distinction compte en pratique : sans données récupérables, même une preuve valide laisserait les participants incapables de reconstruire indépendamment l'état produit par le calcul.

PeerDAS travaille sur le second problème. Il permet aux nœuds d'échantillonner les données blob et d'acquérir la confiance que l'ensemble des données plus large est disponible, supprimant la nécessité pour chaque nœud de télécharger l'intégralité du jeu de données avant de participer à la vérification. PeerDAS est arrivé avec la mise à niveau Fusaka, devenant un élément actif de l'architecture de passage à l'échelle d'Ethereum. L'essai de Buterin pousse le même principe de conception plus loin : imposer moins de travail répété à chaque participant individuel tout en préservant un chemin vers la vérification indépendante.

L'essai situe également les travaux antérieurs sur la vérification des validateurs par preuves, notamment la proposition Lean Ethereum, dans un plan plus large couvrant le calcul, les données et la confidentialité à l'échelle du réseau.

La confidentialité couvrirait aussi les traces laissées par les portefeuilles

Le défi de la confidentialité d'Ethereum dépasse le masquage des montants de paiement ou des adresses des destinataires. Les portefeuilles interrogent souvent des serveurs externes pour les soldes, les données de jetons et l'historique des transactions, et ces requêtes peuvent révéler quels comptes une personne suit ou contrôle.

Buterin décrit des outils cryptographiques et une infrastructure décentralisée qui pourraient protéger davantage de ces métadonnées. Les objectifs énoncés comprennent les paiements privés, la logique de compte privée et moins de requêtes de portefeuille exposées à un fournisseur de services unique.

L'usage quotidien exigerait plus que de la recherche protocolaire. Les logiciels de portefeuille doivent prendre en charge ces outils en toute sécurité, et les interfaces doivent expliquer le modèle de sécurité avec suffisamment de clarté pour que les utilisateurs puissent faire des choix éclairés.

Hegotá amorce une transition technique de longue haleine

La feuille de route officielle d'Ethereum place la mise à niveau Hegotá en 2027. Buterin la décrit comme probablement la dernière construite principalement autour d'une technologie qui semblerait familière aux développeurs du milieu des années 2010. La phase suivante pourrait impliquer des STARK récursifs, un consensus plus optimisé, une vérification formelle automatisée et une cryptographie résistante aux ordinateurs quantiques.

La vérification formelle peut tester si un code correspond à une spécification écrite, mais elle ne peut pas résoudre les omissions ni les mauvaises décisions contenues dans cette spécification. La recherche sur la sécurité quantique prépare Ethereum aux futures avancées de la puissance de calcul ; la cryptographie existante d'Ethereum reste utilisée aujourd'hui.

Ces idées font encore face à la recherche, à la rédaction de spécifications, au développement des clients, aux revues de sécurité, aux tests et au consensus communautaire. Pour les lecteurs qui suivent le dossier, les jalons observables sont les ébauches de spécifications, les implémentations des clients et les tests sur les réseaux publics les mêmes étapes que franchit chaque mise à niveau d'Ethereum avant d'atteindre le Mainnet. La génération de preuves doit devenir moins coûteuse et plus sûre dans des conditions réelles, et la gestion de grands volumes d'état applicatif partagé reste un autre défi majeur identifié dans l'essai.

La feuille de route sera jugée à l'aune de la vérification indépendante

Le critère pratique est simple. Les utilisateurs, les développeurs et les opérateurs de nœuds ont besoin d'un moyen réaliste de vérifier le système sans dépendre d'un intermédiaire opaque. Les preuves compactes doivent être efficaces, les données doivent rester accessibles, et les portefeuilles doivent communiquer les hypothèses derrière chaque action.

L'architecture proposée par Ethereum maintient la chaîne responsable de l'ordonnancement et du règlement, tandis que les systèmes de preuves et l'infrastructure décentralisée prendraient en charge une plus grande part du travail menant à ces résultats finaux. La valeur de la feuille de route dépendra de savoir si cet arrangement rend la vérification plus pratique sans ajouter une complexité que les utilisateurs ordinaires ne peuvent évaluer.

Cet article est fourni à titre informatif uniquement et ne constitue pas un conseil financier ou d'investissement. La feuille de route d'Ethereum reste soumise à la revue technique, à la coordination communautaire et au changement.