Vitalik Buterin, cofondateur d’Ethereum, a exposé une évolution potentiellement majeure des transactions de la blockchain. Il affirme que les travaux récents sur l’abstraction de comptes, la conception des états et l’agrégation de preuves cryptographiques permettent une séparation plus claire entre ce que font les transactions et ce qui doit être prouvé avant leur exécution. La distinction clé porte sur deux composants : les « actions » (effets des transactions) et les « dépendances » (ce qui doit être vérifié). Buterin explique que les dépendances présentent des propriétés particulièrement adaptées à l’optimisation : elles peuvent être vérifiées en parallèle, certaines par le mempool avant même que la transaction n’atteigne un bloc, et certaines n’ont pas besoin d’accéder à l’état d’Ethereum. De grandes collections de ces vérifications pourraient eventually être remplacées par une seule preuve STARK attestant de leur bon déroulement.
Source: Lire l’article original
