聲明：本文所表達的觀點和意見僅代表作者個人觀點，並不代表 crypto.news 編輯部的觀點和意見。
你嘗試將 50 美元從以太坊 (ETH) 橋接到 ZK-rollup（例如 zkSync），原本以為只需支付幾美分。結果卻發現你的錢包裡被扣了 0.15 到 0.50 美元的手續費。考慮到樂觀 Rollup 通常比 ZK-rollup 便宜三倍，而且 Dencun 升級更是將數據成本降低了 90% 以上，這樣的費用著實令人難以接受。問題不在於網路擁堵，而在於證明本身。
- ZK-rollup 費用主要由證明過程而非數據或執行過程決定：由於 GPU 效率低下的加密技術，證明生成過程消耗了 60-70% 的費用，從而形成了一個約 9700 萬美元的中心化證明者市場，儘管以太坊進行了 Dencun 升級，但 ZK 費用仍然居高不下。
- 這造成了中心化和安全陷阱：超過 90% 的 ZK-L2 依賴於少數幾個證明者即服務提供商，引入了審查、MEV 提取、中斷和 web2 式的租金提取，破壞了去中心化和普及。
- 解決方案是專用硬體 + 開放的證明器市場：ZK 專用 ASIC 和競爭性的鏈上證明器拍賣可以將成本降低幾個數量級，實現去中心化證明，並解鎖低於美分的費用，最終使 ZK 擴容成為可能。
為交易批次產生零知識證明是一個極其複雜的過程。它涉及數萬億次的數學運算，特別是橢圓曲線乘法，而且這些運算需要在並非為此設計的硬體上運行。根據 L2Beat 的數據，僅證明流程就佔到 ZK-L2 所有費用的驚人 60-70%。
這催生了一個價值超過9700萬美元的集中式「驗證農場」市場。這就是價值數十億美元的瓶頸所在。這是一個集中式、耗電量巨大的系統，依賴不匹配的硬件，這也是為什麼零知識擴展仍然更像是承諾而非現實的原因。
解決方案包含兩方面。我們需要特定領域的專用積體電路（ASIC）和開放的驗證器市場。有了這些，低於美分的交易就能成為常態，而非例外。這並非空想，而是亟待實現的工程現實。
你的費用究竟去哪裡了？
ZK-rollup 交易存在多項成本。 L2 執行幾乎免費。由於 blob 儲存技術的應用，向主網發布資料的成本也大幅降低，每筆交易僅需十分之一美分。真正的成本在於證明過程。即使在高階 A100 GPU 上，產生 4000 筆交易的單次證明也需要兩到五分鐘。
根據 Brevis 的基準測試，光是雲端運算費用就需要花費 0.04 到 0.17 美元。如果將這部分成本分攤，每筆交易的成本約為 1 到 4 美分。但在高負載情況下，成本很容易飆升至 10 美分以上。
ZK 證明與人工智慧中使用的矩陣數學並不相同。它依賴橢圓曲線上的多標量乘法 (MSM) 和數論轉換 (NTT)。這些運算對於專為平行浮點運算設計的 GPU 來說負擔很重。一個 Groth16 證明大約需要10¹²次域運算。
根據 Ingonyama 的測試，在此過程中，GPU 約 80% 的周期處於空閒狀態。硬體配置並不合適。 zkSync Era 的報告顯示，在 2025 年第一季度，驗證環節貢獻了其 230 萬美元收入的 65%。
這150萬美元直接流入了集中式集群。同時，Rollup團隊每月需向AWS支付每台設備1000至5000美元的費用，且此成本與資料量呈線性成長。難怪頂級零知識L2加密的總鎖定價值停滯在33億美元，而樂觀估計的總規模卻已超過400億美元。
但樂觀滾動機制（例如 Base、 Arbitrum、 OptimismETC）也並非完美的解決方案，因為它們存在巨大的權衡取捨。樂觀滾動機制至少需要七天的提現延遲，以便監督驗證者能夠對無效的狀態轉換提出質疑。在快節奏的 DeFi 世界中，對於大多數應用場景而言，這樣的等待時間實在太長了。此外，這些網路也要求使用者信任這些監督驗證者。雖然這對 Web3 遊戲或社群媒體等低價值交易來說或許尚可接受，但對於現實世界的資產和其他高價值金融應用情境而言，則遠遠不夠。
因此，實現真正可擴展、廉價且安全的交易的途徑不在於避免生成證明，而在於徹底革新證明生成過程。
這就是核心低效之處：為了建立去中心化網路的信任，我們付出了 Web 2 的溢價，包括成本和中心化。證明費用不僅僅是一項支出；它是阻礙零知識共享 (ZK) 普及的經濟錨點。除非證明產生成本與執行成本一樣低，否則 ZK 匯總將一直被困在一個系統中，其最大的優勢——加密安全性——同時也是其成本最高的瓶頸。而這種成本不僅推高了費用；它還建構了我們現在必須擺脫的中心化陷阱。
中心化陷阱
超過 90% 的零知識共享 (ZK) 匯總外包給少數幾家「證明者即服務」公司。這造成了巨大的單點故障風險。 2025 年 3 月，Blast 業者凍結了攻擊者的交易，並導致 12,000 名無辜用戶的交易中斷 48 小時。中心化證明者查看明文批次，提取 MEV，並拒絕交易。 dYdX 使用 3/5 多重簽章機制，DYDX意味著三個內部人員就可以劫持整個鏈。這與其他區塊鏈系統（例如 Solana 的共識機制）的硬體依賴性問題類似。
這種中心化造成了脆弱性。頂級證明者擁有 99.2% 的正常運作時間，但單一 AWS 服務中斷就可能引發連鎖反應。 2025 年第二季度，Starknet 因一個節點故障而損失了 20% 的吞吐量。這些提供者攫取了 80% 的利潤，導致 Rollup 服務捉襟見肘，而以太坊的 L1 層卻提供了安全保障。這本身就是一個架構上的矛盾。我們擁有「去中心化」的 L2 層，卻依賴 Web2 資料中心。正如 Vitalik Buterin 在 2024 年 Devcon 大會上所說：“外包證明，你並沒有擴展任何東西，只是信任了一個新的預言機。”
修復方案已完成
要解決這個問題，我們需要雙管齊下。我們需要專為零知識運算（ZK）設計的晶片，還需要一個經銷平台。首先是硬體。 GPU就像高速公路上的賽車。它們非常適合人工智慧中使用的張量運算，但對於零知識計算中使用的曲線運算卻非常糟糕。這就是專用積體電路（ASIC）的用武之地。
2025 年 ZPrize 競賽的獲勝者能夠在 FPGA 上以 6-8 秒的速度完成 STARK 證明。這比 GPU 的每瓦效能快 10-100 倍，因為他們將 MSM 和 NTT 硬連線。 Cysic 已經開始流片 ASIC，可以在兩秒內為數十億閘電路產生證明，並且能耗降低了 50 倍。這與我們之前看到的比特幣 (BTC) 挖礦的演變如出一轍。我們從 CPU 過渡到 ASIC，但這次是為了驗證真理，而不是為了計算哈希值。
其次是市場。我們需要摒棄SaaS模式，將證明器視為一種商品。 Succinct的2025主網就是一個很好的例子。 Rollup將任務發佈到基於以太坊的拍賣平台，專用礦機在幾秒鐘內即可競標。 Brevis ProverNet透過GPU叢集實現了CPU速度的20倍提升，並對低效率節點進行了懲罰。
其結果是成本降低 40%，價值分配更公平，並且具備抗審查能力。任何人都可以證明，以太坊負責驗證。 ZPrize 2025 的遞歸聚合驗證可在鏈上 200 毫秒內完成。一個價值 1 萬美元的 DeFi 機器人可以在 L2 伺服器上運行私人 ZK-ML，每筆交易的成本僅為千分之一美分。
打開閘門
根據 zkSync Atlas 的路線圖，更低的成本驗證將帶來可預測的、低於 0.01 美元的手續費，處理速度可達 15,000 TPS。這將解鎖按像素付費的 NFT、即時遊戲經濟以及無需搶先交易即可結算的 AI 代理。 L2 層將成為中立的基礎設施，而非驗證者的領域。
開發者將精力集中在虛擬機器最佳化上，而不是管理龐大的伺服器叢集。這將極大地促進應用創新。 ZK TVL 的規模將從 2025 年的 280 億美元成長到超過 1,000 億美元。真正的機會在於系統層面。
當驗證變得廉價且去中心化時，整個價值主張便得以清晰展現。用戶將獲得速度和成本優勢。開發者將獲得一個無需信任少數運營商的平台。以太坊將獲得一個在不犧牲安全性的前提下維持擴容的方案。
戰鬥開始了
零知識共享普及的最大障礙並非加密貨幣或遊戲，而是工程經濟。中心化的基礎設施扼殺了可擴展的真相。這場戰爭並非關乎共識，而是關乎硬體和可驗證計算市場。交付去中心化的加速證明器，我們就能為數十億人提供低成本、無信任的交易。
我們不需要權威的證明者。我們需要一個全球性的證明市場，任何人都可以貢獻證明，每個人都可以驗證證明，這樣開放的網路才能安全無虞。
Leo Fan是 Cysic.xyz 的創辦人兼執行長。 Cysic.xyz 是首個全端運算網絡，提供即時零知識證明、硬體加速的 AI 運算，並透過 ComputeFi 提供高效能硬體的代幣化存取。 Leo 擁有康乃爾大學密碼學博士學位，並在學術研究、FPGA/ASIC 設計、協議工程和下一代硬體流水線等領域積累了豐富的經驗。他致力於將零知識證明從理論建構轉化為工業級系統。在 Cysic，Leo 領導著一支跨學科團隊，負責設計零知識證明和 AI 優化的 ASIC、高吞吐量 GPU 證明集群以及將計算資源轉化為可編程鏈上資產的去中心化計算網絡。本次對話恰逢 Cysic主網線第二天，因此是深入探討主網在性能、去中心化和實際應用方面帶來哪些突破的絕佳機會。
