zkVerify

zkVerify 是一個專為驗證零知識證明而設計的第一層區塊鏈，其唯一功能就是驗證此類證明。它不執行一般智慧合約，而是作為專用的驗證層。開發者可透過 RPC 提交證明（例如 Groth16、Plonky2、RISC Zero），網路會驗證這些證明，並將多個證明聚合成單一 Merkle 根。隨後，此 Merkle 根會被橋接至目標鏈（如以太坊），讓去中心化應用程式能以極低的鏈上成本確認證明有效性。 其解決的核心問題是 ZK 證明驗證的高成本與碎片化。直接在以太坊上驗證一個證明可能耗費 20 萬至 30 萬 gas，且在網路壅塞時 gas 價格可能飆升，導致成本難以預測。此外，不同的證明系統（如 STARK、SNARK 等）並非 EVM 原生支援，迫使專案使用複雜的包裹合約。zkVerify 透過原生支援多種證明類型，並利用聚合技術將驗證成本分攤至多個證明，從而將費用降低高達 90%。 其競爭優勢在於成為中立且專業化的專用層。它並非與以太坊競爭的通用鏈，而是任何 ZK 專案皆可接入的模組化元件。該網路採用提名權益證明機制，並使用 VFY 代幣支付費用與進行質押。此外，它支援無須許可的聚合，任何人都可以發布聚合證明並獲得獎勵。 在過去六個月（2026 年 3 月至 9 月），zkVerify 持續擴大其驗證器生態系統。文件顯示其已支援 UltraPlonk 與 SP1 等額外證明系統，並已整合 Sepolia 及 Base Sepolia 等多個測試網。團隊亦優化了聚合領域系統，讓開發者可設定聚合大小與發布佇列長度，以平衡成本與延遲。在此期間，未傳出重大安全事件或網路故障，不過該專案仍處於成長階段，持續進行協議最佳化。