RecodeX 重构消息，以太坊基金会成员 George Kadianakis 与 Kev Wedderburn 在以太坊研究论坛发布「以太坊 TCB，第一部分：客户端」文章。文章将可信计算基（TCB）定义为被信任而非被证明的组件、规范、工具与假设，并探讨形式化验证普及后抽象以太坊客户端的 TCB 将如何缩小。文章主张把软件拆分为易验证的「纯」模块（如密码学、SSZ）与带副作用、难验证的「脏」模块（如网络），将脏模块视为不可信，集中验证纯模块，并把已验证边界尽量推进到网络解析、gossip 与同步逻辑。