Vitalik Buterin avance une refonte du modèle de transaction d'Ethereum

Selon CoinMarketCap, Vitalik Buterin a présenté une vision à long terme pour faire évoluer le traitement des transactions sur Ethereum, en dissociant au sein d'une transaction les "actions" et les "dépendances". Les actions seraient chargées de modifier l'état on-chain, tandis que les dépendances serviraient à établir, avant exécution, que la transaction satisfait déjà aux exigences de signature, de preuve d'état et de validité. L'objectif est de permettre qu'une partie des vérifications soit effectuée avant même l'inclusion dans un bloc, ouvrant la voie à davantage de parallélisation. Dans ce schéma, vérification et exécution deviendraient deux étapes distinctes. Aujourd'hui, le flux de traitement des transactions sur Ethereum regroupe généralement l'autorisation, le paiement des frais et l'exécution des contrats dans une même chaîne de traitement. Les nœuds doivent à la fois valider la signature, s'assurer que l'expéditeur peut payer les frais et déterminer si l'exécution aboutit. Buterin estime qu'une partie de ces contrôles ne dépend pas des changements d'état finaux et pourrait, en théorie, être isolée. Il cite notamment des signatures numériques, des preuves à divulgation nulle de connaissance et certaines preuves de validité ne reposant pas sur des changements d'état on-chain. Si les transactions déclarent clairement les états auxquels elles accèdent, le mempool peut plus facilement identifier quelles conditions sont affectées par des transactions antérieures et quelles vérifications peuvent être réalisées en amont. Des transactions plus prévisibles pourraient ainsi gagner en efficacité de vérification. Cette approche se retrouve dans un projet de proposition, EIP8141, encore au stade de brouillon. Le texte introduit un nouveau type de transaction, la "Frame Transaction", qui découpe une transaction en plusieurs "call frames" afin de traiter séparément la vérification de l'autorisation, le paiement des frais et l'exécution de l'opération utilisateur. D'après le design proposé, la validité de la transaction et le paiement des frais ne reposeraient plus entièrement sur les signatures standard de la couche externe. Le code du compte pourrait définir ses propres méthodes d'autorisation et ses règles de paiement. Une "verification frame" confirmerait que les conditions sont remplies, tandis qu'une "sending frame" serait responsable des modifications effectives de l'état. Cette structuration est aussi présentée comme un moyen d'harmoniser le format de transaction sous-jacent entre différents réseaux EVM. EIP8141 reste un brouillon central : il n'a été intégré à aucune mise à jour du mainnet Ethereum et aucun calendrier de déploiement n'est arrêté. Lors des échanges entre développeurs, plusieurs sujets techniques ont été soulevés, dont les risques de déni de service, les règles de remplacement des transactions, la compatibilité avec les wallets et les block builders, ainsi que les limites sur le nombre de transactions en attente du même expéditeur dans le mempool public. Ces points font encore l'objet de discussions. La perspective de Buterin va au-delà d'EIP8141. Il décrit aussi un modèle où, pour des "dépendances pures" ne nécessitant pas d'accès à l'état on-chain, un pré-contrôle pourrait être effectué au niveau du mempool plutôt que d'être répété par chaque validateur. Le réseau pourrait ensuite regrouper plusieurs vérifications déjà réalisées dans une preuve STARK récursive, vérifiée collectivement, afin de réduire les calculs redondants et une partie de la charge de vérification. Buterin souligne également que cette piste pourrait faciliter, à terme, l'adoption de schémas cryptographiques post-quantiques, les signatures résistantes aux attaques quantiques étant généralement plus volumineuses et plus coûteuses à vérifier. La combinaison d'une autorisation personnalisable au niveau des comptes et d'une agrégation récursive des preuves pourrait réduire ces coûts. Cette partie demeure au stade de la recherche et ne fait pas partie de la spécification actuelle d'EIP8141. Sa mise en œuvre complète supposerait de résoudre des défis liés à la génération de preuves, à la coordination du mempool, à la disponibilité des données et à la protection contre l'agrégation d'erreurs.