V神:Lean Ethereum是以太坊的第三次重大迭代!涵盖递回STARK验证、量子安全、隐私等

时间:2026-07-05 来源:高达手游网 作者:佚名



13d079c6f30210597bd89c1397c936a.jpg




  两周前,以太坊研究者在柏林集会,延续今年四月与客户端团队在斯瓦尔巴(Svalbard)的讨论,继续规划协议的长期发展轨迹。更新后的strawmap已发布在strawmap.org,我也在这篇贴文附上了它的图片。以下是我自己的高层次要点整理:


Lean Ethereum是以太坊的第三次重大迭代

  「Lean Ethereum」不是一次性的单一升级,而是一系列改进的集合,将在三到四年间陆续在以太坊网络上线。但别搞错了:这就是以太坊的第三次重大迭代,正如The Merge是第二次一样。协议中几乎每一个主要组件都会被替换:


  •   验证改用递回STARK,而非直接重新执行。递回STARK将成为协议内建的一级核心组件


  •   把所有易受量子攻击的部分替换为量子安全的替代方案


  •   共识:可用链与最终性解耦,一轮或两轮最终性。理论上最优的安全属性,比现在更简单、也比现在更快


  •   多维gas


  •   状态:不只是树状结构,还包括可用的状态「型态」本身


  •   客户端架构的变更


  •   ⋯⋯


  与此同时,还会进行简化、清理与面向未来的强化。而这一切都会以对现有应用干扰最小的方式完成。我们以前做到过(The Merge),我们可以再做一次。


H-star是最后一个「前Lean」分叉

  H-star(又名Hegota)大概是以太坊最后一个主题上属于「前Lean」时代的分叉。从I-star开始,我们做的大多数事情都会以某种形式带有非常强烈的「Lean」色彩。


隐私成为一级目标

  隐私不再是事后补救,而是一级目标。在设计 s、mempool、状态树的新增功能时,我们会明确地问:「量子安全、无中介的隐私协议交易要怎么通过这里?开销是多少?」


全面形式化验证

  为了安全性,对一切进行形式化验证。


  形式化验证也让我们对「正典化」(canonicalization)安心许多——也就是让协议的某些部分直接以某种语言表达的一段位元组码来定义。evm-asm的撰写目的之一,就是成为EVM的正典证明系统。


量子安全的优先级大幅提升

  量子安全的优先级提升了非常多。这增加了大量工作(例如敲定量子安全的blob设计已变得刻不容缓;这项工作已经持续进行了好几个月)。


最具颠覆性的部分:状态的变革

  整个计划中最具颠覆性的部分,大概是对状态的变更。目前逐渐形成的共识是:现行风格的「动态状态」大致维持不变,只做中等幅度的扩容;同时新增更利于扩展的新型态状态——例如区块建构者(builder)不需要同步或储存全部资料——但限制较多,而这类状态将会大幅扩展。


  举例来说,2030年的以太坊可能是:2TB的现行风格(动态)状态,加上100TB的新型态(可扩展但受限)状态。


  这种「新型态」状态非常适合ERC20、NFT和许多DeFi用例,但不适合高度「中心性」的物件,例如Uniswap合约、链上订单簿或其他复杂的东西(这些对以太坊至关重要,但只占状态的一小部分)。


  因此,任何应用都不必重写,但重写会非常划算——例如把一个ERC20代币改写成使用目前正在探索的新型UTXO储存的新设计,交易手续费可以降低10倍以上。


  这些新状态型态的设计(目前的想法包括:keyednonces、环形缓冲区、UTXO、可静态存取的状态、临时状态),是一个非常需要应用开发者(包括注重隐私的应用开发者)回馈的领域,可能还需要好几轮的重新思考与迭代。


谁来储存状态?激励问题成为一级研究领域

  在总状态规模大得多的情境下,我们需要厘清围绕「谁来储存这些状态、是什么激励他们这么做」的问题。就算说「每个节点储存1%」也还不够好——他们为什么要储存那1%?又为什么愿意对外提供这些资料?这正被提升为一级研究领域。


EVM之外:以太坊需要新的VM

  以太坊将需要一个EVM以外的「VM」,无论以何种形式——至少,我们需要像leanISA这样的东西来支持递回STARK——而把它开放给使用者的收益很大,因为这样我们就能支持可程序化隐私与更好的扩展性。目前最有可能的竞争者是leanISA和RISC-V。


  我自己的理想是:在这个世界里,我们调整协议,让EVM变成高阶语言的编译器层级功能,协议本身只直接「看到」RISC-V/leanISA。但这还很遥远。


Gas上限、blob与slottime的持续改进

  在未来约5年内,gas上限提升、blob增加与slottime缩短会发生很多次。我们预期Glasterdam会带来一次大幅的gas上限提升。每一步规模的扩大或slottime的缩短,都取决于何时能安全地执行,而这来自客户端优化与协议变更的结合。


结语

  以太坊是CROPS。


  以太坊正在扩展。


  以太坊正在重塑自己。


  继续前进。