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

1. 概述

零知識技術正迅速崛起成爲Web3領域的熱門話題。從小衆學術概念到如今獲得廣泛關注,ZK技術與AI和DeFi一起躋身行業關注度前三。這一趨勢由ZK應用的日趨成熟以及ZK證明被集成進區塊鏈基礎設施核心所驅動。

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

本文將深入探討Succinct Prover Network的架構、PROVE的核心功能和代幣經濟學,以及其生態系統的市場動態。

2. 網路架構

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

執行與結算分離

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

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

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

關鍵組件

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

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

可驗證數據庫

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

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

3. PROVE代幣

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

核心實用性

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

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

代幣供應與發行

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

質押與委托

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

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

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

治理

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

4. 拍賣和請求

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

拍賣機制

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

• 初始版本採用簡單的反向拍賣,將證明請求分配給出價最低的證明者。
• 未來可能通過治理機制過渡到"證明競賽"模式,旨在將獎勵分配給更廣泛的證明者羣體,提高去中心化程度。

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

用戶體驗

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

對於請求者:

• 將PROVE轉給拍賣商以支付費用
• 通過RPC調用發送證明請求,指定待證明的程序、截止日期以及願意支付的最高費用
• 鏈下拍賣商將請求與最低價格的合格證明者匹配
• 證明完成並提交後,費用將被轉移
• 整個交易在以太坊上通過單個ZK證明結算,使請求者能夠驗證其是否被正確處理

對於證明者:

• 競爭執行請求的權利
• 質押的PROVE必須滿足請求者設定的最低要求
• 向拍賣商提交出價
• 出價最低者贏得拍賣並獲得證明,必須在規定的截止日期前完成
• 如果成功,將收到PROVE形式的付款
• 如果未能按時提交證明,其質押金會被削減

服務模式

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

• 按需請求:用戶可以按需向網路發送請求,這些請求將進入面向所有在線證明者開放的公開拍賣。
• 鏈下預訂:對於需要更強可靠性保證或高頻率、大規模需求的用戶,網路支持與特定證明者籤訂鏈下服務協議(SLA)。

5. 市場動態與生態系統

Succinct Prover Network建立了一個經典的雙邊市場,這是DePIN領域常見的模式。雙方分別是:

• 需求方(請求者):由需要ZK來開展業務的區塊鏈協議、應用程序和開發者組成。
• 供應方(證明者):由擁有並運營生成ZK所需計算硬件的個人和專業實體組成。

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

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