Wiki 知识库

全部文档 / 作者: ETHTAO

2 篇
清除

从 EF Protocol AMA 看以太坊的下一阶段

本文整理了2026年9月16日以太坊基金会Protocol团队在Reddit上的AMA内容,梳理了以太坊下一阶段的技术路线。核心主线是抗量子迁移正影响未来几年的技术优先级,目标在2029年底前实现抗量子的L1,涉及账户签名、共识层BLS替代和KZG调整。Frames让交易验证可编程,成为账户抽象的关键。ZK-EVM进入实际生产,实时证明性能风险显著降低,但工程条件与状态增长仍是瓶颈。隐私推进有序但内置隐私池尚无共识。形式化验证工具链逐步完善。货币政策与ETH发行调整仍需社区更大范围共识。

技术 › 区块链 ETHTAO 2026-09-209.3 KB 5.5K 31 71

AI 时代形式化验证的供需重构

文章分析了 AI 如何同时推动形式化验证的需求与供给曲线移动。在需求端,AI 代码生成增加了对可信验证的需求,以解决审查瓶颈和意图确认问题;在供给端,AI 自动化了证明生成和规格编写,降低了成本。文章指出,密码学、区块链等高风险领域将率先受益,验证正从高端服务转变为软件基础设施。

技术 › 区块链 ETHTAO 2026-08-0116.0 KB 17.9K 23