【英文长推】Vitalik Devconnect 阿根廷演讲拆解：从 EIP-7732 到 zkVMs 再到 lean 以太坊

Chainfeeds 导读：

以太坊正在从一个概念性的「世界计算机」，进化为一个稳健且保护隐私的技术栈。

文章来源：

文章作者：

tcoratger

观点：

tcoratger：哲学：验证 vs 信任。中心化实体依赖的是「不要作恶」。以太坊通过协议约束实现「不能作恶」。它打造了一个可信、中立的平台，让用户验证状态，而不是信任中介机构的偿付能力。世界计算机不同于专用型协议，以太坊拥抱通用可编程性。它不是为了无限扩展（例如 LLM 推理），而是为了全局共识。它维持一个不受地缘政治压力影响的单例状态（singleton state）。除了 DeFi 之外，区块链还裁决交易排序。没有共识时，点对点网络会允许双花。实用性延伸到「不存在性证明」（Proof of Inexistence）—— 通过密码学证明某个资产的稀缺性，或证明某个事件没有发生。 孤立运行的区块链存在弱点：交易是公开的，去中心化限制速度；低于 50ms 的延迟必然意味着中心化。无法直接访问真实世界数据，必须依赖预言机。解决方案是可编程密码学。ZKP 在不暴露数据的前提下验证。MPC/FHE 在加密输入上进行计算。这将范式转向无需中心化中介的协作式计算。Gas 限额正在提升。关键升级包括 EIP-7732（PBS），验证者能花更多时间处理区块而不导致中心化。区块级访问列表，允许交易并行处理，打破串行执行瓶颈。 同步历史需要 TB 级数据和数天时间。zkVMs 改变了这一点。通过 SNARK 验证执行，而不是重新计算历史，计算需求降至近乎为零。这使移动端原生节点成为可能，进一步增强去中心化。FOCIL 允许更广泛的验证者集合提出「迷你区块」，提升交易被纳入的保证。账户抽象智能钱包实现密钥轮换和社交恢复，无需中心化依赖。长期的目标是 lean 以太坊，包括对对技术栈进行优化：适合 zk 的哈希算法（Poseidon）、形式化验证、单 Slot 终局性（Single-Slot Finality）及抗量子能力。重点是安全性、简洁性和数学上的最优性。