Il affirme que les travaux récents sur l’abstraction de compte, la conception de l’état et l’agrégation des 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é et des mempools récursifs basés sur STARK ont abouti à un modèle conceptuel plus explicite des transactions.
L’essentiel est de distinguer deux composantes : les « actions » et les « dépendances ».
« Une action est un effet qu’a une transaction », a expliqué Buterin.
La distinction peut sembler largement conceptuelle. Toutefois, Buterin soutient qu’une séparation explicite des 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 entremêlées. Les nœuds reçoivent des transactions, valident les informations requises, puis les exécutent.
Buterin affirme que les dépendances possèdent 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 d’accès à l’état d’Ethereum.
Ces soi-disant « dépendances pures » pourraient potentiellement être vérifiées une seule fois par le mempool, et ensuite plus jamais exécutées individuellement par chaque validateur.
Selon Buterin, de larges ensembles de telles vérifications pourraient à terme être remplacés par un seul STARK prouvant qu’elles ont toutes été exécutées correctement.
« Les dépendances peuvent être traitées en parallèle », a-t-il écrit.
