The spent-once guarantee for frame transaction nonces

EIP-8250: forbid reverting approval effects on validation-prefix restore

(AnkushinDaniil) was merged. The nonce consumption section lists the rollbacks that must not revert a payment-scoped `APPROVE`'s effects: a later frame revert, skipping later frames and restoring an atomic-batch snapshot, but not the validation-prefix restore a `POST_TX` assertion failure performs, which discards the transaction body while keeping the transaction valid and included. The PR adds that case to the MUST NOT list.

https://github.com/ethereum/EIPs/pull/12266 2026-09-21

EIP-7906: per-topic-value event views

Was merged today (submitted on the 19th).

https://github.com/ethereum/EIPs/pull/12358 2026-09-21

Privacy and formal methods

ethbeat: a new L2BEAT feature answers "private from whom" for every privacy protocol against 5 adversaries

22:11.

https://x.com/ethbeat_org/status/2102053042803605760 2026-09-21

ethresear.ch: Etheorem update, the complete executable consensus specs in Lean 4

19:51 (leolara); the state transition, fork choice and modeled containers pass all pyspec vectors on Fulu, Gloas and Heze, for both the mainnet and minimal presets.

https://ethresear.ch/t/etheorem-update-the-complete-executable-consensus-specs-written-in-lean-4/26063 2026-09-21

ethresear.ch: post-Glamsterdam one-dimensional fee market and comparison with EIP-7999

17:40.

https://ethresear.ch/t/post-glamsterdam-one-dimensional-fee-market-and-comparison-with-eip-7999/26062 2026-09-21

Other updates

ethlabs_org: week 13 brought 20+ teams explaining why a faster L1 matters and research into cutting finality times by more than half

01:10.

https://x.com/ethlabs_org/status/2101735860282532180 2026-09-21

StarkWare: 200+ privacy projects in the STRK20 hackathon, with three winners announced

21:47.

https://x.com/StarkWareLtd/status/2102047013122785723 2026-09-21

zksecurity: Clean's introduction to formal verification

22:56.

https://x.com/zksecurityXYZ/status/2102064343844045110 2026-09-21

the Base chain identifier example

ERC-8048 merged two revisions: the Base chain identifier example and metadata_contract as a plain EVM address.

https://github.com/ethereum/ERCs/pull/2015 2026-09-21

metadata_contract as a plain EVM address

ERC-8048 merged two revisions: the Base chain identifier example and metadata_contract as a plain EVM address.

https://github.com/ethereum/ERCs/pull/2016 2026-09-21

Community

barnabemonnot: verifiability is the most underrated property of truly public blockchains

13:56.

https://x.com/barnabemonnot/status/2101928462638268576 2026-09-21