Er behauptet, dass jüngste Arbeiten zu Account Abstraction, State-Design und kryptografischer Proof-Aggregation dazu beitragen, die Trennung zwischen dem, was Transaktionen bewirken, und dem, was vor der Ausführung bewiesen werden muss, klarer zu machen.
Buterin sagte, neuere Forschungen zu EIP-8141, alternativen State-Modellen, Keyed Nonces und rekursiven, auf STARK basierenden Mempools hätten ein expliziteres konzeptionelles Modell von Transaktionen hervorgebracht.
Der Schlüssel liegt darin, zwischen zwei Komponenten zu unterscheiden: „Aktionen“ und „Abhängigkeiten“.
„Eine Aktion ist eine Auswirkung, die eine Transaktion hat“, erklärte Buterin.
Die Unterscheidung mag vor allem konzeptionell klingen. Allerdings argumentiert Buterin, dass die explizite Trennung der beiden es Ethereum-Entwicklern ermöglichen könnte, sie auf grundlegend unterschiedliche Weise zu optimieren.
Warum das wichtig ist
Die Validierung und Ausführung sind traditionell miteinander verflochten. Nodes empfangen Transaktionen, validieren die erforderlichen Informationen und führen sie schließlich aus.
Buterin argumentiert, dass Abhängigkeiten Eigenschaften haben, die sie besonders für eine Optimierung geeignet machen.
Viele Abhängigkeiten können parallel überprüft werden. Einige können vom Mempool geprüft werden, bevor die Transaktion einen Block erreicht. Andere erfordern überhaupt keinen Zugriff auf den Ethereum State.
Diese sogenannten „reinen“ Abhängigkeiten könnten möglicherweise einmalig vom Mempool geprüft werden und müssten dann nicht mehr von jedem Validator erneut ausgeführt werden.
Laut Buterin könnten große Sammlungen solcher Prüfungen letztlich durch einen einzigen STARK ersetzt werden, der beweist, dass sie alle korrekt durchgeführt wurden.
„Abhängigkeiten können parallel verarbeitet werden“, schrieb er.
