原文作者：@0xJaehaerys

編譯：LlamaC

「推薦寄語：本文主要介紹了零知識證明（ZK-Proofs）如何創(chuàng)造一個新的、價值數(shù)十億美元的可驗證計算市場，以及 Succinct 公司及其原生代幣 $PROVE 在這一領(lǐng)域中的技術(shù)優(yōu)勢、市場定位、及其生態(tài)數(shù)據(jù)相關(guān)的最近進展，做為前沿趨勢，其 FDV 已顯著獲得增長計價，請做自己的研究。」

引言

這篇來自 Succinct 聯(lián)合創(chuàng)始人 Uma Roy 的文章標志著一次范式轉(zhuǎn)變。?它宣告的并非又一個代幣的誕生，而是一個由數(shù)據(jù)驅(qū)動、正在實時興起的新經(jīng)濟體：可驗證計算經(jīng)濟。多年來，零知識（ZK）技術(shù)一直被視為區(qū)塊鏈擴容的理論終局。如今，它已成為工程現(xiàn)實，開啟了未來十年最重要的基礎(chǔ)設(shè)施競賽之一。

這一轉(zhuǎn)變的動力源于 David Hoffman 所稱的以太坊?“曼哈頓計劃”：對協(xié)議進行根本性的重新架構(gòu)，在不犧牲去中心化的前提下，數(shù)倍提升其吞吐量。直到最近，這還是一個遙遠的愿景。但一系列戰(zhàn)略性的協(xié)議升級和關(guān)鍵的技術(shù)突破，已將其轉(zhuǎn)變?yōu)橐环菘蓤?zhí)行的路線圖。

我一直認為我們正在用 ZK 做的事情，特別是最終將應(yīng)用于以太坊的 ZK-EVM，有點像以太坊的曼哈頓計劃……當以太坊在幕后研究 ZK 以保留所有那些如今正將華爾街引入鏈上的事物時，他們也在研發(fā)這項極具未來前瞻性的技術(shù)。

本報告對這個新興的數(shù)十億美元市場進行了基本面分析。報告將解釋為何對 ZK 證明的需求并非投機，而是在結(jié)構(gòu)上不可避免；量化這一經(jīng)濟機遇的規(guī)模；并詳細闡述像 Succinct 這樣以平臺為先的公司，如何憑借其原生代幣 $PROVE，有望成為這個可驗證計算新時代的基礎(chǔ)設(shè)施。

一、新市場的必然性

1.1 Gigagas 與 Teragas 的必然要求

以太坊正在經(jīng)歷一場巨變?，?其驅(qū)動力來自一個核心開發(fā)路線圖，這個路線圖并非憑空猜測，而是一個已設(shè)定好、不可避免的演進過程。協(xié)議本身的這種重新架構(gòu)，為零知識（ZK）證明創(chuàng)造了一種結(jié)構(gòu)性的、可預(yù)測的、指數(shù)級增長的需求。為了追求全球規(guī)模的吞吐量，以太坊注定會成為一個全新的、價值數(shù)十億美元的可驗證計算經(jīng)濟體中第一個也是最大的消費者。

這一需求源于一個清晰而宏大的長期愿景。Gigagas 路線圖旨在將 L1 執(zhí)行層的吞吐量擴展到 1 Ggas/s，約等于 10,000 TPS。然而，正如以太坊基金會研究員 Justin Drake 所指出的，這僅僅是“冰山一角”。最終目標是通過約 1,000 個 L2 的協(xié)同工作，實現(xiàn)一個總吞吐量為 1 Tgas/s（約 1000 萬 TPS）的“Teragas”生態(tài)系統(tǒng)。在這個模型中，99.9% 的交易量都發(fā)生在 L2 上，而 L1 則演變?yōu)楣蚕戆踩徒Y(jié)算的終極中心。正如 Drake 所說：

“10,000 TPS 根本不算什么。要服務(wù)全世界，我們需要達到每秒 1000 萬筆交易，每秒 1 teragas 的水平。我們?nèi)绾螌崿F(xiàn)這一目標？答案是 L2。”

https://x.com/0xJaehaerys/status/1944859201291083887

EIP-7938 等提案正式確立了這種指數(shù)級擴容，該提案主張 L1 Gas 上限每年自動增加 3 倍。這一機制旨在實現(xiàn)穩(wěn)定且可預(yù)測的增長，從而為保障網(wǎng)絡(luò)安全所需的計算資源創(chuàng)造一條可靠的需求曲線。

