Vitalik responded to the claim that AI bug finding will make secure code impossible, arguing that AI-assisted formal verification is a major reason for optimism. The ERC-8265 prepared transaction envelope and a transaction event manifest EIP draft both target the gap between what users sign and what finally executes. On ACDT #80, EIP-7954's contract size limit was updated to 64KiB. _julianma announced he is leaving the EF.
15:40 (mike-diamond), with ERCs #1753 submitted: an offchain envelope that carries a prepared but unsigned transaction, batch or signature request from the producer that prepared it (a relayer, DeFi UI, intent solver, multisig coordinator or hardware wallet companion) to the consumer that signs it.
ERC-8265: Prepared Transaction Envelope, 15:40 (mike-diamond), with ERCs #1753 submitted: an offchain envelope that carries a prepared but unsigned transaction, batch or signature request from the producer that prepared it (a relayer, DeFi UI, intent solver, multisig coordinator or hardware wallet companion) to the consumer that signs it.
17:29 (zergity): today users commit to calldata, not outcomes, and a malicious frontend, proxy upgrade or state drift can produce a result different from the wallet's simulation; the draft has the protocol bind execution to the events declared at signing.