Vitalik Buterin Proposes Separating Transaction Validation From Execution on Ethereum
Key Takeaways
- •Buterin's proposal separates transaction dependencies, the conditions required before execution, from transaction actions, the changes made on Ethereum.
- •Dependencies that can be evaluated without network state, termed pure dependencies, could be verified in the mempool before block inclusion, enabling parallel and concurrent checks.
- •Recursive STARK technology could aggregate multiple completed verification checks into a single proof, reducing repeated computation by validators.
- •Keyed nonces would allow separate transaction sequences within one account, so unrelated operations are not blocked by a delayed transaction.
- •The design is still a developing research concept and would need security work plus Ethereum's public review and standardization process before reaching mainnet.

Ethereum co-founder Vitalik Buterin has outlined a proposed transaction design that would separate the conditions required to validate a transaction from the actions ultimately executed on the network, potentially allowing Ethereum to handle validation work more efficiently.
The proposal draws on several strands of Ethereum research, including EIP-8141, keyed nonces, alternative state designs, and recursive STARK-based mempools. Buterin's research distinguishes between transaction actions, which produce changes on Ethereum, and dependencies, which must be resolved before those actions can safely execute.
Under the proposed model, this separation could allow different parts of transaction processing to be handled independently, rather than requiring validation and execution to remain tightly coupled.
Transaction Design Could Enable Parallel Validation
Actions describe the effects a transaction generates, such as transferring tokens, updating accounts, or interacting with smart contracts. Dependencies, by contrast, represent the conditions that must be established before those actions can proceed.
Ethereum's existing transaction flow links these validation requirements with execution: nodes receive transactions, check whether their requirements are satisfied, and then process the requested operations.
Buterin's proposal suggests that many dependencies could instead be handled independently, because they do not necessarily share the same characteristics as the actions themselves.
Some dependencies rely on information contained in Ethereum's state, while others can be evaluated without accessing network state. The latter category, described as pure dependencies, could potentially be verified before a transaction is included in a block.
Moving this work into the mempool could reduce the amount of validation nodes must repeat during block execution. It could also allow multiple dependencies to be checked concurrently, rather than requiring every condition to be processed sequentially.
That distinction could become increasingly relevant as Ethereum transactions grow more complex and require more sophisticated authorization and execution logic. Parallel execution and improved validation throughput are recurring themes in Ethereum's scalability roadmap, which has emphasized increasing the network's transaction capacity through a combination of layer-2 rollups and base-layer improvements.
Recursive STARKs and Account Abstraction Form Part of the Proposal
Recursive STARK technology is another component of the concept. Multiple completed verification checks could potentially be combined into a single cryptographic proof, allowing validators to verify an aggregated result instead of independently repeating every underlying computation. STARK-based proving systems are already used elsewhere in the Ethereum ecosystem, including in zero-knowledge rollups, where they compress computation into succinct proofs.
The proposed architecture also connects to Ethereum's broader account abstraction research. EIP-8141 explores transaction formats designed to support more flexible authorization and execution mechanisms, while keyed nonces could provide greater flexibility in how transactions from individual accounts are ordered. Account abstraction has progressed incrementally on Ethereum through earlier efforts such as ERC-4337, which introduced an alternative mempool and smart contract accounts, and EIP-7702, which allows externally owned accounts to temporarily adopt smart contract functionality.
Traditional Ethereum nonces generally force transactions from the same account into a sequential order. As a result, a delayed transaction can prevent subsequent transactions from being processed as intended.
Keyed nonces would create separate transaction sequences within a single account, allowing unrelated operations to proceed independently rather than being held up by an earlier transaction.
Alternative state designs could further change how Ethereum organizes transaction information and determines which conditions need to be validated.
Taken together, these approaches point toward a more modular transaction architecture in which intent, authorization, dependency verification, and execution could be handled as distinct components.
Proposal Remains a Developing Research Concept
The transaction model remains a developing concept rather than a confirmed Ethereum network upgrade. Its implementation would require further work to determine how the architecture could be deployed securely and what technical requirements it would impose on Ethereum's infrastructure.
If the approach proves practical, separating dependencies from actions could open opportunities for parallel validation, reduce duplicated computation, and make transaction processing more efficient.
For now, however, the proposal represents an area of ongoing research. Its potential impact will depend on further development, security assessment, and the ability of Ethereum developers to translate the underlying ideas into a workable network design. As with prior Ethereum improvement proposals, the concept would need to move through the ecosystem's public review and standardization process before any part of it could reach mainnet.
Source: Hokanews