這一轉(zhuǎn)變將通過一項為期多年的“漸進式納入”計劃來管理，該計劃有條不紊地降低了流程風險。該計劃分不同階段推進，最終將在 2027 年前強制要求使用 ZK 證明來驗證區(qū)塊有效性，從而使證明生成成為協(xié)議的核心、經(jīng)濟上不可或缺的功能。通過將這一需求直接硬編碼到協(xié)議的演進中，以太坊實際上正在為 ZK 領(lǐng)域制定一項產(chǎn)業(yè)政策，為證明對未來基礎(chǔ)設(shè)施進行重大資本投資的合理性提供了必要的經(jīng)濟信號。

1.2 最終性問題：Vitalik Buterin 論 ZK 為何對 L2 至關(guān)重要

這一轉(zhuǎn)變的緊迫性遠不止于 L1。它解決了當前 L2 生態(tài)系統(tǒng)中最主要的瓶頸：提款最終性緩慢所帶來的摩擦和風險。正如以太坊聯(lián)合創(chuàng)始人 Vitalik Buterin 最近所說，實現(xiàn)快速提款時間是一個關(guān)鍵目標，對于 L2 而言，“甚至比第二階段更重要”。

在 ZK 1.0 時代，你提到的那些公司是將 ZK 技術(shù)與商業(yè)用例捆綁在一起的……ZKSync 既是一家 L2 公司，也是一家 ZK 公司……而我們所做的是，我們可以讓那些對 ZK 一無所知的公司，比如 Optimism 或 Arbitrum，因為 ZK 現(xiàn)在變得如此簡單，他們可以利用 ZK 的優(yōu)勢，專注于真正重要的事情，比如業(yè)務(wù)拓展或用戶采用。

在一篇詳細的解釋中，Buterin 強調(diào)了當前主流的 Optimistic Rollup 設(shè)計的核心問題：

“等待一周才能提款對人們來說實在太久了，即使對于基于意圖的跨鏈橋……如果流動性提供者必須等待一周，其資金成本也會變得過高。這極大地激勵了人們轉(zhuǎn)而使用那些信任假設(shè)不可接受的解決方案（例如多簽/MPC），而這恰恰違背了 L2 存在的初衷。”

他提出的解決方案是果斷地轉(zhuǎn)向由 ZK 技術(shù)驅(qū)動的有效性證明系統(tǒng)。雖然承認歷史上存在權(quán)衡，但他強調(diào)了近期技術(shù)格局的變化：

“從歷史上看，ZK 證明技術(shù)一直不成熟且成本高昂，這使得 Optimistic 證明成為明智而安全的選擇。但最近，這種情況正在迅速改變。”

在他看來，通過在短期內(nèi)將原生提款時間縮短至一小時以內(nèi)，并在中期最終實現(xiàn) 12 秒的提款時間，ZK 證明可以“進一步鞏固以太坊 L1 作為默認資產(chǎn)發(fā)行地和以太坊生態(tài)系統(tǒng)經(jīng)濟中心的地位”。這一高層級的認可將向 ZK 的轉(zhuǎn)變不僅僅視為一種技術(shù)偏好，而是整個以太坊生態(tài)系統(tǒng)安全和經(jīng)濟完整性的戰(zhàn)略必需。

這種靈活性不僅吸引了軟件開發(fā)者，也吸引了專業(yè)的硬件制造商。行業(yè)領(lǐng)先的 ZK 硬件加速公司 Cysic 宣布，其即將推出的“兼容 zkVM 的 ASIC 將上線，并原生支持 SP1”。這家專業(yè)硬件公司計劃提供原生支持，表明了業(yè)界對 SP1 作為可驗證計算潛在標準的強烈信心，彌合了開源軟件與專用芯片之間的鴻溝。

二、量化數(shù)十億美元的機遇

2.1 證明的單位經(jīng)濟學

一個規(guī)模化的 ZK 生態(tài)系統(tǒng)在經(jīng)濟上是否可行，取決于證明給定計算量的單位成本。雖然早期的 ZK 系統(tǒng)出了名的昂貴，但類似“摩爾定律”的發(fā)展軌跡已使其成本急劇下降。在 Paradigm 舉辦的“Frontiers”活動上，來自 Succinct 的 John 表示，目前每筆交易的平均證明成本在 0.01 美分到 0.1 美分之間，他形容這個成本“與 DA 等其他成本相比幾乎可以忽略不計”。

