Base ZK 升級落地：樂觀證明走向終結，以太坊 L2 安全進入零知識驗證時代

2026 年 5 月 4 日，以太坊 Layer 2 網路 Base 宣布了一項被業內人士稱為“L2 安全分水嶺”的重大升級。透過與零知識證明基礎設施公司 Succinct Labs 合作，Base 將 SP1 零知識虛擬機集成至其 Azul 升級中，為網路上約 74 億美元的存款資產引入密碼學級別的最終確認機制。這不僅意味著用戶從 Base 提現回以太坊主網的等待時間將從最長 7 天大幅壓縮至 1 天，更標誌著以太坊 L2 生態的安全標準正在從“博弈信任”向“數學驗證”發生結構性轉變。

隨著主網激活日期定於 5 月 13 日，這一事件正在引發關於以太坊 L2 安全模型、多證明架構以及去中心化路線的廣泛討論。

關鍵事實速覽

74 億美元資產的安全升級

Base 官方於 5 月 4 日宣布，將透過 Azul 升級引入由 Succinct Labs 開發的 SP1 零知識虛擬機，用於生成零知識證明。此合作的核心在於，SP1 將證明 Base 上約 74 億美元的存款資產，使該網路成為迄今為止採用 ZK 證明實現最終確認的規模最大的單一以太坊運營商。

Base 網路負責人 Wilson Cussak 在聲明中表示：“隨著網路規模的成長，對用戶和開發者日常依賴的基礎設施的強化需求也在同步增長。透過 ZK 證明擴展 Base，是深化網路安全性與韌性的重要一步。”

值得注意的是，Base 並未完全放棄其現有的樂觀匯總架構，而是選擇了混合路線——將 TEE 證明與 ZK 證明共同納入多證明體系。Azul 升級已於 4 月 21 日在測試網上線，5 月 13 日將正式激活主網。為確保程式碼安全，Base 在 Immunefi 平台發起了審計競賽，總獎池包括 175,000 美元的基礎池和 25,000 美元的全明星池，比賽於 4 月 21 日開始，5 月 4 日結束。

從 OP Stack 依賴到獨立架構的 ZK 轉型

Base 的 ZK 轉型並非孤立的單點決策，而是一系列技術與策略調整的延續。理解此一過程，有助於掌握此次升級在整個 Base 發展軌跡中的位置。

2024 年至 2025 年：OP Stack 時期

Base 最初作為 Optimism Superchain 生態成員啟動，使用 OP Stack 作為底層技術框架。在此架構下，Base 採用樂觀匯總模型——預設所有交易批次有效，設有約 7 天的挑戰期，期間任何人都可對可疑交易提出爭議。此模型以“等待質疑”為核心安全假設。

2026 年 2 月：脫離 OP Stack 轉向統一程式庫

Base 宣布將網路關鍵元件從 OP Stack 剝離，整合至自有統一程式庫。自此之後，節點運營商跟蹤 Base 自身的發布版本而非 Optimism 的版本，網路升級頻率從每年 3 次提升至 6 次。同時，Base 宣布將在後續硬分叉中推進從樂觀證明向 TEE/ZK 證明的架構轉型，維持 Stage 1 Rollup 狀態，並為安全委員會新增獨立簽名人。

2026 年 4 月 21 日：Azul 升級上線測試網

Azul 升級正式部署到測試網，首次引入了多證明體系——結合 TEE 和 ZK 證明。新架構將 Base 的客戶端棧統一為 base-reth-node 單一執行客戶端和基於 Kona 的新共識客戶端 base-consensus。升級後空塊數量從每日約 200 個降至約 2 個，降幅達 99%；網路在測試網階段處理了多輪 5,000 TPS 的交易突發。

2026 年 5 月 4 日：ZK 證明合作正式公布

Base 與 Succinct 的合作正式公開，SP1 將用於證明 Base 上約 74 億美元的存款。

2026 年 5 月 13 日（預計）：主網激活

Azul 升級將在 Base 主網正式激活，標誌著混合多證明體系進入生產環境。

時間線一覽

多證明體系如何重塑 L2 安全模型

舊架構的安全假設與現實摩擦

