Ethereum researchers have suggested that admission rules for transactions in frame transactions and account abstraction contexts should hinge on whether the verification logic depends on the order of transactions within a block, rather than on how much state is read.

According to Odaily, the article categorizes transactions into three state models: single-writer state, shared state that can tolerate an older state root, and contested state that requires contemporaneous, real-time values.

It also notes that only exact-once assertions, such as whether a nullifier has been used or whether a slot remains free, inherently require total-order coordination and cannot be fully eliminated through proof-based admission alone.