在我看來，激勵機制非常簡單。就像今天一樣，依靠手續(xù)費和 MEV 就行了……成本大約是 0.01 美分。只要個人用戶愿意支付這筆費用，就足以補償證明成本。

預(yù)計這一成本還將進一步下降。以太坊基金會研究員 Justin Drake 提出了一個關(guān)鍵預(yù)測，他預(yù)計隨著硬件和軟件的持續(xù)指數(shù)級改進，L1 證明的長期、規(guī)模化成本將穩(wěn)定在每 Mgas/s（百萬 gas 每秒）0.0001 美元至 0.001 美元之間。這種成本的快速下降正在將 ZK 從一種小眾、昂貴的技術(shù)轉(zhuǎn)變?yōu)橐环N商品化的實用工具，為一個巨大的市場奠定了基礎(chǔ)。

2.2 市場規(guī)模——自下而上的預(yù)測（保守觀點）

一個保守的、自下而上的財務(wù)模型通過將預(yù)期的吞吐量增長與成本估算相結(jié)合，估算了 ZK 證明市場的年收入。根據(jù)該模型，L1 證明的非利他性可觀收入預(yù)計將從 2027 年開始出現(xiàn)，屆時協(xié)議將強制要求使用 ZK 證明來驗證區(qū)塊的有效性。

如果你設(shè)想每筆交易的成本哪怕只有 0.1 美分，而你處理的是 Solana 級別的 TPS，比如每秒 4000-5000 筆交易，那么把所有這些數(shù)字相乘，最終得出的證明需求大約是每年 1 億美元。

表 1：L2 生態(tài)系統(tǒng) ZKP 需求與收入預(yù)測（2025-2030）

方法論 — L2 生態(tài)系統(tǒng) ZKP 需求與收入預(yù)測 (2025–2030)

L2 數(shù)量與 ZK 覆蓋率

從?2025 年的 25 個 L2?開始，到?2030 年擴展至 1000 個 L2。

覆蓋率代表每年基于 ZK 的 L2 所占的份額，從?50% 增長到 85%。

每個 ZK L2 的平均吞吐量

設(shè)為與同年 L1 吞吐量相等，以符合“teragas 聚合”假設(shè)（即，每個 L2 的容量隨著基礎(chǔ)層的擴展而增長）。

這是一個樂觀的假設(shè)，為簡單起見，它將重尾吞吐量分布壓縮為統(tǒng)一的平均值。

總吞吐量計算：

TotalThroughput(Mgas/s)=(L2Count×CoverageRate)×AvgThroughputperZKL2

定價假設(shè)

每 Mgas 的初始價格為?0.0104 美元?（參考 Katana，2025 年）。

在硬件效率、證明者市場競爭和協(xié)議級優(yōu)化的推動下，成本將在?2030 年前大幅下降至 0.0004 美元?。

在起始年份和結(jié)束年份之間采用線性價格插值法。

年收入：

AnnualRevenue=TotalThroughput×PriceperMgas×31,536,000(seconds/year)

表 2：ZK 證明的潛在市場總額 (TAM) (2025-2030 年，自下而上法)

L2 數(shù)量增長??— 從 2025 年的?25?個 L2 開始，到 2030 年線性擴展至?1,000?個。

ZK 覆蓋率??— 只有一部分 L2 采用 ZK 證明：2025 年為 50%，到 2030 年將增至 85%。

每個 ZK L2 的平均吞吐量??— 設(shè)定為與同年 L1 吞吐量相等?（這是一個樂觀的假設(shè)）。這與“teragas”路線圖的邏輯一致，即成熟的 L2 將達到 L1 的容量。

總 L2 吞吐量 — 計算公式為：ZK L2 數(shù)量 × 每個 ZK L2 的平均吞吐量

其中，ZK L2 數(shù)量 = L2 總數(shù) × 覆蓋率。

每百萬 Gas 的價格??— 2025 年初定為?0.0104 美元?（基于 Katana L2 的證明成本），并線性下降至 2030 年的?0.0004 美元?，以反映 zkVM、硬件和市場競爭帶來的效率提升。

年度 L2 潛在市場總額：

