Vitalik Buterin propose de séparer la validation des transactions de leur exécution sur Ethereum
Points clés
- •La proposition de Buterin sépare les dépendances de transaction, les conditions requises avant l'exécution, des actions de transaction, les changements effectués sur Ethereum.
- •Les dépendances évaluables sans accès à l'état du réseau, appelées dépendances pures, pourraient être vérifiées dans le mempool avant l'inclusion dans un bloc, permettant des vérifications parallèles et concurrentes.
- •La technologie STARK récursive pourrait agréger plusieurs vérifications terminées en une seule preuve, réduisant les calculs répétés des validateurs.
- •Les nonces à clé permettraient des séquences de transactions distinctes au sein d'un même compte, afin que des opérations indépendantes ne soient pas bloquées par une transaction retardée.
- •Cette conception reste un concept de recherche en développement et nécessiterait des travaux de sécurité ainsi que le processus d'examen public et de normalisation d'Ethereum avant d'atteindre le mainnet.

Vitalik Buterin, cofondateur d'Ethereum, a présenté une conception de transaction proposée qui séparerait les conditions requises pour valider une transaction des actions finalement exécutées sur le réseau, permettant potentiellement à Ethereum de gérer le travail de validation plus efficacement.
La proposition s'appuie sur plusieurs axes de recherche d'Ethereum, notamment l'EIP-8141, les nonces à clé, des conceptions d'état alternatives et des mempools basés sur des STARK récursifs. Les recherches de Buterin distinguent les actions de transaction, qui produisent des changements sur Ethereum, des dépendances, qui doivent être résolues avant que ces actions puissent s'exécuter en toute sécurité.
Dans le modèle proposé, cette séparation pourrait permettre de traiter indépendamment différentes parties du traitement des transactions, au lieu d'exiger que la validation et l'exécution restent étroitement liées.
La conception des transactions pourrait permettre une validation parallèle
Les actions décrivent les effets générés par une transaction, comme le transfert de tokens, la mise à jour de comptes ou l'interaction avec des contrats intelligents. Les dépendances, en revanche, représentent les conditions qui doivent être établies avant que ces actions puissent être effectuées.
Le flux de transactions existant d'Ethereum lie ces exigences de validation à l'exécution : les nœuds reçoivent les transactions, vérifient si leurs conditions sont satisfaites, puis traitent les opérations demandées.
La proposition de Buterin suggère que de nombreuses dépendances pourraient plutôt être traitées indépendamment, car elles ne partagent pas nécessairement les mêmes caractéristiques que les actions elles-mêmes.
Certaines dépendances s'appuient sur des informations contenues dans l'état d'Ethereum, tandis que d'autres peuvent être évaluées sans accéder à l'état du réseau. Cette dernière catégorie, décrite comme des dépendances pures, pourrait potentiellement être vérifiée avant qu'une transaction ne soit incluse dans un bloc.
Déplacer ce travail dans le mempool pourrait réduire la quantité de validation que les nœuds doivent répéter pendant l'exécution des blocs. Cela pourrait également permettre de vérifier plusieurs dépendances de manière concurrente, au lieu d'exiger que chaque condition soit traitée séquentiellement.
Cette distinction pourrait devenir de plus en plus pertinente à mesure que les transactions Ethereum deviennent plus complexes et nécessitent une logique d'autorisation et d'exécution plus sophistiquée. L'exécution parallèle et l'amélioration du débit de validation sont des thèmes récurrents de la feuille de route d'évolutivité d'Ethereum, qui a mis l'accent sur l'augmentation de la capacité transactionnelle du réseau grâce à une combinaison de rollups de couche 2 et d'améliorations de la couche de base.
Les STARK récursifs et l'abstraction de comptes font partie de la proposition
La technologie STARK récursive est une autre composante du concept. Plusieurs vérifications terminées pourraient potentiellement être combinées en une seule preuve cryptographique, permettant aux validateurs de vérifier un résultat agrégé au lieu de répéter indépendamment chaque calcul sous-jacent. Les systèmes de preuve basés sur STARK sont déjà utilisés ailleurs dans l'écosystème Ethereum, notamment dans les rollups à connaissance nulle, où ils compressent les calculs en preuves succinctes.
L'architecture proposée est également liée aux recherches plus larges d'Ethereum sur l'abstraction de comptes. L'EIP-8141 explore des formats de transaction conçus pour prendre en charge des mécanismes d'autorisation et d'exécution plus flexibles, tandis que les nonces à clé pourraient offrir une plus grande flexibilité dans l'ordonnancement des transactions de comptes individuels. L'abstraction de comptes a progressé de manière incrémentale sur Ethereum grâce à des efforts antérieurs comme l'ERC-4337, qui a introduit un mempool alternatif et des comptes de contrats intelligents, et l'EIP-7702, qui permet aux comptes détenus de manière externe d'adopter temporairement des fonctionnalités de contrat intelligent.
Les nonces Ethereum traditionnels obligent généralement les transactions d'un même compte à suivre un ordre séquentiel. Par conséquent, une transaction retardée peut empêcher le traitement des transactions suivantes comme prévu.
Les nonces à clé créeraient des séquences de transactions distinctes au sein d'un seul compte, permettant à des opérations indépendantes de se dérouler séparément plutôt que d'être bloquées par une transaction antérieure.
Des conceptions d'état alternatives pourraient en outre changer la manière dont Ethereum organise les informations de transaction et détermine les conditions à valider.
Prises ensemble, ces approches convergent vers une architecture de transaction plus modulaire dans laquelle l'intention, l'autorisation, la vérification des dépendances et l'exécution pourraient être traitées comme des composants distincts.
La proposition reste un concept de recherche en développement
Le modèle de transaction reste un concept en développement plutôt qu'une mise à niveau confirmée du réseau Ethereum. Sa mise en œuvre nécessiterait des travaux supplémentaires pour déterminer comment l'architecture pourrait être déployée en toute sécurité et quelles exigences techniques elle imposerait à l'infrastructure d'Ethereum.
Si l'approche s'avère pratique, la séparation des dépendances et des actions pourrait ouvrir des opportunités de validation parallèle, réduire les calculs dupliqués et rendre le traitement des transactions plus efficace.
Pour l'instant, cependant, la proposition représente un domaine de recherche en cours. Son impact potentiel dépendra de développements ultérieurs, d'évaluations de sécurité et de la capacité des développeurs d'Ethereum à traduire les idées sous-jacentes en une conception de réseau réalisable. Comme pour les précédentes propositions d'amélioration d'Ethereum, le concept devrait passer par le processus d'examen public et de normalisation de l'écosystème avant que quelque partie que ce soit puisse atteindre le mainnet.
Source : Hokanews