零知識證明市場Succinct Prover Network全面解析

隨着零知識技術的迅速崛起,Web3領域正經歷重大轉變。零知識證明已從小衆學術概念發展成爲開發者和市場廣泛關注的熱門話題,與AI和DeFi並列成爲行業焦點。這一趨勢主要由兩個因素驅動:基於ZK的應用日趨成熟,以及ZK證明被戰略性地集成進區塊鏈基礎設施核心。

隨着ZK生態系統的擴展,生成計算密集型證明的需求達到了一個關鍵轉折點。爲滿足這一需求,一個新的專業化基礎設施層應運而生。Succinct Prover Network是一個基於以太坊的協議,構建了一個用於生成ZK的去中心化市場。它採用vApp架構,兼具高性能和可驗證的安全性。該系統的核心是PROVE代幣,作爲經濟引擎,通過支付、安全和激勵措施來推動這一新的數字商品市場。

網路架構

Succinct Prover Network的架構是一個基於以太坊的vApp。該模型旨在爲用戶提供傳統Web應用的高性能體驗,同時保留去中心化協議的安全性和信任保證。

vApp架構的核心在於執行與結算分離,這與Layer序列器的設計模式類似。

• 鏈下執行由一個高性能服務處理,該服務實時管理拍賣流程、證明分配和用戶交互。這使得用戶能夠提交請求並接收更新,而無需擔心區塊確認的延遲。
• 鏈上結算在以太坊主網上進行,主網使用ZK定期驗證網路狀態和鏈下操作的正確性。

這種混合方法確保用戶資金始終由以太坊合約保護並可直接提取,同時市場運營保持快速高效。

該網路由兩個主要組件構成:

• 鏈下拍賣服務:負責將用戶請求與證明者匹配的主要鏈下實體。它接收證明請求、收集出價、運行拍賣並分配工作。用戶通過RPC調用直接與此服務交互,獲得實時體驗。
• 鏈上結算合約:部署在以太坊上的一套智能合約,包括SuccinctVApp.sol、SuccinctStaking.sol和SuccinctGovernor.sol,充當網路的信任錨點。這些合約負責結算拍賣者定期提交的狀態根和ZK證明,從而確保網路的完整性。

爲保證鏈下操作的完整性,拍賣服務構建在一個可驗證的數據庫之上。該後端架構允許任何人獨立驗證所有餘額更新和證明履行情況。它包含:

• 一個存儲用戶餘額、待處理請求和履行情況的數據庫。該數據庫支持讀寫操作。
• 一個基於SP1的證明器,用於讀取數據庫並計算網路新狀態的ZK證明。該證明將驗證所有狀態轉換,例如餘額更新和證明分配,然後在以太坊上進行結算,以供公衆驗證。

PROVE代幣

PROVE代幣是一種基於以太坊的ERC-20實用型代幣,是Succinct Prover Network的經濟命脈。其設計包含三個主要功能,促進支付、保障網路安全以及協調所有參與者的利益。

該代幣的實用性體現在多個方面:

• 支付:PROVE是網路中唯一的支付代幣。請求者若希望其計算得到證明,必須向證明者支付相應的費用,費用以PROVE支付。這爲代幣創造了直接且持續的交易需求。
• 安全:通過質押保障網路安全。證明者必須質押PROVE才能參與競拍,確保其誠實行事。如果證明者惡意行事或錯過截止日期,其部分質押將被罰沒。
• 激勵:PROVE用於激勵證明者投資基礎設施,並持續提供具有競爭力的價格。

PROVE的初始供應量爲10億枚,但並非固定上限,因爲協議包含持續代幣發行的機制。新發行的速率並非固定不變,而是由網路的去中心化治理系統控制的一個參數,允許社區能夠隨着網路發展動態調整激勵措施。

爲保障經濟安全,任何用戶都可以質押PROVE。系統支持兩種主要方式:

• 證明者質押:證明者質押PROVE,即可獲得參與拍賣和執行證明請求的資格。
• 委托:任何PROVE持有者都可以將其代幣委托給所選的證明者。這使得他們能夠爲網路安全做出貢獻,並從所選的證明者收取的費用中賺取部分收益,而無需自行運行任何硬件。一位委托人在同一時間最多只能委托一位證明者。