TotalL2Throughput(Mgas/s)×PriceperMgas×SecondsperYearTotalL2Throughput(Mgas/s)×PriceperMgas×SecondsperYear

年度 L1 潛在市場總額??— 從 2027 年開始（屆時 L1 區(qū)塊強制證明將啟動），定價與當年 L2 的 $/Mgas 相同，L1 吞吐量基于以太坊擴容路線圖。

其他需求??— 保守估計為?L2 潛在市場總額的 10%，涵蓋 ZK 橋、協(xié)處理器和可驗證應(yīng)用（ZKML、鏈上隱私）。

潛在市場總額：L1 潛在市場總額 + L2 潛在市場總額 + 其他需求

2.3 市場規(guī)模估算——自上而下的愿景（Teragas 終局）

另一種基于以太坊“Gigagas”和“Teragas”路線圖完全實現(xiàn)的自上而下模型表明，潛在市場規(guī)模可能會大一個數(shù)量級。

表 3：以太坊 L1 Gas 吞吐量預(yù)測（2027-2030 年）

表 4：ZK 證明市場規(guī)模與收入預(yù)測（自上而下，2027-2030 年）

?方法論（針對此自上而下的表格）

L1 吞吐量??— 基于以太坊的擴容路線圖目標：37.5 → 1,000 Mgas/s（2027–2030 年）。

L2 數(shù)量??— 在 2027–2030 年期間從?300 增長到 1,000。

ZK 覆蓋率??— 只有一部分 L2 使用 ZK 證明，該比例從?60% 增加到 85%。

每個 ZK L2 的平均吞吐量??—??設(shè)定為與同年 L1 吞吐量相等?（例如，2027 年為 37.5 Mgas/s，2030 年為 1,000 Mgas/s），以符合 teragas 級別的總吞吐量假設(shè)。

每 Mgas 的價格??— 隨著證明器硬件的改進和市場競爭而下降：0.00075 美元 (2027) → 0.00040 美元 (2030)。

L2 總吞吐量：

AggregateL2Throughput=(L2Count×ZKCoverage)×L1Throughput

收入公式?：L1

收入??= L1_吞吐量 × 價格 × 每年的秒數(shù)

L2 收入??= Aggregate_L2_throughput × 價格 × 每年的秒數(shù)

總市場??= L1 收入 + L2 收入

2.4 誰來為證明買單？

這數(shù)十億美元的需求將不會由協(xié)議通脹來提供資金，而是由 L2 和應(yīng)用鏈穩(wěn)健且多樣化的收入模式來支持。正如 Conduit 的一篇分析文章所詳述，擁有自己鏈的項目至少有七個不同的收入杠桿，確保它們能夠負擔得起 ZK 證明的運營成本。

表 5：L2 收入流對比分析

得鏈者得天下：Rollup 的 7 大收入杠桿

https://x.com/conduitxyz/status/1932111024569696584

三、Succinct 的技術(shù)優(yōu)勢

3.1 實時證明已成現(xiàn)實

如果沒有近期 ZK 證明性能上的一系列重大突破，“Gigagas”的整個愿景仍將停留在理論階段。正如 Succinct 團隊的 John 所說，實現(xiàn)“實時證明”——即在 12 秒內(nèi)為任意以太坊區(qū)塊生成 ZK 證明的能力——是“ZK 領(lǐng)域的登月時刻”。

這一轉(zhuǎn)變不僅意味著性能的提升，更是開發(fā)者可及性的一場革命。正如 Succinct 聯(lián)合創(chuàng)始人 Uma Roy 所解釋的，ZK 開發(fā)過去需要一個“由 40 名密碼學博士組成的團隊”和數(shù)億美元的資本，才能創(chuàng)建一個單一的、特定于應(yīng)用的證明系統(tǒng)。隨著通用 zkVM 的出現(xiàn)，這種模式已被徹底打破。Roy 表示：“基本上，你從需要 40 名密碼學博士、數(shù)千萬或上億美元的研發(fā)成本，變成了一個周末就能完成的項目。”

通過播客中兩個有力的類比，可以更好地理解這一突破：

從 ASIC 到 CPU：整個行業(yè)正在從只能解決一個問題的專用集成電路（ASIC），轉(zhuǎn)向通用 CPU 模型，即像 SP1 這樣的一個引擎就可以可證明地運行任何程序。