在樂觀匯總模型下，Base 預設所有提交至以太坊主網的狀態批次均為有效。只有當有人在 7 天挑戰窗口內提交欺詐證明時，系統才會對爭議交易進行審查。此一機制的安全核心建立在兩個前提之上：第一，至少存在一個誠實的驗證者願意且能夠在規定時間內發現並提交欺詐證明；第二，挑戰期的長度足以覆蓋驗證者發現和響應的時間。

現實中的摩擦在於——7 天的資金鎖定期限制了資本效率。同時，挑戰期的安全效能與網路規模之間存在非線性關係：資產規模越大、交易越複雜，單一挑戰窗口的驗證壓力越集中。

新架構：TEE 加 ZK 雙重驗證

Azul 升級的核心設計是構建一個多證明體系，同時運行兩條獨立驗證通道：

TEE 證明通道：由可信執行環境生成證明，屬於許可式通道，具有處理效率高的特點。TEE 在硬體層面提供隔離執行環境，確保計算過程不被篡改。

ZK 證明通道：由 SP1 零知識虛擬機生成密碼學證明，屬於無需許可通道。SP1 基於 RISC-V 指令集，支持用標準 Rust 語言編寫驗證程式，編譯為 RISC-V 後生成執行的 ZK 證明。開發者無需編寫定制電路即可完成 ZK 整合。

兩種證明均可獨立完成交易提案的最終確認。當兩者結果一致時，提現結算時間從 7 天大幅縮短至 1 天。當兩類證明產生矛盾時，無需許可的 ZK 證明將覆蓋許可式 TEE 證明——此一設計為系統提供了鏈上故障檢測與處理能力，向 L2BEAT 定義的 Stage 2 去中心化邁出了關鍵一步。

SP1 的性能基礎

SP1 在技術層面具備以下已驗證指標：SP1 Hypercube 在 16 塊 RTX 5090 GPU 配置下，能夠在 12 秒內完成以太坊主網 99.7% 區塊的零知識證明。SP1 還是首個對所有 62 個核心 RISC-V 操作碼進行了完整形式化驗證的 zkVM，該驗證由 Nethermind Security 和以太坊基金會共同完成。

從生態採用看，SP1 已為超過 35 個客戶生成了數百萬個證明，覆蓋 Polygon、Mantle、Lido 等協議，總覆蓋資產約 40 億美元。

架構對比一覽

舆情觀點拆解：ZK 是終局還是過渡？

圍繞 Base 引入 ZK 證明，行業內外形成了多層次的討論結構。以下梳理基於公開聲明、社群討論和技術社群分析。

支持方：ZK 是 L2 安全演進的必然方向

Succinct Labs 首席成長官 Brian Trunzo 將 Base 的決定描述為“ZK 證明是以太坊擴展最終形態的最大信任票”，認為這標誌著市場開始將 ZK 視為擴展生態系統的策略方向。

以太坊聯合創始人 Vitalik Buterin 此前已多次將 ZK-EVM 描述為以太坊區塊驗證的“終局”，預計這類系統將在 2027 年至 2030 年間成為主流證明方法。Base 的此次升級，在時間線上與 Buterin 的預判基本吻合。

從技術社群的角度看，樂觀匯總依賴經濟激勵和誠實參與者假設，而 ZK 證明以數學確定性取代了這些信任前提。多位安全研究員指出，隨著 L2 資產規模持續增長，純粹的博弈論安全模型將面臨邊際效益遞減——攻擊者收益隨 TVL 上升而增加，但防禦者激勵並未同步線性增長。

审慎方：混合架構的複雜性風險

並非所有行業參與者都對 Base 的路線選擇全盤認可。部分技術分析指出，Azul 的多證明體系引入了 TEE 依賴——TEE 本質上是一種對硬體製造商的信任假設，與去中心化的核心精神存在張力。如果 TEE 出現安全漏洞或被攻破，依賴其獨立運作的那部分驗證邏輯將受到影響。

此外，ZK 證明的生成成本是一個不可忽視的現實約束。與樂觀匯總“無事發生則不計算”的成本結構不同，ZK 證明需要在每次提交時都進行密碼學計算。在以太坊 L2 費用已降至極低水平的當下，這部分增量成本由誰承擔、是否會影響交易手續費，是尚未完全明確的問題。

