PROVE代幣是什么?Succinct Prover Network架構(gòu)與PROVE代幣全面解讀
Succinct 正在以太坊上構(gòu)建一個協(xié)議,用于協(xié)調(diào)分布式證明者網(wǎng)絡(luò),為任何軟件生成零知識證明。該協(xié)議在證明者和請求者之間創(chuàng)建了一個雙邊市場,使任何人都可以接收區(qū)塊鏈、橋梁、AI 代理、游戲等應(yīng)用的證明。
在本篇博文中,我們將介紹 Succinct Prover Network 作為可驗(yàn)證應(yīng)用的架構(gòu),以及 PROVE 代幣的實(shí)用性。PROVE 是 Succinct Prover Network 的支付代幣。它進(jìn)一步激勵證明者為請求者提供有競爭力的價格,并通過質(zhì)押、價值分配和治理來保障網(wǎng)絡(luò)安全。
簡介 Succinct Prover Network
去年,我們在白皮書中介紹了 Succinct Prover Network 的核心理念。我們闡述了無需許可的證明生成市場的重要性,該市場匯聚了供應(yīng)和需求,從而打造全球最穩(wěn)健、最高效的證明集群。隨著零知識證明的普及,Succinct 正在構(gòu)建一個層,為所有應(yīng)用程序提供最可靠的證明服務(wù),同時協(xié)調(diào)由數(shù)據(jù)中心、節(jié)點(diǎn)運(yùn)營商、本地證明器和硬件團(tuán)隊(duì)組成的生態(tài)系統(tǒng),共同改進(jìn)證明生成。
在構(gòu)建網(wǎng)絡(luò)時,我們充分考慮了請求者和證明者的用戶體驗(yàn),以實(shí)現(xiàn)安全支付、可驗(yàn)證匹配和高性能用戶體驗(yàn)。簡而言之,我們希望讓證明者網(wǎng)絡(luò)的用戶能夠享受加密貨幣可驗(yàn)證性的所有優(yōu)勢,同時又能擁有普通 Web 應(yīng)用程序的速度和效率。
為了實(shí)現(xiàn)這一目標(biāo),證明者網(wǎng)絡(luò)構(gòu)建了一個去中心化的市場,任何證明者都可以快速加入并開始履行證明,任何請求者都可以作為可驗(yàn)證應(yīng)用程序 (vApp)獲得具有競爭力的價格。開放的市場準(zhǔn)入機(jī)制使證明者能夠競爭提供最高效的證明服務(wù)。該網(wǎng)絡(luò)由以下主要理念驅(qū)動:
- 作為 vApp 的網(wǎng)絡(luò)架構(gòu) 為用戶提供與高性能 Web 應(yīng)用程序交互的體驗(yàn),同時確保他們的存款安全,并使他們能夠獨(dú)立驗(yàn)證網(wǎng)絡(luò)狀態(tài)。
- 一種可以實(shí)現(xiàn)支付、激勵證明者并保護(hù)網(wǎng)絡(luò)安全的代幣。
- 將證明分配給最具競爭力的證明者的拍賣機(jī)制。
網(wǎng)絡(luò)架構(gòu)
該網(wǎng)絡(luò)架構(gòu)為一個可結(jié)算至以太坊的 vApp。具體而言,這意味著該網(wǎng)絡(luò)由管理拍賣流程和證明分配的鏈下組件,以及結(jié)算狀態(tài)根和正確執(zhí)行證明的鏈上智能合約組成。這類似于將執(zhí)行與鏈上結(jié)算分離的 L2 序列器的設(shè)計模式。該網(wǎng)絡(luò)不托管用戶資金,允許安全支付,并允許任何人驗(yàn)證其是否正確處理了證明請求匹配流程。
我們在最近的論文中介紹了 vApp 開發(fā)范式。我們展示了如何利用零知識虛擬機(jī)的進(jìn)步來設(shè)計兼具 web2 性能和 web3 可驗(yàn)證性的應(yīng)用程序。簡潔證明者網(wǎng)絡(luò) (Succinct Prover Network) 利用這種設(shè)計模式,為用戶提供兼具 web2 和 web3 性能的最佳方案。
該架構(gòu)實(shí)現(xiàn)了統(tǒng)一部署,避免了現(xiàn)有區(qū)塊鏈在交易吞吐量方面的限制。用戶無需擔(dān)心任何現(xiàn)有區(qū)塊鏈的區(qū)塊延遲,即可享受實(shí)時體驗(yàn)。我們相信,對于服務(wù)于 Web2 和 Web3 應(yīng)用的證明者網(wǎng)絡(luò)而言,這是最佳架構(gòu)。
鏈下和鏈上組件
現(xiàn)在,我們將介紹網(wǎng)絡(luò)中鏈下運(yùn)行的基本服務(wù)層組件,以及用于結(jié)算的鏈上智能合約。除了鏈上處理的支付外,用戶僅與管理證明分配和履行的快速鏈下組件進(jìn)行交互。
鏈下拍賣服務(wù)和鏈上智能合約。
主要有兩個組成部分:
- 鏈下拍賣服務(wù):拍賣服務(wù)是負(fù)責(zé)將用戶請求與證明者匹配的主要鏈下實(shí)體。請求者提交證明請求和付款,證明者向拍賣服務(wù)提交出價;請求者接收證明,證明者接收付款。由于用戶通過 RPC 調(diào)用直接與拍賣服務(wù)交互,因此他們面對的是一個高性能、實(shí)時的系統(tǒng)。
- 鏈上結(jié)算合約:結(jié)算合約負(fù)責(zé)結(jié)算拍賣商定期提交的狀態(tài)根和零知識證明。這些證明包含拍賣商通過傳入請求、取消和履行對網(wǎng)絡(luò)狀態(tài)所做的更新。結(jié)算合約還允許用戶直接從以太坊提取資金。
執(zhí)行和結(jié)算分離是該網(wǎng)絡(luò)架構(gòu)的一大特點(diǎn)。由于拍賣商負(fù)責(zé)處理請求和證明履行,用戶將享受到快速的網(wǎng)頁應(yīng)用體驗(yàn)。結(jié)算合約確保了網(wǎng)絡(luò)的可驗(yàn)證性和用戶存款的安全性。值得一提的是,拍賣商不托管任何用戶資金。資金存儲在以太坊上,用戶可以直接提取。
拍賣師服務(wù)和可驗(yàn)證數(shù)據(jù)庫
拍賣師服務(wù)由可驗(yàn)證數(shù)據(jù)庫和 SP1 程序組成。
該網(wǎng)絡(luò)采用后端架構(gòu),允許任何人獨(dú)立驗(yàn)證網(wǎng)絡(luò)中余額更新和證明履行情況,并具備普通 Web 應(yīng)用程序的高性能。拍賣商是持有用戶狀態(tài)的主要參與者,并定期將狀態(tài)更新證明發(fā)布到以太坊。拍賣商服務(wù)由兩部分組成:
- 一個可驗(yàn)證的數(shù)據(jù)庫,用于存儲用戶余額、待處理的證明請求以及已完成的證明。該數(shù)據(jù)庫通過發(fā)布到以太坊的讀寫操作的 Merkle 證明,實(shí)現(xiàn)了承諾友好性。
- 一個證明器,從數(shù)據(jù)庫中讀取數(shù)據(jù)并計算網(wǎng)絡(luò)新狀態(tài)的零知識證明。該證明器由一個包含網(wǎng)絡(luò)狀態(tài)轉(zhuǎn)換函數(shù)的 SP1 程序組成。該狀態(tài)轉(zhuǎn)換函數(shù)跟蹤余額更新、證明分配和證明履行。然后,證明器執(zhí)行并生成該程序的證明,并定期將這些證明結(jié)算到以太坊上,任何人都可以使用這些證明來獨(dú)立驗(yàn)證網(wǎng)絡(luò)狀態(tài)。
重要的是,由于用戶直接與數(shù)據(jù)庫交互,他們在提交請求和競價時可以享受實(shí)時體驗(yàn)。定期的證明使他們能夠驗(yàn)證網(wǎng)絡(luò)的狀態(tài)。
PROVE代幣
PROVE 代幣是在以太坊上發(fā)行的 ERC-20 代幣,在 Succinct Prover 網(wǎng)絡(luò)中發(fā)揮三大主要功能:
- PROVE是Succinct Prover Network 的 支付代幣。請求者使用 PROVE 向證明者支付費(fèi)用。
- PROVE通過質(zhì)押、價值分配和治理來保護(hù)網(wǎng)絡(luò)。
- PROVE 激勵證明者向請求者提供有競爭力的價格。
PROVE 的初始供應(yīng)量為 10 億個代幣,新代幣的最大發(fā)行率由網(wǎng)絡(luò)治理設(shè)定。
質(zhì)押
證明者質(zhì)押 PROVE 代幣,以便能夠參與拍賣并履行證明。質(zhì)押的代幣將作為經(jīng)濟(jì)擔(dān)保,使證明者對證明的惡意篡改和錯過截止日期的行為負(fù)責(zé)。質(zhì)押者還可以參與協(xié)議治理,更新網(wǎng)絡(luò)參數(shù),例如發(fā)行率、質(zhì)押要求和其他拍賣細(xì)節(jié)。質(zhì)押者將接收協(xié)議設(shè)定的網(wǎng)絡(luò)發(fā)行量。
代表團(tuán)
任何人都可以質(zhì)押 PROVE 并將其委托給證明者,以滿足證明者的質(zhì)押需求。委托人還可以通過為證明者提供經(jīng)濟(jì)保障,賺取 PROVE 手續(xù)費(fèi)的一小部分。委托質(zhì)押者最多可以同時質(zhì)押給一位證明者。
演練:質(zhì)押
假設(shè) Alice 發(fā)出一個證明請求,并且在同一時間段內(nèi),網(wǎng)絡(luò)生成了新的 PROVE 代幣。網(wǎng)絡(luò)會將 Alice 的證明請求和代幣發(fā)行所產(chǎn)生的費(fèi)用分配給完成其證明的證明者、質(zhì)押給該證明者的委托人以及協(xié)議金庫。
- 獲勝的證明者將獲得大部分費(fèi)用。
- 為獲勝證明者提供擔(dān)保的代表將 獲得由證明者決定的請求費(fèi)用的一小部分,以向證明者提供經(jīng)濟(jì)保障。
- 該協(xié)議收取網(wǎng)絡(luò)費(fèi)用,并轉(zhuǎn)入國庫。
網(wǎng)絡(luò)排放量進(jìn)一步按比例分配給所有利益相關(guān)者。
PROVE 代幣促進(jìn)價值分配(費(fèi)用分配具有指示性)。
激勵措施
PROVE 代幣還將用于激勵證明者投資基礎(chǔ)設(shè)施,并逐步降低成本。更多詳情即將公布!
治理
PROVE 代幣用于對重要的網(wǎng)絡(luò)參數(shù)進(jìn)行投票。治理投票的一些參數(shù)包括:
- 協(xié)議金庫收取的網(wǎng)絡(luò)費(fèi)用
- 拍賣相關(guān)參數(shù),例如要使用的拍賣形式
- 質(zhì)押要求
拍賣機(jī)制
該網(wǎng)絡(luò)利用實(shí)時競價機(jī)制對證明請求進(jìn)行分配,將請求分配給當(dāng)前能夠滿足請求的最高效證明者。拍賣機(jī)制能夠以最小的延遲實(shí)現(xiàn)價格發(fā)現(xiàn),并使用 PROVE 代幣進(jìn)行支付。網(wǎng)絡(luò)的初始版本使用簡單的反向拍賣,將請求分配給出價最低的證明者。隨著時間的推移,該機(jī)制可以過渡到我們白皮書中描述的證明競賽機(jī)制,該機(jī)制將獎勵分配給更廣泛的證明者群體,以鼓勵去中心化。
我們提供了請求者和證明者如何參與拍賣機(jī)制的演練。
演練:請求證明
通過鏈上 PROVE 支付(可安全處理用戶資金)和鏈下后端(可處理請求數(shù)據(jù)),可以輕松請求證明。假設(shè) Alice 運(yùn)行 ZK Rollup 并希望請求證明。Alice 的證明請求需要至少 50 個 PROVE 進(jìn)行質(zhì)押才能參與其證明的拍賣,最高費(fèi)用為 100 個 PROVE。Alice 為證明設(shè)置了 10 分鐘的截止時間。
Alice 可以使用簡潔證明者網(wǎng)絡(luò)輕松做到這一點(diǎn):
- Alice 將 PROVE 轉(zhuǎn)給拍賣師以支付她的證明費(fèi)用。
- Alice 發(fā)起一個證明請求,其中包含需要證明的程序、證明的截止日期以及她愿意支付的最高費(fèi)用,并通過 RPC 調(diào)用將其發(fā)送給網(wǎng)絡(luò)的鏈下拍賣商。
- Alice 的請求被直接發(fā)送到鏈下拍賣商,在那里拍賣商會將其與愿意滿足該請求的最便宜的證明者進(jìn)行匹配,價格最多為 100 PROVE。
- Alice 收到證明并將付款轉(zhuǎn)給證明者。
- 余額更新在以太坊上以單個 ZK 證明的形式結(jié)算,允許 Alice 獨(dú)立驗(yàn)證交易是否正確。
除了這種簡單的用戶流程外,該網(wǎng)絡(luò)還允許 Alice 輕松地從智能合約中提取資金,無需任何鏈下參與者的許可。即使拍賣師不在場,Alice 也可以輕松地直接從以太坊中提取資金。
演練:實(shí)現(xiàn)證明
證明者同樣可以輕松滿足證明請求。證明者參與拍賣,競爭證明價格,并從用戶那里收取 PROVE 手續(xù)費(fèi)。假設(shè) Bob、Charlie 和 Don 是證明者,他們正在競爭滿足 Alice 證明請求的能力。我們舉例說明以下幾種情況:
- Bob 質(zhì)押了 100 個 PROVE,Charlie 質(zhì)押了 150 個 PROVE。他們兩人都有資格參與拍賣。而 Don 只質(zhì)押了 25 個 PROVE。他沒有資格參與拍賣。
- Bob 和 Charlie 分別向鏈下拍賣師提交 60 PROVE 和 70 PROVE 的出價,以證明 Alice 的請求。
- 鮑勃贏得了拍賣,證明請求被分配給他;從分配任務(wù)開始,他有 10 分鐘的時間來完成證明。
- Bob 在 10 分鐘內(nèi)將已履行的證明提交給鏈下拍賣師,Alice 將 60 PROVE 的付款轉(zhuǎn)給他。
如果Bob在10分鐘內(nèi)未提交分配給他的證明,則該證明請求將被取消,Bob的質(zhì)押將被扣除50 PROVE。Alice可以重新嘗試向其他證明者請求該證明。
或者,Alice 可以與 Bob 簽訂服務(wù)水平協(xié)議,將 Bob 列入白名單,作為唯一有資格滿足 Alice 請求的證明者。在這種情況下,Charlie 和 Don 沒有資格參與拍賣,只有 Bob 可以加入。
按需請求和鏈下預(yù)訂
該網(wǎng)絡(luò)允許任何人通過直接與拍賣商互動來請求證明。這將用戶連接到一組分布式的證明器,這些證明器可以滿足請求。用戶在請求證明時有兩種選擇:
- 按需請求:請求可以按需發(fā)送到網(wǎng)絡(luò),并在網(wǎng)絡(luò)中進(jìn)行公開拍賣,最終進(jìn)入可用的證明器池。這對于希望從所有在線證明器中為其證明找到最具競爭力價格的用戶尤其有利。按需請求對于需要突發(fā)容量且不會在長時間內(nèi)重復(fù)發(fā)送請求的應(yīng)用程序也非常有用。
- 鏈下預(yù)留:對于需要強(qiáng)可靠性保證或大規(guī)模證明的用戶,可以與證明者簽訂鏈下服務(wù)水平協(xié)議。這些協(xié)議可以通過將已達(dá)成一致的證明者列入白名單在網(wǎng)絡(luò)中實(shí)施,并且由于其長期性,可能帶來更優(yōu)惠的定價。白名單僅允許獲得批準(zhǔn)的證明者參與該請求的競標(biāo)。
通過為用戶提供可請求服務(wù)類型的靈活性,網(wǎng)絡(luò)可以通過單一統(tǒng)一的界面為所有用戶提供服務(wù)。
測試網(wǎng)第 2.5 階段:端到端部署
Succinct Prover Network 測試網(wǎng)的第 2.5 階段將采用該系統(tǒng)的端到端部署。
我們將在幾周后于測試網(wǎng)的 2.5 階段部署該系統(tǒng)的端到端版本。在 2.5 階段,應(yīng)用程序開發(fā)者將能夠輕松請求證明。無論您是運(yùn)行 Rollup 區(qū)塊鏈、嘗試擴(kuò)容 Layer 1 區(qū)塊鏈,還是開發(fā)下一代游戲,我們都?xì)g迎您試用我們的網(wǎng)絡(luò)。
常見問題解答
什么是簡潔證明器網(wǎng)絡(luò)?
簡潔證明器網(wǎng)絡(luò) (Succinct Prover Network) 是以太坊上的一個協(xié)議,旨在實(shí)現(xiàn)一個用于生成零知識證明的去中心化市場。它使任何應(yīng)用程序(從區(qū)塊鏈到 ZK Rollup 再到游戲)都能從一組分布式證明器中獲取證明。
簡潔證明者網(wǎng)絡(luò)的架構(gòu)是怎樣的?
該網(wǎng)絡(luò)架構(gòu)為可驗(yàn)證應(yīng)用程序 (vApp),擁有管理用戶請求和撮合的鏈下拍賣商,以及結(jié)算狀態(tài)根和證明的鏈上智能合約。類似于 L2 排序器及其鏈上結(jié)算機(jī)制,這允許任何人獨(dú)立驗(yàn)證網(wǎng)絡(luò)狀態(tài),同時確保用戶獲得高性能體驗(yàn)。
PROVE 代幣是什么?
PROVE 是網(wǎng)絡(luò)的支付代幣。它通過質(zhì)押和治理來保障網(wǎng)絡(luò)安全,并協(xié)調(diào)證明者和請求者之間的激勵機(jī)制。
PROVE 供應(yīng)量是多少?
PROVE 的初始供應(yīng)量為 10 億個代幣??偣?yīng)量可以通過 PROVE 的發(fā)行量進(jìn)行調(diào)整,而 PROVE 的發(fā)行量則由網(wǎng)絡(luò)治理進(jìn)行調(diào)整。
如何將證明者分配給請求?
網(wǎng)絡(luò)會進(jìn)行拍賣,將請求分配給最高效的證明者;初期,這將是一場反向拍賣。此次拍賣在鏈下進(jìn)行。任何人都可以通過發(fā)布在鏈上的零知識證明獨(dú)立驗(yàn)證拍賣結(jié)果。用戶可以按需請求證明,也可以與證明者進(jìn)行鏈下預(yù)約。
以上就是PROVE代幣是什么?Succinct Prover Network架構(gòu)與PROVE代幣全面解讀的詳細(xì)內(nèi)容,更多關(guān)于PROVE代幣科普的資料請關(guān)注腳本之家其它相關(guān)文章!
你可能感興趣的文章
-
Tokyo Games Token(TGT)幣是什么?如何運(yùn)作?TGT代幣經(jīng)濟(jì)學(xué)概述
東京游戲代幣 (TGT) 由 Play3 Ltd. 發(fā)行,是連接多款 AAA 級游戲的新一代 Web3 游戲平臺的共享貨幣,TGT 的發(fā)行上限為 10 億個,旨在實(shí)現(xiàn)頂級游戲的統(tǒng)一、可持續(xù)經(jīng)濟(jì),同時…
2025-05-20 -
什么是Xterio(XTER)幣?如何運(yùn)作?XTER代幣經(jīng)濟(jì)模型解析
Xterio是一個由游戲行業(yè)資深人士創(chuàng)立的免費(fèi)玩賺游戲開發(fā)商和出版商,總部位于瑞士蘇黎世的Xterio Foundation負(fù)責(zé)開發(fā)和維護(hù)其平臺功能,XTER代幣是Xterio生態(tài)系統(tǒng)的核心,用…
2025-05-20 -
Initia(INIT)是什么?Initia特點(diǎn)與代幣經(jīng)濟(jì)學(xué)全面介紹
Initia是一個模塊化區(qū)塊鏈網(wǎng)絡(luò),它結(jié)合了基于Cosmos SDK的第一層與稱為Minitias的可定制第二層擴(kuò)容方案,INIT是Initia網(wǎng)絡(luò)中用于交易費(fèi)用、質(zhì)押、治理和流動性協(xié)調(diào)的原生代…
2025-05-20 -
SOON代幣是什么?值得投資嗎?SOON代幣潛力與前景分析
SOON代幣是Solana Optimistic Network的原生代幣,運(yùn)行在一個基于Decoupled SVM(Solana Virtual Machine)的以太坊Layer 2解決方案上,本文將深入剖析SOON代幣的技術(shù)優(yōu)勢、…
2025-05-20 -
什么是愛因斯坦(EIN)幣?EIN代幣經(jīng)濟(jì)學(xué)、功能及未來路線圖介紹
愛因斯坦(EIN)是一個開創(chuàng)性的去中心化科學(xué)協(xié)議,將物理學(xué)原則與區(qū)塊鏈技術(shù)相結(jié)合,創(chuàng)造了一個教育和互動的加密生態(tài)系統(tǒng),EIN代幣作為治理機(jī)制和費(fèi)用代幣運(yùn)作,并具備通脹設(shè)…
2025-05-20 -
什么是CreatorBid(BID)幣?BID代幣經(jīng)濟(jì)/融資/未來價值/生態(tài)介紹
CreatorBid(BID)幣是什么?怎么樣?未來前景如何?BID token 不僅是 CreatorBid 的通證,更是平臺治理、激勵、服務(wù)的“燃料”,通過動態(tài)激勵機(jī)制 DIM、Credits 燃燒模型、質(zhì)…
2025-05-19 -
什么是Mint區(qū)塊鏈?MINT代幣經(jīng)濟(jì)學(xué)/特點(diǎn)/如何運(yùn)作/發(fā)展路線圖介紹
MINT幣是Mint 區(qū)塊鏈的原生代幣,目前,該代幣仍在開發(fā)中,但Mint團(tuán)隊(duì)最近已公布其實(shí)用功能和代幣經(jīng)濟(jì)模型,作為其路線圖承諾的一部分,作為一個實(shí)用型代幣,MINT在Mint區(qū)塊…
2025-05-19 -
什么是Timeswap(TIME)幣?TIME幣價格預(yù)測/代幣經(jīng)濟(jì)學(xué)/融資背景解讀
什么是Timeswap(TIME)幣?Timeswap(TIME)幣未來價格能漲到多少?到2030年Timeswap(TIME)幣價格預(yù)測情況如何?Timeswap 是第一個無預(yù)言機(jī)借貸協(xié)議,下面腳本之家小編將給大家…
2025-05-18 -
什么是Privasea AI(PRAI)?PRAI幣值得投資嗎?
PRAI是支撐整個Privasea生態(tài)系統(tǒng)的原生實(shí)用代幣,包括DeepSea AI 網(wǎng)絡(luò)和ImHuman 應(yīng)用,總供應(yīng)量為1,000,000,000 PRAI,該代幣作為機(jī)密AI 服務(wù)、安全交易和全網(wǎng)絡(luò)人類證明的…
2025-05-18 -
Engines of Fury是什么幣?FURY幣前景如何?背景、特色、代幣經(jīng)濟(jì)學(xué)介
什么是FURY幣?FURY幣價格預(yù)測!Engines of Fury 是一款刺激的免費(fèi)游戲俯視角抽取射擊游戲,Engines of Fury 是一款免費(fèi)游戲、俯視角、末日后抽取射擊游戲,采用區(qū)塊鏈技術(shù),…
2025-05-18