密碼學的基礎(chǔ)模型：SP1 的功能類似于人工智能領(lǐng)域的基礎(chǔ)模型。正如 ChatGPT 通過純英文讓 AI 變得觸手可及，SP1 也通過標準代碼讓 ZK 變得易于使用。“就像在人工智能和基礎(chǔ)模型中，你輸入英文，就能使用 AI，”Roy 指出，“在這里，你只需輸入普通代碼，就能使用 ZK，就是這么簡單。”

Succinct 的?SP1 HyperCube?是這一成就的決定性證明。?在一項里程碑式的演示中，該系統(tǒng)成功地在 12 秒內(nèi)證明了所有實時以太坊主網(wǎng)區(qū)塊的 93%。其余 7% 的區(qū)塊耗時更長，并非技術(shù)限制所致，而是因為 EVM Gas 計費表中某些操作（如 Blake2 預(yù)編譯）的定價不當。這一里程碑明確證實了實時證明在工程上是可行的。

3.2 進步的引擎：SP1 zkVM

Succinct 技術(shù)棧的核心是 SP1，一個高性能、開源的零知識虛擬機 (zkVM)。SP1 是一項戰(zhàn)略性資產(chǎn)，旨在服務(wù)于最廣泛的可驗證計算任務(wù)，推動行業(yè)進入“ZK 2.0”時代。

我認為，$PROVE 代幣的成功發(fā)行，幾乎可以說是驗證了 zKVM 成為一種可投資的資產(chǎn)類別……這相當驚人，你知道，在發(fā)行第一天，它的完全稀釋估值實際上就超過了 ZKSync、Scroll 和 Starknet 等 ZK Rollup 項目。

“我們的目標是消除密碼學的所有復(fù)雜性，讓開發(fā)者可以用 Rust 等標準語言‘編寫普通代碼’，并獲得 ZK 證明。”

易于使用：?作為一款 RISC-V zkVM，SP1 允許開發(fā)者利用現(xiàn)有的、經(jīng)過實戰(zhàn)檢驗的代碼庫和熟悉的語言，而無需學習復(fù)雜的密碼學。

通用性：?選擇 RISC-V 作為目標指令集，不僅順應(yīng)了整個 ZK 生態(tài)系統(tǒng)的廣泛趨勢，更關(guān)鍵的是，它與以太坊 L1 的長期路線圖保持了一致。

性能軌跡：SP1 的持續(xù)改進呈現(xiàn)出一種“摩爾定律式”的態(tài)勢。證明時間從 2023 年的數(shù)十分鐘縮短至 2025 年的區(qū)區(qū)幾秒，其改進速度遠超以太坊路線圖提出的每年 3 倍的計算需求增長率。

SP1 的多功能性不僅限于實現(xiàn)完整的 ZK-rollup。其作為通用 zkVM 的強大能力催生了新穎的混合式設(shè)計，以滿足特定的市場需求。一個典型的例子是它在零知識故障證明中的應(yīng)用。像 Facet 這樣的項目使用基于?OP Succinct Lite?的系統(tǒng)，將其狀態(tài)轉(zhuǎn)換函數(shù)移植到 Rust（通過 Kona 和 REVM），并編譯成?SP1 ELF 二進制文件?。這使得它們既能提供 Optimistic 系統(tǒng)的低成本“理想情況”，又能在出現(xiàn)挑戰(zhàn)時保留 ZK 證明的“單交易解決”特性。這展示了 SP1 服務(wù)于更廣泛的密碼學安全模型的能力，從而擴大了其潛在市場規(guī)模。

隨著越來越成熟、專業(yè)的證明者加入，這個市場模式的有效性正在被實時驗證。一個重要的進展是，@cysic_xyz（一家領(lǐng)先的 ZK 硬件加速公司）已作為多節(jié)點證明者在 Succinct 證明者網(wǎng)絡(luò)上線。Cysic 并非通用計算提供商，他們“完全自主研發(fā)整個技術(shù)棧”，包括專為 ZK 工作負載設(shè)計的定制硬件和高吞吐量 GPU 集群。

3.3 實時證明的經(jīng)濟學

這種級別的性能不僅在技術(shù)上可行，在經(jīng)濟上也觸手可及。建立一個能夠進行實時證明的本地證明集群，其資本支出估計在