當證明請求成功執行後,請求者支付的費用和網路發行的代幣將在獲勝的證明者、其委托人和協議金庫之間分配。

PROVE代幣持有者是協議的最終治理者,有權對關鍵網路參數進行投票。這包括設定網絡費用、調整質押要求以及決定拍賣機制的形式。

拍賣和請求

Succinct Prover Network採用精心設計的市場結構來促進價格發現,並將證明生成任務分配給最高效的證明者。該系統構建靈活,可通過不同的服務模式滿足廣泛的用戶需求。

該網路採用實時競價分配請求。這種拍賣機制能夠以最小的延遲實現高效的價格發現,並使用PROVE代幣進行支付。

• 初始版本:該網路的第一個版本採用簡單的反向拍賣,將證明請求分配給出價最低的證明者。
• 未來演進:隨着時間推移,通過治理機制可以將該機制過渡到"證明競賽"模式。這種模式旨在將獎勵分配給更廣泛的證明者羣體,從而提高去中心化程度。

整個拍賣過程由鏈下拍賣服務處理,但任何人都可以使用定期發布在鏈上的零知識證明獨立驗證結果。

請求和執行證明的流程旨在簡單且安全。

• 對於請求者:用戶可以輕鬆請求證明,首先將PROVE轉給拍賣商以支付費用。然後,他們通過RPC調用發送證明請求,指定待證明的程序、截止日期以及願意支付的最高費用。鏈下拍賣商會將此請求與最低價格的合格證明者進行匹配。一旦證明完成並提交,費用將被轉移,整個交易將在以太坊上通過單個ZK證明結算,使請求者能夠驗證其是否被正確處理。
• 對於證明者:證明者競爭執行請求的權利。要獲得特定拍賣的資格,證明者質押的PROVE必須滿足請求者設定的最低要求。合格的證明者向拍賣商提交出價。出價最低的證明者贏得拍賣並獲得證明,他們必須在規定的截止日期前完成。如果成功,他們將收到PROVE形式的付款。如果未能按時提交證明,其質押金會被削減。

該網路通過兩種不同的服務模式爲用戶提供靈活性:

• 按需請求:用戶可以按需向網路發送請求,這些請求將進入面向所有在線證明者開放的公開拍賣。這對於尋求最具競爭力價格的用戶或偶爾出現大量需求的應用而言是理想之選。
• 鏈下預訂:對於需要更強可靠性保證或高頻率、大規模需求的用戶,網路支持與特定證明者籤訂鏈下服務協議(SLA)。這些協議可以將經過批準的證明者列入白名單,使其獨享投標資格。由於協議的長期性質,價格可能會更優惠。

市場動態與生態系統

成功的加密經濟體系不僅需要強大的技術,還需要充滿活力的參與者生態系統以及清晰的策略來產生網路效應。PROVE代幣是旨在協調理性、獨立參與者在繁榮市場中行動的經濟體系的核心。

該網路建立了一個經典的雙邊市場,這是DePIN領域常見的模式。在這種情況下,被協調的基礎設施是生成ZK所需的計算硬件(GPU、FPGA、ASIC)。雙方分別是:

• 需求方(請求者):這一羣體由需要ZK來開展業務的區塊鏈協議、應用程序和開發者組成。這些請求者爲網路服務創造了有機需求,並作爲主要收入來源,以PROVE支付的形式流入生態系統。
• 供應方(證明者):這一羣體由擁有並運營生成ZK所需計算硬件的個人和專業實體組成。他們投資資本密集型基礎設施以競爭提供服務,賺取以PROVE計價的費用和網路獎勵。

對於新興市場而言,最大的挑戰之一是"冷啓動"問題:沒有需求,證明者就不會加入;沒有可靠的證明者供應,請求者也不會加入。該項目通過在主網啓動前就專注於確保市場需求來解決這一問題。

該項目已與Web3領域衆多頭部項目建立合作關係,從首日起就確保了即時且大量的需求。此舉降低了證明者的經濟風險,並確保PROVE代幣從一開始就具有即時的交易速度,支撐起整個經濟模型。

歸根結底,Succinct Prover Network基於一個簡單的前提:計算的未來是可驗證的。PROVE代幣是實現這一未來的關鍵機制,其將加密證明從一項小衆技術轉變爲一種人人皆可獲取、具有流動性的數字商品。