web3wagmi
← All standards

EIP-7906 Transaction Assertions via State Diff Opcode

DraftCorecreated 2025-02-21requires EIP-2929, EIP-8141

An opcode that provides a mechanism to restrict the outcomes of transaction execution

Authors: Alex Forshtat (@forshtat), Shahaf Nacson (@shahafn), Dror Tirosh (@drortirosh), Yoav Weiss (@yoavw), Fredrik Svantes (@0xfredrik)

Depends on (2)

Proposals this one names in its requires field.

EIP-2929Gas cost increases for state access opcodesEIP-8141Frame Transaction

What the specification covers

AbstractMotivationSpecificationConstantsThe POST_TX Frame ModeTransaction Trace OpcodeState Difference SemanticsTransaction Diff Lookup OpcodeParamsPer-Address RemappingAccount Change FlagsGas CostReserved InputsResults OrderingEVENTDATACOPY opcodeStackBehaviorRationaleSelection Parameter DesignEnumeration and LookupDirect Lookup via TXDIFFPer-Address ViewsAccount Change Flags as a Shield AssertionReceipt Representation and Anti-DoSThe POST_TX Frame Mode RequirementPer-contract UsageIndividual Topic AccessEVENTDATACOPY as a Companion OpcodeGas Pre-Charge ParameterDeterministic EnumerationBackwards CompatibilitySecurity ConsiderationsInsufficiently Restrictive AssertionsEnforcing POST_TX Frame InclusionAssertion Gas ExhaustionThe POST_TX Frame Mode Not Reverting Validation PrefixCopyright

This proposal declares no Solidity interface, so there is nothing to compute. It may be a core protocol change, a meta proposal, or written in prose only.

Compare with

Parsed from the canonical specification · discussion