Le co-fondateur d’Ethereum, Vitalik Buterin, a décrit ce qu’il considère comme une évolution potentiellement majeure des transactions d’Ethereum.
Il affirme que des travaux récents sur l’abstraction des comptes, la conception d’é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 de pouvoir le faire.
Buterin a déclaré que des recherches récentes autour de l’EIP-8141, des modèles d’état alternatifs, des noms occasionnels à clé et des pools de mémoire récursifs basés sur STARK ont produit un modèle conceptuel de transactions plus explicite.
La clé est de faire la distinction entre deux composants : les « actions » et les « dépendances ».
« Une action est l’effet d’une transaction », a expliqué Buterin.
La distinction peut paraître largement conceptuelle. Cependant, Buterin affirme 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 liées. Les nœuds reçoivent des transactions, valident les informations requises et éventuellement les exécutent.
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. Certains peuvent être examinés par le pool de mémoire avant que la transaction n’atteigne un bloc. D’autres n’ont pas du tout besoin d’accéder à l’état Ethereum.
Ces dépendances dites « pures » pourraient potentiellement être vérifiées une fois par le pool de mémoire, puis ne plus jamais être exécutées par chaque validateur.
Selon Buterin, de grandes séries de contrôles de ce type pourraient éventuellement être remplacées par un seul STARK prouvant qu’ils ont tous été effectués correctement.
« Les dépendances peuvent être traitées en parallèle », écrit-il.
