Yeah agree, SSZ’ifying the EL has been discussed and I’m a big advocate for it. As you say, it’s only the “make the proof small and efficient” part. My feeling is that UTXOs + Trustless Logs will be a great combo.
UTXOs openings should be treated differently from every other log (e.g. they should be parsed by clients and then stored in some separate db efficiently), and to make lookups fast for full nodes that don’t store them, we’d need an efficient way to find the ddata (eip-8304).
| # | Наименование новости | Тональность | Информативность | Дата публикации |
|---|---|---|---|---|
| 1 | Scaling Ethereum with recursive STARKs and the Trustless Log Index | 0 | 6.14 | 15-09-2026 |
| 2 | Bloom Filters And Keyed Nonces | 0 | 8.23 | 08-09-2026 |
| 3 | Lean4 SSZ library: formally verified and easy to use | 0 | 13.53 | 13-09-2026 |
| 4 | Mempool Account Transaction Capacity from Historical Activity (MATCHA) | 0 | 9.38 | 22-09-2026 |
| 5 | Etheorem update: the complete executable consensus specs written in Lean 4 | 0 | 4.8 | 21-09-2026 |
| 6 | Public-mempool gas sponsorship needs escrow, a bond, or trust | 0 | 6.46 | 14-09-2026 |
| 7 | EIP-8334: Bundled Attestation Propagation | 0 | 13.2 | 14-07-2026 |
| 8 | ERC-8340: Transaction Metadata Encoding | 0 | 34.21 | 15-07-2026 |
| 9 | All Core Devs - Consensus (ACDC) #183, July 23 2026 | 0 | 15.18 | 13-07-2026 |