從 EF Protocol AMA 看以太坊的下一階段

作者：SNZ Holding 、ETHTAO

本文整理至 9月16日 EF 研究員在 Reddit 與社區的 AMA，原始 AMA 記錄：https://www.reddit.com/r/ethereum/comments/1wf48x3/comment/p9pw3pv/

抗量子貫穿所有環節

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 價值捕獲、跨鏈流動性和隱私互操作等問題給出完整答案。

本內容僅供參考，不構成任何金融、投資、法律或稅務建議。文中提及的任何活動、獎勵、線上活動或相關資訊，不應被視為對購買、出售或交易任何加密資產的推薦、招攬或邀請。加密資產具有高波動性，存在價值損失風險。WEEX服務、產品及相關活動的可用性可能因地區而異。用戶在參與前有責任確保符合當地適用法律法規。