Ethereum Foundation Explores Rules to Check Transaction Results

The Ethereum Foundation is exploring a way to check whether transactions produce specified results, with EIP-7906 among the possible implementations of a mechanism designed to constrain execution outcomes.

The proposed Native Transaction Assertions would let a transaction carry conditions for its final result. After execution, the system would check changes to balances, contract storage, code and events. A transaction that fails its specified conditions would be rolled back.

The mechanism is intended to address cases where a transaction’s eventual effects differ from what the user intended, despite the use of signatures, clear signing or transaction simulations.

EIP-7906 is one candidate for implementing the mechanism. Its inclusion in an Ethereum upgrade has not been decided.