Le cofondateur d'Ethereum, Vitalik Buterin, a décrit ce qu'il considère comme une évolution potentiellement majeure des transactions d'Ethereum.
Il affirme que les travaux récents sur l'abstraction de compte, la conception de l'état et l'agrégation de preuves cryptographiques contribuent à une séparation plus claire entre ce que font les transactions et ce qui doit être prouvé avant qu'elles puissent le faire.
Buterin a déclaré que les recherches récentes autour de l'EIP-8141, des modèles d'état alternatifs, des nonces clés et des mempools récursifs basés sur STARK ont produit un modèle conceptuel plus explicite des transactions.
La clé est de distinguer deux composantes : les « actions » et les « dépendances ».
« Une action est un effet qu'une transaction a », a expliqué Buterin.
La distinction peut sembler largement conceptuelle. Cependant, Buterin soutient que séparer explicitement les deux pourrait permettre aux développeurs d'Ethereum de les optimiser de manières fondamentalement différentes.
Pourquoi c'est important
La validation et l'exécution sont traditionnellement entrelacées. Les nœuds reçoivent les transactions, valident les informations requises et finissent par les exécuter.
Buterin soutient que les dépendances ont des propriétés qui les rendent particulièrement adaptées à l'optimisation.
De nombreuses dépendances peuvent être vérifiées en parallèle. Certaines peuvent être examinées par le mempool avant que la transaction n'atteigne un bloc. D'autres ne nécessitent pas du tout l'accès à l'état d'Ethereum.
Ces dépendances dites « pures » pourraient potentiellement être vérifiées une fois par le mempool puis jamais réexécutées par chaque validateur.
Selon Buterin, de grandes collections de telles vérifications pourraient éventuellement être remplacées par un seul STARK prouvant qu'elles ont toutes été effectuées correctement.
« Les dépendances peuvent être traitées en parallèle », a-t-il écrit.
