Back to all reports

以太坊研究日报

Ethereum Research Daily

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.

Image for May 18, 2026

Image: Ethereum Magicians, ERC-8265: Prepared Transaction Envelope (mike-diamond)

Wallets and signing: what you sign is what executes

ERCs #1753

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.

https://github.com/ethereum/ERCs/pull/1753

EIP draft: Transaction Event Manifest, a signed, protocol-enforced declaration of what a tx may emit

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.

https://ethereum-magicians.org/t/eip-draft-transaction-event-manifest-a-signed-protocol-enforced-declaration-of-what-a-tx-may-emit/28558

Security: AI and formal verification

Protocol

Other updates

Community