Chainfeeds 導讀：
下一階段不再是理論突破，而是運營與規模化： 證明是否足夠易用、供給是否真正去中心化、定價是否向通用算力持續收斂。
文章來源：
https://x.com/castle_labs/status/2019088487119544577
文章作者：
Castle Capital
觀點：
Castle Capital：2018 年，ZK 的重心從隱私轉向了吞吐量與可擴展性。以太坊的擴容路徑逐漸清晰：在許多工作負載中，「驗證一次證明」比「重新執行所有計算」要便宜得多。於是，ZK 成為一種將大量計算壓縮為簡短證明的工具。這直接塑造了 zk Rollup 與隱私系統的發展方向：不再要求每個驗證者重新執行每一步狀態變化，而是隻驗證一個簡潔的有效性證明。在 Rollup 架構中，執行發生在鏈下；有效性證明被提交到鏈上，使以太坊可以在不重放交易的情況下接受新的狀態。這一階段，Aztec 等隱私協議，以及 zkSync、Starknet、Scroll 等通用型 zk Rollup，推動了 ZK 技術的大規模工程化。進入 2020 年代中期，ZK 的採用形態再次發生轉變：從「為單一用途設計電路」，演進為通用證明基礎設施。這一階段出現了三類關鍵組件：zkVM 可對任意程序生成證明；協處理器（coprocessors）對鏈上狀態執行特定查詢並生成證明；證明網絡將證明生成工業化、規模化。這些系統由 Brevis、Axiom、Lagrange、Succinct、RISC Zero、Cysic 等團隊推動。隨著 ZK 從「隱私原語」演變為「通用證明工具」，整個技術棧開始拆分為多個專業層級。ZK Stack 已經發展為一個由多種專用層組成的生態系統。過去，在鏈上驗證任何事情，通常需要大量人工和資金成本。如今，這一成本被轉移到了證明階段。流程變成了驗證者執行一次快速檢查、證明者完成大量計算、計算被壓縮為一個證明及成本體現為硬件、能源與延遲。2025 年 7 月，以太坊基金會提出 L1 zkEVM 的「實時證明」目標：在開源軟件條件下，用不超過 10 萬美元、10kW 功耗的本地硬件，對 99% 的主網區塊在 10 秒內完成證明。到 2025 年 12 月，基金會報告顯示：證明延遲從約 16 分鐘降至 16 秒，成本下降 45 倍，zkVM 已可在目標硬件配置下對 99% 區塊實現 10 秒內證明。證明的本質，是讓鏈在不重複執行工作的情況下驗證結果。如果證明成本過高，Rollup 必須補貼用戶；一旦證明成本下降，費用才可能在不壓縮利潤的情況下下行。Ethproofs 的基準數據顯示：2025 年內，平均證明延遲從約 16 分 44 秒下降至 60 秒，平均成本從 1.69 美元降至 0.0376 美元。這表明證明正在從「實驗室級工作」走向商品化基礎設施。zkVM 使任意程序可被證明，是「驗證而非執行」路線的核心。 Vitalik Buterin 近期指出，zkEVM 已進入 alpha 階段，性能已具備生產可用性，剩餘重點在安全性。接下來的關鍵，不再只是更快的證明，而是證明系統是否可靠；是否能被大規模部署及證明供給是否真正去中心化。【原文為英文】
內容來源
