Ethereum Foundation proposes native transaction assertions to enforce transaction outcomes

• —The Trillion Dollar Security initiative flags blind signing and transaction uncertainty as user-experience risks
• —Assertions check net changes to balances, storage, code and events, reverting the transaction if a rule fails
• —The post cites the Bybit and BadgerDAO attacks and a $50.4 million aEthUSDT-to-aEthAAVE swap loss
• —One proposed approach is EIP-7906 (Transaction Assertions via State Diff Opcode)