10 萬到 30 萬美元?。這比使用云服務(wù)提供商要劃算得多，因為據(jù) John 所說，“英偉達實際上會削弱顯卡的性能……是故意這么做，為了獲得更高的利潤”。

這種可行性與以太坊基金會的“家庭證明勢在必行”倡議相符，該倡議設(shè)定了 ≤10 千瓦的目標功耗限制。Justin Drake 已經(jīng)表明了他證明此舉可行的個人目標：

“這基本上是我今年希望做到的事情：實時證明每一個以太坊區(qū)塊……并且在家里完成。”

四、萬物皆可 ZK 化

4.1 應(yīng)用的新設(shè)計空間

雖然擴展以太坊是當下價值數(shù)十億美元的市場，但真正的長期機遇在于“萬物 ZK 化”。

正如 Succinct 團隊的 John 所指出的，通用 zkVM 意味著 “我們?yōu)閷崟r證明以太坊所做的改進，也將普適于其他計算”。

4.2 Succinct 應(yīng)用案例研究

Succinct 的 SP1 已經(jīng)為各種不同的應(yīng)用提供支持：

可驗證交易所 (Hibachi)?– 使用 ZK 構(gòu)建一個隱私優(yōu)先的永續(xù)合約交易所，其中鏈下訂單簿的完整性可以通過密碼學方式進行驗證。

跨鏈互操作性 (Celestia)?– 采用 Succinct 的技術(shù)實現(xiàn)“惰性橋接”，即使用 ZK 證明來安全高效地驗證其他鏈的狀態(tài)。

我們一直在研究一個叫做“惰性橋接”的概念……如果鏈上沒有執(zhí)行環(huán)境，你的鏈就很難驗證其他鏈的狀態(tài)。因此，我們一直在努力通過 ZK 證明來實現(xiàn)這一點。

DeFi L2s (@katana)?– 專注于 DeFi 的 L2 Katana，通過 Conduit 在 Polygon 上推出，其核心使用 Succinct 的 ZK 證明技術(shù)實現(xiàn)快速、安全的結(jié)算，并連接到 Polygon 的 Agglayer。

核心 DeFi 基礎(chǔ)設(shè)施 (Lido)：?Lido 作為流動性質(zhì)押領(lǐng)域的領(lǐng)導者，正在其測試網(wǎng)上使用 SP1 來支持一個“無需信任的記賬預(yù)言機”。該系統(tǒng)通過可驗證地追蹤質(zhì)押 ETH 的余額，而無需依賴受信任的管理員，從而增強了安全性。

高級跨鏈橋 (Across)：?Across 協(xié)議與 Succinct 合作，生成以太坊共識層的 ZK 證明。這使得他們能夠安全高效地將以太坊的狀態(tài)橋接到眾多其他鏈上，這是實現(xiàn)互操作性的關(guān)鍵功能。

不可阻擋的 Rollups (Facet)：?Facet 是首個通用的第二階段 rollup，為 Succinct 技術(shù)的采用提供了一個強有力的案例研究。為了實現(xiàn)其成為一個沒有管理員密鑰的“不可阻擋的 Rollup”的目標，F(xiàn)acet 移除了官方橋及其相關(guān)的安全風險。它沒有使用橋接的 gas 代幣，而是使用一種原生代幣 (FCT)，該代幣的挖礦量與用戶發(fā)布交易時銷毀的 L1 ETH 成正比。這種架構(gòu)由一個基于 Succinct 技術(shù)構(gòu)建的混合式??ZK-欺詐證明系統(tǒng)來保障安全。當一個狀態(tài)根提案受到挑戰(zhàn)時，會使用?SP1 zkVM?生成一個 ZK 證明來明確解決爭議。這使得 Facet 能夠保持為一個“輕量級平臺”，提供純粹、不可阻擋的計算，同時將資產(chǎn)管理和橋接功能留給一個由用戶選擇的應(yīng)用程序組成的競爭性生態(tài)系統(tǒng)。

4.3 不斷擴張的前沿：ZK 跨鏈橋、協(xié)處理器和可驗證應(yīng)用的收入

自下而上的市場模型還包括一個快速增長的“其他需求”類別，涵蓋了 ZK 跨鏈橋、ZK 協(xié)處理器以及其他可驗證應(yīng)用。

據(jù)保守估計，到 2030 年，該領(lǐng)域的年收入將增長至超過 1.26 億美元。