社群層面：安全升級疊加治理爭議

值得關注的一個背景是，Base 近期曾因資產獲得方式受到社群質疑。部分用戶質疑某些項目是否獲得幕後支持。Base 聯合創始人 Jesse Pollak 就此公開回應，明確表示團隊不會也永遠不會參與價格操縱或私下協調推動特定資產，並指出此類行為可能越過法律界限。此一爭議雖然與 ZK 升級無直接關聯，但在一定程度上疊加了外界對 Base 安全升級敘事的審視——當一個網路的治理透明度受到質疑時，其技術安全升級所傳遞的信任信號也可能被部分稀釋。

觀點分布彙總

行業影響分析：L2 安全標準正在被重寫

對 L2 競爭格局的結構性影響

Base 此次升級的行業影響，不應僅從單一網路的技術迭代角度理解，而應從 L2 安全標準的範式轉移高度審視。

其一，設立了 L2 安全升級的新參照系。 在 Base 之前，部分 L2 網路已開始探索 ZK 證明集成——例如 Linea 將 ZK 證明生成延遲從約 30 分鐘壓縮至約 60 秒；Optimism 也已將有效性證明納入路線圖，並於 2026 年 2 月與 Succinct 建立策略合作。但 Base 凭借其 L2 中 TVL 最大的規模和 74 億美元存款的證明覆蓋量，將 ZK 驗證的應用推向了前所未有的資產量級。這實質上為整個 L2 行業設立了一個隱含的安全基準：當行業最大的二層網路已將 ZK 證明作為核心安全組件，其他網路維持純樂觀匯總的安全敘事將面臨越來越大的解釋成本。

其二，加速了樂觀匯總向 ZK 證明融合的趨勢。 L2 行業正在經歷一場從“樂觀 vs ZK”二選一的路線之爭，向“樂觀加 ZK”融合架構的集體轉向。RISE 等新興 L2 也已採用樂觀與 ZK 混合的欺詐證明系統。Base 的選擇將進一步加速此一融合趨勢。

其三，客觀上推動了 L2 去中心化進程。 L2BEAT 的去中心化評級框架將 Stage 2 定義為“完全無需信任”——要求具備鏈上故障檢測能力和足夠長的退出窗口。Base Azul 升級中 ZK 證明可覆蓋 TEE 錯誤的設計，直接回應了 Stage 2 對“鏈上檢測證明系統錯誤能力”的要求。雖然 Base 當前仍處於 Stage 1，但此次升級為其向 Stage 2 推進提供了技術基礎。

對以太坊 L1 與 L2 關係的影響

Base 的 ZK 升級也出現在以太坊主網與 L2 關係動態調整的大背景下。當前 L2 總 TVL 約在 323 億至 430 億美元之間。隨著 L2 安全標準向 ZK 證明升級，L2 自身的治理與安全基礎設施將變得更加複雜，L1 與 L2 之間的責任邊界也將隨之重劃。以太坊研究社群正在討論的 EIP-8025 提案和原生證明驗證，旨在將 L1 共識層證明驗證基礎設施泛化為程式無關的通用層，這或將從根本上改變 L2 安全架構的設計範式。

結語

Base 透過 Azul 升級引入 SP1 零知識證明，在技術層面完成了從單一樂觀證明向 TEE 加 ZK 混合多證明體系的架構轉型；在產業層面，它為以太坊 L2 生態的安全標準演進設立了一個參照系。74 億美元存款的密碼學保護、提現從 7 天縮至 1 天的效率躍遷、ZK 可覆蓋 TEE 故障的冗餘設計——這些事實共同指向一個清晰的趨勢：以太坊 L2 的安全基礎正在從“博弈信任”向“數學驗證”轉變。

然而，這一轉向並非終點。TEE 依賴的信任假設、ZK 證明的計算成本結構以及在真實主網環境中的長期運行表現，仍需要在後續市場週期中持續觀察與檢驗。L2 安全不是在某一刻完成，而是在無數次架構選擇、失敗教訓和持續迭代中逐漸接近理想狀態。Base 的這一步，讓整個行業離那個狀態又近了一些。