9 月 16 日，以太坊基金会（Ethereum Foundation，EF）Protocol 团队在 Reddit 举行新一轮 AMA，讨论覆盖扩容、隐私、抗量子安全、形式化验证、ETH 发行和客户端资金等议题。根据 ETHTAO 对 AMA 的整理，这场讨论呈现出一条逐渐清晰的主线：抗量子迁移正在影响以太坊未来几年的技术优先级，ZK 证明也越来越多地进入账户、共识和隐私设计。
整理文章同时提醒，AMA 中不少回答属于研究者个人观点。阅读这些内容时，需要区分已经取得的成果、尚待通过的升级提案，以及更远期的研究设想。
抗量子迁移被放到核心位置
Protocol 团队提出的目标，是在 2029 年 12 月前实现具备抗量子能力的 Ethereum L1。这个目标并不只涉及某一个模块，而是覆盖整条链：用户账户需要新的签名机制，共识层需要替代 BLS 的签名与聚合方式，数据可用性层也要调整对 KZG 的依赖。
整理文章指出，这些工作必须跨层协调，很难通过一次孤立升级完成。即便核心协议完成迁移，钱包、Rollup、桥和应用也不会自动获得抗量子能力，相关系统仍需分别检查各自依赖的密码学组件并完成迁移。
Frames 被视为账户抽象的重要方向
账户层的关键变化之一是 Frames。按照 AMA 中的说法，这一机制让交易验证逻辑变得可编程。结合相关迁移提案，用户未来有机会让账户摆脱原有 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 最终性路径已经结束，不过接近这一体验的目标仍然保留。
新的解耦共识思路允许最终性逐步改善，而不必等待验证者规模、网络和签名聚合问题同时解决。按照他的判断，早期阶段可能先把最终性时间从约 16 分钟缩短至约 4 分钟，长期再争取 1 到 2 个 slot 量级的最终性。
ETH 发行政策仍缺少广泛共识
与技术路线相比，ETH 发行政策的分歧更明显。Justin Drake 和 Anders Elowsson 都明确以个人身份支持调整当前发行机制。他们担心，持续的质押激励会让不质押持有人承受越来越大的相对压力，进而把更多用户推向交易所或流动性质押代币，并增加合约、治理和集中化风险。
这场争论也延伸到 ETH 的经济角色。如果越来越多 ETH 被转化为带有额外风险的质押凭证，原生 ETH 作为货币和抵押品的地位会如何变化；围绕质押收益的业务是否会挤占其他 DeFi 创新；减少发行又会不会让独立质押者更难进入。这些问题在整理文章中被列为尚待讨论的核心分歧，不能只靠比较名义年化收益来回答，还需要分析参与者的实际成本和质押者构成。
支持改革并不等于方案已经确定。Anders 强调，调整发行需要具备清晰激励效果的设计、能够解释质押总量和参与者构成的模型，以及对收益与代价的公开讨论。社区成员也对改革紧迫性、由谁召集讨论、现有流程是否足够提出异议。此次 AMA 没有形成已经决定减发或限制质押比例的政策结论。
EF 组织协作继续扩展
除技术与经济议题外，AMA 也涉及组织层面的分工变化。整理文章称，Access Layer 开始承担协议之上的应用和开发者支持工作，Ethlabs 成员继续参与技术研讨和架构讨论，Ethereum Institutional 则与研究者合作，向机构解释抗量子路线和 Strawmap。
文章最后提到，未来研究、实现和应用之间的衔接，将越来越依赖多个团队持续协作。与此同时，路线图本身仍会继续修订，研究者也没有就 L2 价值捕获、跨链流动性和隐私互操作等问题给出完整答案。