Succinct Prover Network:以太坊上的去中心化ZK證明市場

Succinct Prover Network是一個基於以太坊的去中心化零知識證明(ZK)生成市場。它旨在連接需要ZK的請求方(如Rollup、橋、AI應用)與全球計算能力提供者網路(Prover)。該網路採用vApp架構,鏈下拍賣服務實時管理拍賣,而資金的安全性和最終結算由以太坊上的智能合約保障,兼具Web2的性能和Web3的安全性。

$PROVE代幣(ERC-20)是網路的經濟核心,具有三個主要功能:

• 支付:用於支付證明生成費用的唯一代幣
• 安全:驗證者必須以$PROVE作爲抵押品,若出現不當行爲,抵押金可能會被削減
• 治理:代幣持有者對關鍵協議參數進行投票

初始供應量爲10億枚,其發行率由治理控制。

在市場運作中,請求者提交任務,證明者通過反向拍賣競爭來完成這些任務,出價最低者中標。該機制確保了證明的競爭性定價。

Succinct的一大優勢是已與許多主要Web3項目建立合作關係,從第一天起就保證了對網路服務的大量需求,解決了冷啓動問題。

網路架構

Succinct Prover Network採用基於以太坊的vApp架構,旨在提供傳統Web應用的高性能體驗,同時保留去中心化協議的安全性。

其核心在於執行與結算分離:

• 鏈下執行由高性能服務處理,實時管理拍賣流程、證明分配和用戶交互
• 鏈上結算在以太坊主網進行,定期驗證網路狀態和鏈下操作的正確性

網路的兩個主要組件是:

1. 鏈下拍賣服務:負責將用戶請求與證明者匹配,接收證明請求、收集出價、運行拍賣並分配工作

2. 鏈上結算合約:部署在以太坊上的智能合約,是網路的信任錨點,負責結算定期提交的狀態根和ZK證明

爲保證鏈下操作的完整性,拍賣服務構建在一個可驗證的數據庫之上,包含:

• 存儲用戶餘額、待處理請求和履行情況的數據庫
• 基於SP1的證明器,用於計算網路新狀態的ZK證明

$PROVE代幣

$PROVE是基於以太坊的ERC-20實用型代幣,是Succinct Prover Network的經濟命脈。其設計包含三個主要功能:

1. 支付:網路中唯一的支付代幣,請求者必須用$PROVE支付證明費用

2. 安全:證明者必須質押$PROVE才能參與競拍,確保誠實行事

3. 激勵:用於激勵證明者投資基礎設施,並持續提供具有競爭力的價格

初始供應量爲10億枚,但非固定上限。新發行速率由去中心化治理系統控制,允許社區隨網路發展動態調整激勵措施。

質押和委托機制:

• 證明者質押:質押$PROVE即可參與拍賣和執行證明請求
• 委托:任何持有者都可將代幣委托給選定證明者,無需自行運行硬件也能獲得收益

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

$PROVE持有者可對關鍵網路參數進行投票,包括設定網絡費用、調整質押要求及決定拍賣機制形式。

拍賣和請求機制

網路採用實時競價分配請求,以最小延遲實現高效價格發現。初始版本採用簡單反向拍賣,將證明請求分配給出價最低的證明者。未來可能過渡到"證明競賽"模式,以提高去中心化程度。

請求和執行證明的流程設計簡單且安全:

• 請求者:轉$PROVE給拍賣商支付費用,通過RPC調用發送證明請求
• 證明者:競爭執行請求權利,需滿足最低質押要求,出價最低者獲得證明任務

網路提供兩種服務模式:

1. 按需請求:適合尋求最具競爭力價格的用戶或偶爾大量需求的應用

2. 鏈下預訂:適合需要更強可靠性保證或高頻率、大規模需求的用戶

市場動態與生態系統

Succinct Prover Network建立了一個經典雙邊市場:

• 需求方(請求者):區塊鏈協議、應用程序和開發者,爲網路服務創造有機需求
• 供應方(證明者):運營計算硬件的個人和實體,投資基礎設施以賺取費用和獎勵

爲解決冷啓動問題,Succinct Labs已與衆多Web3頭部項目建立合作關係,確保主網啓動時即有大量需求。這降低了證明者的經濟風險,確保$PROVE代幣從一開始就具有即時交易速度。

Succinct Prover Network的核心理念是計算的未來是可驗證的。$PROVE代幣作爲關鍵機制,將加密證明從小衆技術轉變爲人人可獲取、具有流動性的數字商品。