币圈知识百科

EF Protocol AMA深度解读:抗量子迁移与ZK技术重塑以太坊未来

在9月16日举行的Reddit AMA活动中,以太坊基金会的核心研究人员阐述了接下来数年的技术演进方向:抗量子安全迁移将占据技术优先级的首位,而零知识(ZK)证明技术正深入融合进账户结构、共识层以及隐私保护的设计之中。

抗量子安全贯穿全链路

2026年9月16日,Ethereum Foundation的Protocol团队再次走进Reddit进行AMA交流。本次讨论内容涵盖了扩容方案、隐私保护、抗量子安全性、形式化验证、ETH发行机制以及客户端资金状况等关键议题。梳理这些回答可以发现一条日益清晰的主线:**抗量子迁移正在深刻影响以太坊未来数年的技术优先级,而ZK证明正越来越多地参与到账户、共识和隐私的设计之中。**与此同时,技术路线上的稳步推进并未消除在经济政策和治理层面的既有分歧。

此次AMA的价值在于,研究者不仅解释了当前推进的工作细节,也坦诚地公开了其中的取舍逻辑与不同观点。许多回答明确标注为个人见解,因此,理解这场讨论需要始终区分已取得的成果、尚待通过的升级提案,以及更远期的研究设想。

抗量子安全是理解这些技术取舍的关键起点。Protocol团队设定的目标是在 2029年12月前实现具备抗量子能力的Ethereum L1。这一宏伟目标涉及整条区块链的各个层面:用户账户需要引入新的签名机制,共识层需要替代现有的BLS签名与聚合方式,数据可用性层也需要调整对KZG多项式承诺的依赖。不同层面的工作必须紧密协调,难以通过一次孤立的升级来完成。此外,核心协议的迁移并不会自动赋予钱包、Rollup、桥接协议及应用以抗量子能力,这些生态系统中的组件仍需各自审查其密码学依赖并实施迁移。

Frame transaction is all you need——账户抽象的最终答案

账户层的核心变革在于Frames,它使得交易验证逻辑变得可编程。结合相关的迁移提案,用户有望使账户摆脱对原有secp256k1密钥的单一依赖,并在未来灵活更换签名方案。这种灵活性至关重要,因为抗量子技术仍在快速迭代,协议需要为不同方案的演进预留空间。

然而,支持一种新签名算法与其实际部署的低成本、易用性之间仍有显著差距。Vitalik在回答中进行了对比:ECDSA签名的计算和数据成本约为4,000 gas,而SPHINCS+抗量子签名则需约10万至25万gas,具体数值取决于参数设置。因此,后续工作包括在交易进入区块前对签名进行聚合,并利用证明来替代大量的原始数据和计算过程。这样的机制不仅服务于抗量子账户,也可能降低隐私交易的成本。

ZK-EVM 开始进入实际生产

L1-zkEVM与抗量子迁移因此产生了更多的技术交集。这两条路线都在利用RISC-V zkVM,证明系统和优化工具上的投入可以相互复用。在过去一年中,相关工作已从理论推进到执行规范制定、测试、客户端集成以及开源工具建设等多个阶段。多个zkVM在性能与安全性上均取得了进展,执行客户端和被证明的程序也在通过区块验证、执行见证生成等测试环节。当前的一个重要节点,是确定是否将允许引入可选执行证明的EIP-8025纳入Hegotá升级,以便为后续部署积累经验。

Justin Drake对实时证明的前景相当乐观。他认为主要的性能风险已显著降低,并提到部分团队看好在2027年实现对绝大多数主网区块进行约两秒的证明。但其他回答更强调工程条件的限制:gas上限、新增预编译指令以及出块结构的改变都会增加证明负担,若性能不足,则应推迟强制证明的要求。状态增长也可能比证明延迟更早成为扩容瓶颈。虽然性能突破正在扩大可选方案的范围,但主网上线仍需要完整的安全审计与集成工作。

这种架构还带来了一项去中心化的取舍。生成证明可能需要昂贵的专业硬件,但验证证明的成本却很低。以太坊希望通过这种分工,让普通验证者不必随着执行吞吐量的增加而不断升级设备。相应地,builder和prover的集中化风险需要被认真处理,研究方向包括降低单个证明者的硬件门槛,以及探索分布式证明方案。

隐私有序推进,目前仍有很多基础工作需要完成

