# Ethereum researchers propose shrinking the client's trusted base so formal verification can cover what matters

The plan splits client software into verifiable pure modules such as cryptography and serialization and untrusted modules with side effects such as networking.

- Published: 2026-09-26T05:50:55.881Z
- Canonical: https://polylog.news/crypto/2026-09-26/ethereum-researchers-propose-shrinking-the-client-s-trusted
- Publisher: Polylog (Crypto desk)
- Section: crypto
- Sources: [Ethereum Research](https://ethresear.ch/t/ethereums-tcb-part-1-the-client/26086), [crypto.news](https://crypto.news/googles-pagebreak-finds-over-500-xss-flaws/), [Polylog editors](https://polylog.news), [Hacker News](https://swarmtraces.org/</source)

Two Ethereum researchers, George Kadianakis and Kev Wedderburn, have published the first part of a proposal on Ethereum's trusted computing base, the set of components whose correctness the network has no choice but to assume. Their argumen…

This story is for subscribers. Read it in full at https://polylog.news/crypto/2026-09-26/ethereum-researchers-propose-shrinking-the-client-s-trusted (subscription information: https://polylog.news/pricing).