Der Ethereum-Mitbegründer Vitalik Buterin hat dargelegt, was er als eine potenziell bedeutende Weiterentwicklung der Transaktionen von Ethereum ansieht.
Er behauptet, dass die jüngsten Arbeiten zur Kontenabstraktion, zum Zustandsdesign und zur Aggregation kryptografischer Beweise zu einer klareren Trennung zwischen dem, was Transaktionen tun, und dem, was bewiesen werden muss, bevor sie es tun können, beitragen.
Buterin sagte, dass die jüngste Forschung rund um EIP-8141, alternative Zustandsmodelle, schlüsselgebundene Nonces und rekursive STARK-basierte Mempools ein expliziteres konzeptionelles Modell von Transaktionen hervorgebracht hat.
Der Schlüssel liegt darin, zwischen zwei Komponenten zu unterscheiden: "Aktionen" und "Abhängigkeiten".
"Eine Aktion ist ein Effekt, den eine Transaktion hat", erklärte Buterin.
Die Unterscheidung mag weitgehend konzeptionell klingen. Buterin argumentiert jedoch, dass die explizite Trennung der beiden es Ethereum-Entwicklern ermöglichen könnte, sie auf grundlegend unterschiedliche Weise zu optimieren.
Warum es wichtig ist
Validierung und Ausführung sind traditionell miteinander verflochten. Knoten 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 die Optimierung geeignet machen.
Viele Abhängigkeiten können parallel überprüft werden. Einige können vom Mempool untersucht werden, bevor die Transaktion einen Block erreicht. Andere benötigen überhaupt keinen Zugriff auf den Ethereum-Zustand.
Diese sogenannten "reinen" Abhängigkeiten könnten möglicherweise einmal vom Mempool überprüft und dann nie wieder von jedem Validator ausgeführt werden.
Laut Buterin könnten große Sammlungen solcher Prüfungen schließlich durch einen einzigen STARK ersetzt werden, der beweist, dass sie alle korrekt durchgeführt wurden.
"Abhängigkeiten können parallel verarbeitet werden", schrieb er.