隐私技术的发展正是在这些账户与证明能力的基础上向前推进。此次AMA中看似矛盾的两种说法,实际上指向不同的层次:有人认为2027年有望支持原生隐私交易,而Justin却认为在2028年底前实现协议内置隐私池的概率接近于零。前者讨论的是隐私应用如何直接使用以太坊的公共交易通道,后者探讨的是是否将一个统一的隐私池写入协议底层。

近期的目标更接近前一种思路。通过Frames、相关账户机制和FOCIL,隐私应用的交易有望利用公共mempool和协议提供的抗审查能力,从而减少对专门中继的依赖。以太坊因此可以支持多种多样的隐私应用,而不必预先指定一个唯一的官方隐私池。后续若能高效聚合抗量子隐私证明,还可能进一步改善成本和规模效应。需要注意的是,相关的年份预测仍附带条件或属于个人观点。

关于长期是否需要内置隐私池,研究者仍有不同考量。Justin曾提到过默认隐私化的质押ETH,以及让未质押ETH接入这一体系的构想;另有回答者认为,升级后不可变的隐私应用可能已经具备接近协议内置池的属性,因此是否值得继续将其写入协议,仍需深入讨论。L1隐私能力的增强并不意味着隐私L2失去作用:基础转账、隐私稳定币、隐私DeFi以及完整的隐私合约环境,仍可能由不同的系统层级来承担。

形式化验证发展喜人

如果说ZK技术正在扩大协议的功能边界,那么形式化验证则为这些变化提供了更坚实的安全依据。帖子列举了部分签名方案的安全证明、zkVM电路约束的验证,以及EVM执行程序的相关工作。验证过程已经帮助团队发现并修复了真实存在的错误,但从密码学构造、证明系统一直覆盖到具体执行程序的端到端验证,仍未全部完成。

值得关注的是,这项工作正在形成更完整的工具链。Clean尝试在Lean中直接描述电路;hax和Aeneas帮助把Rust实现连接到形式化规范;VCVio、ArkLib提供密码学证明基础;evm-asm推进可验证的执行程序。自动研究和性能优化也开始与证明相结合,让优化后的程序能够接受严格检查。这使得形式化验证更有可能融入日常开发流程,而不仅仅出现在开发结束后的审查环节。

更快的以太坊正在路上

以太坊对速度的追求,也正在适应这些新的约束条件。Ben Edgington在回答中表示,最初设想的单slot最终性路径在他看来已经结束,但接近这一体验的目标仍然保留。新的解耦共识思路允许最终性逐步改善,不必等待验证者规模、网络和签名聚合问题同时全部解决。他预计早期阶段可能把最终性时间从约十六分钟缩短至约四分钟,长期再争取一到两个slot量级的最终性。

货币政策仍需更大范围的社区共识

技术设计可以不断缩小问题范围,但ETH的发行政策却还需要更广泛的社会共识。Justin Drake和Anders Elowsson都明确以个人身份支持调整当前的发行机制。他们担心,持续的质押激励会使不质押的持有人承受越来越大的相对压力,迫使更多用户转向交易所或流动性质押代币,从而增加合约、治理和集中化的风险。

这一争论也涉及ETH在经济中的角色定位。若越来越多的ETH被转化为带有额外风险的质押凭证,原生ETH作为货币和抵押品的地位将发生怎样的变化?围绕质押收益的业务是否会挤占其他DeFi创新?减少发行又会不会让独立质押者更难进入市场?这些问题无法仅靠比较名义年化收益来回答,还需要深入分析参与者的实际成本和质押者构成。

支持改革并不意味着已经确定了最终方案。Anders强调,调整发行需要激励效果清晰的设计、能够解释质押总量和参与者构成的模型,以及对收益和代价的公开讨论。社区成员对改革的紧迫性、谁来召集讨论,以及现有流程是否足够,都提出了异议。此次AMA并没有形成已经决定减发或限制质押比例的政策结论。

EF 新组织架构,将有专门团队与社区协作

组织层面的协作也在不断扩大。Access Layer开始承担协议之上的应用和开发者支持工作,Ethlabs成员继续参与技术研讨和架构讨论,Ethereum Institutional则与研究者合作,向机构解释抗量子路线和Strawmap。未来研究、实现和应用之间的衔接,将越来越依赖多个团队的持续协作。与此同时,路线图本身仍会修订,研究者也没有为L2价值捕获、跨链流动性和隐私互操作等问题给出完整的答案。

到此这篇关于以太坊抗量子迁移路线图解析:从 EF Protocol AMA看以太坊的下一阶段的文章就介绍到这了,更多相关以太坊抗量子迁移路线图内容请搜索以前的文章或继续浏览下面的相关文章,希望大家以后多多支持!