Ethereum Research Proposes Order-Dependent Transaction Admission Rules for Frame Transactions and Account Abstraction

Ethereum Research has proposed that, in frame transactions and account abstraction scenarios, the key distinction for transaction admission rules should be whether verification logic depends on the order of transactions within a block, rather than the amount of state read. According to Odaily, the article divides transactions into three categories: single-writer state, shared state that can accept an older state root, and contested state that must read real-time values. It also says that only "exactly once" assertions, such as whether a nullifier has been used or whether a slot is still free, naturally require total-order coordination and cannot fully remove order dependence through proof-based admission alone.