EF: the trusted computing base of an Ethereum client

0xbBfd...e91B · 2026-10-06T05:42:59.000Z

by George and Kev. Thanks to Alex Hicks for the many stimulating discussions that shaped this post. Motivation It’s 2026 and AI has been breaking the Internet lately. Formal verification (FV) seems to be the way for defenders to get an edge in the long run. However, formal verification is a term that’s thrown around easily and it’s worth digging deeper to see what it means in the context of Ethereum. An important lens when thinking about formal verification is the TCB (Trusted Computing Base...