隨著 ZKML 和鏈上隱私解決方案的成熟，這一領(lǐng)域還有可能進一步擴大。

五：Succinct 與 $PROVE

5.1 證明者網(wǎng)絡(luò)：一個通用、無需許可的市場

Succinct 的核心戰(zhàn)略不僅僅是構(gòu)建一個更好的證明者，而是為證明（proving）構(gòu)建一個權(quán)威市場。這種全球供應(yīng)并非假設(shè)，而是由經(jīng)驗豐富的運營商組成。該網(wǎng)絡(luò)已經(jīng)吸引了眾多通常是“前礦工”的證明者，他們大多位于亞洲，擁有現(xiàn)成的基礎(chǔ)設(shè)施、低成本電力以及可供使用的消費級 GPU。

其雙邊市場通過實時拍賣系統(tǒng)，將全球的算力供應(yīng)與對 ZK 證明日益增長的需求連接起來。

我們正在構(gòu)建一個雙邊市場：Succinct 證明者網(wǎng)絡(luò)。它旨在將 ZK 證明的生成過程商品化。

這種競爭態(tài)勢是市場效率的引擎，對價格和延遲產(chǎn)生持續(xù)的下行壓力，從而直接惠及消費者。

5.2 $PROVE?代幣：網(wǎng)絡(luò)的經(jīng)濟引擎

Succinct 生態(tài)系統(tǒng)的整個經(jīng)濟模型都凝聚在其原生代幣 $PROVE之中。

該代幣具有兩個主要的共生功能：

支付??– $PROVE是該網(wǎng)絡(luò)市場中的唯一貨幣。所有生成證明的費用都必須以 $PROVE?支付，從而為該代幣建立了直接的交易需求。

質(zhì)押以保障安全??– 為了參與證明拍賣并賺取收益，證明者需要質(zhì)押 $PROVE 作為經(jīng)濟保證金。這對網(wǎng)絡(luò)的可靠性至關(guān)重要，因為它旨在防止“惡意攻擊”（griefing）——即證明者承諾生成證明但最終未能交付，從而給 L2 等應(yīng)用造成嚴重延遲。正如 Roy 所說，“證明者不應(yīng)該能夠進行惡意攻擊……那將是非常糟糕的用戶體驗”。如果證明者未能履行其承諾，其部分質(zhì)押將被罰沒，以確保他們“承擔責任”。

5.3 價值累積飛輪

表 6：$PROVE 代幣效用和價值累積模型

5.4 首日數(shù)據(jù)：論證付諸實踐

該經(jīng)濟模型的有效性在網(wǎng)絡(luò)上線第一天就得到了證明。

聯(lián)合創(chuàng)始人 Uma Roy 在一篇公開帖子中報告稱：

Roy 指出，隨著 Succinct 私有集群中超過 35 家現(xiàn)有客戶準備過渡到公共網(wǎng)絡(luò)，證明需求勢必會?“呈拋物線式增長”。

結(jié)論

以太坊宏大的擴容路線圖與零知識技術(shù)的成熟相結(jié)合，正在創(chuàng)造未來十年最重要的新興基礎(chǔ)設(shè)施市場之一。以太坊基金會的戰(zhàn)略重心轉(zhuǎn)移，加上其資金投入，已將一個理論上的理想轉(zhuǎn)變?yōu)橐粓龉こ谈傎悺６?Succinct 等團隊引領(lǐng)的技術(shù)突破，則讓這場競賽的目標——實時證明和大規(guī)模擴容的 L1——成為可以實現(xiàn)的現(xiàn)實。

重復(fù)執(zhí)行的時代正在終結(jié)。密碼學驗證的時代正在開啟。

在這個新范式中，像 Succinct Prover Network 這樣的去中心化基礎(chǔ)設(shè)施提供商，將成為這個新興經(jīng)濟體中不可或缺的“鎬與鏟”供應(yīng)商。

$PROVE 代幣的經(jīng)濟模型集成了支付和質(zhì)押功能，創(chuàng)造了一個強大的飛輪，將網(wǎng)絡(luò)增長與代幣價值的累積直接掛鉤。因此，投資?

$PROVE 不僅僅是對單個應(yīng)用的押注，更是對下一代互聯(lián)網(wǎng)基礎(chǔ)性、可驗證計算層的直接投資。

證明全世界的軟件。