Buterin annonce qu'Ethereum adoptera la vérif. par preuve…
Il a présenté Hegotá l'année prochaine comme la dernière fourche "normale" et a inscrit la confidentialité des métadonnées de portefeuille et une finalité plus rapide sur la feuille de route.
Vitalik Buterin a présenté une vision d'Ethereum pour 2030 qui éloigne le réseau de la réexécution universelle et se dirige vers une vérification basée sur la preuve, avec davantage de calculs déportés hors chaîne. Il a présenté la mise à niveau Hegotá prévue pour l'année prochaine comme le dernier "fork" "normal" avant que cette ère centrée sur la preuve ne devienne l'histoire principale de la feuille de route d'Ethereum.
Le 'Computer Mondial Cryptographique' de Buterin place les preuves au centre du plan 2030 d'Ethereum.
Vitalik Buterin a publié un article intitulé « L'ordinateur mondial cryptographique » le 27 septembre décrivant unEthereumétat final en 2030 qui pourrait encore être appelé une blockchain, mais fonctionnerait différemment en associant la chaîne à des preuves cryptographiques et à des réseaux d'ordinateurs travaillant en dehors de celle-ci.
La partie pertinente pour le marché est la séquence qu'il y a attachée. Buterin a déclaré que la transformation d'Ethereum s'accélérerait après la mise à niveau prévue Hegotá l'année prochaine, et il a caractérisé Hegotá comme le dernier "normal" fork d'Ethereum, construit avec une technologie qui semblerait familière à quelqu'un travaillant sur Ethereum en 2015.
Après cela, a-t-il écrit, les mises à niveau s'appuieraient de plus en plus sur des preuves mathématiques, des outils qui vérifient les logiciels pour détecter des erreurs, et une sécurité conçue pour résister aux futurs ordinateurs quantiques.
Buterin a également présenté la période post-Hégota comme un changement de régime dans ce qui compte comme un travail "central" sur Ethereum. "À partir de Hégota, cette transformation devient l'histoire principale d'Ethereum", a-t-il écrit, décrivant le résultat escompté comme "une computation à haute sécurité beaucoup moins chère, évolutive et privée que tout ce qui pouvait être réalisé avec la technologie de l'ère précédente seule."
De la réexécution par tous à la vérification par plusieurs : l'argument de la vérification basée sur la preuve
Le modèle de sécurité actuel d'Ethereum tire son assurance de la répétition. Un ordinateur vérifiant entièrement Ethereum répète les calculs derrière les transactions, vérifiant qu'un expéditeur avait suffisamment de fonds et qu'une application respectait ses règles.
Cette redondance maintient l'honnêteté du réseau, mais elle limite également l'évolutivité, car ajouter plus d'ordinateurs n'augmente pas automatiquement le débit lorsque chacun est occupé à vérifier une grande partie de la même activité.
La proposition de Buterin est de rendre la vérification moins coûteuse que l'exécution par défaut. Dans son cadre, un ordinateur pourrait traiter des transactions et produire une courte preuve mathématique qu'il a respecté les règles, et d'autres ordinateurs pourraient vérifier cette preuve beaucoup plus rapidement que de relancer le calcul original.
Il a également décrit des "vérifications ponctuelles séparées" comme un moyen d'établir que les enregistrements de transactions restent disponibles pour inspection, même si différentes machines s'attaquent à différents travaux et vérifient les résultats des autres.
Il a positionné cela comme l'ingrédient manquant qui rendait les anciennes idées de "diviser le travail" impraticables. "À l'époque, cela n'était pas viable pour une raison principale : l'ingrédient manquant était la vérification," a écrit Buterin, en faisant référence à ce que les développeurs d'Ethereum voulaient faire il y a une décennie.
Le hic est que le parallélisme ne supprime pas les problèmes d'ordre, il change juste l'endroit où ils sont résolus. Buterin a noté qu'Ethereum devrait toujours régler des questions où l'ordre compte, comme décider lequel de deux paiements utilisant les mêmes fonds est arrivé en premier, et il a suggéré que davantage de travail derrière les paiements pourrait être effectué à l'avance, avec des preuves combinées pour réduire les informations enregistrées sur la chaîne. Le post décrit cette combinaison de manière conceptuelle, sans un chemin de déploiement concret.
Priorités post-Hégotá : Confidentialité des métadonnées de portefeuille et objectif de finalité de 8 à 32 secondes
Buterin a placé la confidentialité au même niveau que l'évolutivité, et il l'a définie de manière plus large que les transferts privés. Ses objectifs en matière de confidentialité incluent le masquage des métadonnées d'activité du portefeuille, y compris les demandes de vérification de solde qui peuvent révéler quelles adresses un utilisateur surveille lorsqu'un portefeuille interroge un serveur externe.
Dans son exemple, même si les paiements sont privés, l'opérateur du serveur répondant aux demandes de solde peut apprendre quels comptes une personne suit. Buterin envisageait de cacher ces demandes aux côtés des détails de paiement et des règles qu'un compte utilise pour approuver les dépenses, afin qu'une entreprise puisse garder les paiements confidentiels sans révéler ses comptes chaque fois qu'un employé vérifie un solde.
En ce qui concerne la performance, la comparaison de Buterin pour 2030 envisageait que les paiements deviennent définitifs, c'est-à-dire traités comme irréversibles par le réseau dans des conditions normales, en environ huit à 32 secondes.
Il n'a pas attaché de calendrier de mise en œuvre au-delà de dire que la transformation plus large s'accélère après Hégotá, et il a énuméré des prérequis qui restent des contraintes d'ingénierie ouvertes : les preuves doivent devenir suffisamment efficaces pour un usage généralisé, et les ordinateurs gérant des tâches séparées doivent coordonner les mises à jour des mêmes soldes et enregistrements d'application sans interférer les uns avec les autres.
Mon interprétation : Hégotá comme un point d'inflexion narratif, pas un catalyseur daté
Hégotá est présenté comme une fourche que l'on peut calendrer, mais le signal le plus important est la manière dont Buterin essaie de requalifier ce qui vient après.
L'appeler la dernière fourche "normale" concerne moins l'ensemble EIP d'Hégotá, qui est encore non spécifié, et plus le fait de dire au marché que les preuves et les méthodes formelles sont destinées à devenir le substrat par défaut pour les futures mises à niveau plutôt qu'un thème d'évolutivité additionnel.
Le seuil qui compte est de savoir si les coûts de preuve diminuent suffisamment pour que les développeurs principaux puissent traiter de manière crédible la vérification basée sur les preuves comme le chemin de sécurité et d'évolutivité de base, et si le modèle de travail hors chaîne parallèle peut être coordonné pour partager un état sans introduire de nouveaux modes de défaillance.
Si ces deux contraintes commencent à être résolues dans des propositions concrètes après Hégotá, la configuration commence à sembler structurelle plutôt que dictée par la narration, car le plafond de débit d'Ethereum devient un problème de coût de vérification plutôt qu'un problème d'exécution universelle.
