Vitalik Buterin recently mentioned that research on Ethereum's transaction format is progressing. The related work focuses on account abstraction, state design, and cryptographic proof aggregation, with the goal of separating the "actions" and "dependency conditions" of transactions for processing.
Action and dependency splitting
Buterin believes that a transaction is not just an execution. It also involves conditions that need to be verified first. By separating the two, developers can optimize the verification and execution processes separately.
More flexible verification methods
He mentioned that some dependency checks can be performed in parallel, and some can even be processed by the memory pool before the transaction is added to a block. There are also some “pure” dependencies that do not require access to the Ethereum state and may only need to be checked once.
Related to EIP-8141
According to Buterin, research surrounding EIP-8141, the alternative state model, keyed nonce, and recursive STARK memory pools has made the conceptual model of transactions clearer. If these checks can be proven to have been correctly completed, they may in the future be uniformly confirmed by a single STARK proof.
