Succinct 正在以太坊上構(gòu)建一個(gè)協(xié)議，用于協(xié)調(diào)分布式證明者網(wǎng)絡(luò)，為任何軟件生成零知識(shí)證明。該協(xié)議在證明者和請(qǐng)求者之間創(chuàng)建了一個(gè)雙邊市場(chǎng)，使任何人都可以接收區(qū)塊鏈、橋梁、AI 代理、游戲等應(yīng)用的證明。 

在本篇博文中，我們將介紹 Succinct Prover Network 作為可驗(yàn)證應(yīng)用的架構(gòu)，以及 PROVE 代幣的實(shí)用性。PROVE 是 Succinct Prover Network 的支付代幣。它進(jìn)一步激勵(lì)證明者為請(qǐng)求者提供有競(jìng)爭(zhēng)力的價(jià)格，并通過質(zhì)押、價(jià)值分配和治理來保障網(wǎng)絡(luò)安全。 

簡(jiǎn)介 Succinct Prover Network

去年，我們?cè)诎灼薪榻B了 Succinct Prover Network 的核心理念。我們闡述了無需許可的證明生成市場(chǎng)的重要性，該市場(chǎng)匯聚了供應(yīng)和需求，從而打造全球最穩(wěn)健、最高效的證明集群。隨著零知識(shí)證明的普及，Succinct 正在構(gòu)建一個(gè)層，為所有應(yīng)用程序提供最可靠的證明服務(wù)，同時(shí)協(xié)調(diào)由數(shù)據(jù)中心、節(jié)點(diǎn)運(yùn)營商、本地證明器和硬件團(tuán)隊(duì)組成的生態(tài)系統(tǒng)，共同改進(jìn)證明生成。 

在構(gòu)建網(wǎng)絡(luò)時(shí)，我們充分考慮了請(qǐng)求者和證明者的用戶體驗(yàn)，以實(shí)現(xiàn)安全支付、可驗(yàn)證匹配和高性能用戶體驗(yàn)。簡(jiǎn)而言之，我們希望讓證明者網(wǎng)絡(luò)的用戶能夠享受加密貨幣可驗(yàn)證性的所有優(yōu)勢(shì)，同時(shí)又能擁有普通 Web 應(yīng)用程序的速度和效率。 

為了實(shí)現(xiàn)這一目標(biāo)，證明者網(wǎng)絡(luò)構(gòu)建了一個(gè)去中心化的市場(chǎng)，任何證明者都可以快速加入并開始履行證明，任何請(qǐng)求者都可以作為可驗(yàn)證應(yīng)用程序 (vApp)獲得具有競(jìng)爭(zhēng)力的價(jià)格。開放的市場(chǎng)準(zhǔn)入機(jī)制使證明者能夠競(jìng)爭(zhēng)提供最高效的證明服務(wù)。該網(wǎng)絡(luò)由以下主要理念驅(qū)動(dòng)： 

• 作為 vApp 的網(wǎng)絡(luò)架構(gòu) 為用戶提供與高性能 Web 應(yīng)用程序交互的體驗(yàn)，同時(shí)確保他們的存款安全，并使他們能夠獨(dú)立驗(yàn)證網(wǎng)絡(luò)狀態(tài)。 
• 一種可以實(shí)現(xiàn)支付、激勵(lì)證明者并保護(hù)網(wǎng)絡(luò)安全的代幣。
• 將證明分配給最具競(jìng)爭(zhēng)力的證明者的拍賣機(jī)制。

網(wǎng)絡(luò)架構(gòu)

該網(wǎng)絡(luò)架構(gòu)為一個(gè)可結(jié)算至以太坊的 vApp。具體而言，這意味著該網(wǎng)絡(luò)由管理拍賣流程和證明分配的鏈下組件，以及結(jié)算狀態(tài)根和正確執(zhí)行證明的鏈上智能合約組成。這類似于將執(zhí)行與鏈上結(jié)算分離的 L2 序列器的設(shè)計(jì)模式。該網(wǎng)絡(luò)不托管用戶資金，允許安全支付，并允許任何人驗(yàn)證其是否正確處理了證明請(qǐng)求匹配流程。 

我們?cè)谧罱恼撐闹薪榻B了 vApp 開發(fā)范式。我們展示了如何利用零知識(shí)虛擬機(jī)的進(jìn)步來設(shè)計(jì)兼具 web2 性能和 web3 可驗(yàn)證性的應(yīng)用程序。簡(jiǎn)潔證明者網(wǎng)絡(luò) (Succinct Prover Network) 利用這種設(shè)計(jì)模式，為用戶提供兼具 web2 和 web3 性能的最佳方案。 

該架構(gòu)實(shí)現(xiàn)了統(tǒng)一部署，避免了現(xiàn)有區(qū)塊鏈在交易吞吐量方面的限制。用戶無需擔(dān)心任何現(xiàn)有區(qū)塊鏈的區(qū)塊延遲，即可享受實(shí)時(shí)體驗(yàn)。我們相信，對(duì)于服務(wù)于 Web2 和 Web3 應(yīng)用的證明者網(wǎng)絡(luò)而言，這是最佳架構(gòu)。 

鏈下和鏈上組件

現(xiàn)在，我們將介紹網(wǎng)絡(luò)中鏈下運(yùn)行的基本服務(wù)層組件，以及用于結(jié)算的鏈上智能合約。除了鏈上處理的支付外，用戶僅與管理證明分配和履行的快速鏈下組件進(jìn)行交互。 

鏈下拍賣服務(wù)和鏈上智能合約。

主要有兩個(gè)組成部分：

• 鏈下拍賣服務(wù)：拍賣服務(wù)是負(fù)責(zé)將用戶請(qǐng)求與證明者匹配的主要鏈下實(shí)體。請(qǐng)求者提交證明請(qǐng)求和付款，證明者向拍賣服務(wù)提交出價(jià)；請(qǐng)求者接收證明，證明者接收付款。由于用戶通過 RPC 調(diào)用直接與拍賣服務(wù)交互，因此他們面對(duì)的是一個(gè)高性能、實(shí)時(shí)的系統(tǒng)。 
• 鏈上結(jié)算合約：結(jié)算合約負(fù)責(zé)結(jié)算拍賣商定期提交的狀態(tài)根和零知識(shí)證明。這些證明包含拍賣商通過傳入請(qǐng)求、取消和履行對(duì)網(wǎng)絡(luò)狀態(tài)所做的更新。結(jié)算合約還允許用戶直接從以太坊提取資金。  

執(zhí)行和結(jié)算分離是該網(wǎng)絡(luò)架構(gòu)的一大特點(diǎn)。由于拍賣商負(fù)責(zé)處理請(qǐng)求和證明履行，用戶將享受到快速的網(wǎng)頁應(yīng)用體驗(yàn)。結(jié)算合約確保了網(wǎng)絡(luò)的可驗(yàn)證性和用戶存款的安全性。值得一提的是，拍賣商不托管任何用戶資金。資金存儲(chǔ)在以太坊上，用戶可以直接提取。 

拍賣師服務(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ù)由兩部分組成：

• 一個(gè)可驗(yàn)證的數(shù)據(jù)庫，用于存儲(chǔ)用戶余額、待處理的證明請(qǐng)求以及已完成的證明。該數(shù)據(jù)庫通過發(fā)布到以太坊的讀寫操作的 Merkle 證明，實(shí)現(xiàn)了承諾友好性。 
• 一個(gè)證明器，從數(shù)據(jù)庫中讀取數(shù)據(jù)并計(jì)算網(wǎng)絡(luò)新狀態(tài)的零知識(shí)證明。該證明器由一個(gè)包含網(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ù)庫交互，他們?cè)谔峤徽?qǐng)求和競(jìng)價(jià)時(shí)可以享受實(shí)時(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 的 支付代幣。請(qǐng)求者使用 PROVE 向證明者支付費(fèi)用。
• PROVE通過質(zhì)押、價(jià)值分配和治理來保護(hù)網(wǎng)絡(luò)。
• PROVE 激勵(lì)證明者向請(qǐng)求者提供有競(jìng)爭(zhēng)力的價(jià)格。 

PROVE 的初始供應(yīng)量為 10 億個(gè)代幣，新代幣的最大發(fā)行率由網(wǎng)絡(luò)治理設(shè)定。 

質(zhì)押

證明者質(zhì)押 PROVE 代幣，以便能夠參與拍賣并履行證明。質(zhì)押的代幣將作為經(jīng)濟(jì)擔(dān)保，使證明者對(duì)證明的惡意篡改和錯(cuò)過截止日期的行為負(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ì)押者最多可以同時(shí)質(zhì)押給一位證明者。 

演練：質(zhì)押

假設(shè) Alice 發(fā)出一個(gè)證明請(qǐng)求，并且在同一時(shí)間段內(nèi)，網(wǎng)絡(luò)生成了新的 PROVE 代幣。網(wǎng)絡(luò)會(huì)將 Alice 的證明請(qǐng)求和代幣發(fā)行所產(chǎn)生的費(fèi)用分配給完成其證明的證明者、質(zhì)押給該證明者的委托人以及協(xié)議金庫。 

• 獲勝的證明者將獲得大部分費(fèi)用。   
• 為獲勝證明者提供擔(dān)保的代表將 獲得由證明者決定的請(qǐng)求費(fèi)用的一小部分，以向證明者提供經(jīng)濟(jì)保障。
• 該協(xié)議收取網(wǎng)絡(luò)費(fèi)用，并轉(zhuǎn)入國庫。

網(wǎng)絡(luò)排放量進(jìn)一步按比例分配給所有利益相關(guān)者。 

PROVE 代幣促進(jìn)價(jià)值分配（費(fèi)用分配具有指示性）。

激勵(lì)措施

PROVE 代幣還將用于激勵(lì)證明者投資基礎(chǔ)設(shè)施，并逐步降低成本。更多詳情即將公布！

治理

PROVE 代幣用于對(duì)重要的網(wǎng)絡(luò)參數(shù)進(jìn)行投票。治理投票的一些參數(shù)包括： 

• 協(xié)議金庫收取的網(wǎng)絡(luò)費(fèi)用
• 拍賣相關(guān)參數(shù)，例如要使用的拍賣形式
• 質(zhì)押要求

拍賣機(jī)制

該網(wǎng)絡(luò)利用實(shí)時(shí)競(jìng)價(jià)機(jī)制對(duì)證明請(qǐng)求進(jìn)行分配，將請(qǐng)求分配給當(dāng)前能夠滿足請(qǐng)求的最高效證明者。拍賣機(jī)制能夠以最小的延遲實(shí)現(xiàn)價(jià)格發(fā)現(xiàn)，并使用 PROVE 代幣進(jìn)行支付。網(wǎng)絡(luò)的初始版本使用簡(jiǎn)單的反向拍賣，將請(qǐng)求分配給出價(jià)最低的證明者。隨著時(shí)間的推移，該機(jī)制可以過渡到我們白皮書中描述的證明競(jìng)賽機(jī)制，該機(jī)制將獎(jiǎng)勵(lì)分配給更廣泛的證明者群體，以鼓勵(lì)去中心化。   

我們提供了請(qǐng)求者和證明者如何參與拍賣機(jī)制的演練。 

演練：請(qǐng)求證明

通過鏈上 PROVE 支付（可安全處理用戶資金）和鏈下后端（可處理請(qǐng)求數(shù)據(jù)），可以輕松請(qǐng)求證明。假設(shè) Alice 運(yùn)行 ZK Rollup 并希望請(qǐng)求證明。Alice 的證明請(qǐng)求需要至少 50 個(gè) PROVE 進(jìn)行質(zhì)押才能參與其證明的拍賣，最高費(fèi)用為 100 個(gè) PROVE。Alice 為證明設(shè)置了 10 分鐘的截止時(shí)間。 

Alice 可以使用簡(jiǎn)潔證明者網(wǎng)絡(luò)輕松做到這一點(diǎn)：

• Alice 將 PROVE 轉(zhuǎn)給拍賣師以支付她的證明費(fèi)用。 
• Alice 發(fā)起一個(gè)證明請(qǐng)求，其中包含需要證明的程序、證明的截止日期以及她愿意支付的最高費(fèi)用，并通過 RPC 調(diào)用將其發(fā)送給網(wǎng)絡(luò)的鏈下拍賣商。 
• Alice 的請(qǐng)求被直接發(fā)送到鏈下拍賣商，在那里拍賣商會(huì)將其與愿意滿足該請(qǐng)求的最便宜的證明者進(jìn)行匹配，價(jià)格最多為 100 PROVE。 
• Alice 收到證明并將付款轉(zhuǎn)給證明者。 
• 余額更新在以太坊上以單個(gè) ZK 證明的形式結(jié)算，允許 Alice 獨(dú)立驗(yàn)證交易是否正確。

除了這種簡(jiǎn)單的用戶流程外，該網(wǎng)絡(luò)還允許 Alice 輕松地從智能合約中提取資金，無需任何鏈下參與者的許可。即使拍賣師不在場(chǎng)，Alice 也可以輕松地直接從以太坊中提取資金。 

演練：實(shí)現(xiàn)證明

證明者同樣可以輕松滿足證明請(qǐng)求。證明者參與拍賣，競(jìng)爭(zhēng)證明價(jià)格，并從用戶那里收取 PROVE 手續(xù)費(fèi)。假設(shè) Bob、Charlie 和 Don 是證明者，他們正在競(jìng)爭(zhēng)滿足 Alice 證明請(qǐng)求的能力。我們舉例說明以下幾種情況： 

• Bob 質(zhì)押了 100 個(gè) PROVE，Charlie 質(zhì)押了 150 個(gè) PROVE。他們兩人都有資格參與拍賣。而 Don 只質(zhì)押了 25 個(gè) PROVE。他沒有資格參與拍賣。 
• Bob 和 Charlie 分別向鏈下拍賣師提交 60 PROVE 和 70 PROVE 的出價(jià)，以證明 Alice 的請(qǐng)求。
• 鮑勃贏得了拍賣，證明請(qǐng)求被分配給他；從分配任務(wù)開始，他有 10 分鐘的時(shí)間來完成證明。 
• Bob 在 10 分鐘內(nèi)將已履行的證明提交給鏈下拍賣師，Alice 將 60 PROVE 的付款轉(zhuǎn)給他。 

如果Bob在10分鐘內(nèi)未提交分配給他的證明，則該證明請(qǐng)求將被取消，Bob的質(zhì)押將被扣除50 PROVE。Alice可以重新嘗試向其他證明者請(qǐng)求該證明。 

或者，Alice 可以與 Bob 簽訂服務(wù)水平協(xié)議，將 Bob 列入白名單，作為唯一有資格滿足 Alice 請(qǐng)求的證明者。在這種情況下，Charlie 和 Don 沒有資格參與拍賣，只有 Bob 可以加入。

按需請(qǐng)求和鏈下預(yù)訂

該網(wǎng)絡(luò)允許任何人通過直接與拍賣商互動(dòng)來請(qǐng)求證明。這將用戶連接到一組分布式的證明器，這些證明器可以滿足請(qǐng)求。用戶在請(qǐng)求證明時(shí)有兩種選擇： 

• 按需請(qǐng)求：請(qǐng)求可以按需發(fā)送到網(wǎng)絡(luò)，并在網(wǎng)絡(luò)中進(jìn)行公開拍賣，最終進(jìn)入可用的證明器池。這對(duì)于希望從所有在線證明器中為其證明找到最具競(jìng)爭(zhēng)力價(jià)格的用戶尤其有利。按需請(qǐng)求對(duì)于需要突發(fā)容量且不會(huì)在長(zhǎng)時(shí)間內(nèi)重復(fù)發(fā)送請(qǐng)求的應(yīng)用程序也非常有用。
• 鏈下預(yù)留：對(duì)于需要強(qiáng)可靠性保證或大規(guī)模證明的用戶，可以與證明者簽訂鏈下服務(wù)水平協(xié)議。這些協(xié)議可以通過將已達(dá)成一致的證明者列入白名單在網(wǎng)絡(luò)中實(shí)施，并且由于其長(zhǎng)期性，可能帶來更優(yōu)惠的定價(jià)。白名單僅允許獲得批準(zhǔn)的證明者參與該請(qǐng)求的競(jìng)標(biāo)。 

通過為用戶提供可請(qǐng)求服務(wù)類型的靈活性，網(wǎng)絡(luò)可以通過單一統(tǒng)一的界面為所有用戶提供服務(wù)。

測(cè)試網(wǎng)第 2.5 階段：端到端部署

Succinct Prover Network 測(cè)試網(wǎng)的第 2.5 階段將采用該系統(tǒng)的端到端部署。

我們將在幾周后于測(cè)試網(wǎng)的 2.5 階段部署該系統(tǒng)的端到端版本。在 2.5 階段，應(yīng)用程序開發(fā)者將能夠輕松請(qǐng)求證明。無論您是運(yùn)行 Rollup 區(qū)塊鏈、嘗試擴(kuò)容 Layer 1 區(qū)塊鏈，還是開發(fā)下一代游戲，我們都?xì)g迎您試用我們的網(wǎng)絡(luò)。 

常見問題解答

什么是簡(jiǎn)潔證明器網(wǎng)絡(luò)？

簡(jiǎn)潔證明器網(wǎng)絡(luò) (Succinct Prover Network) 是以太坊上的一個(gè)協(xié)議，旨在實(shí)現(xiàn)一個(gè)用于生成零知識(shí)證明的去中心化市場(chǎng)。它使任何應(yīng)用程序（從區(qū)塊鏈到 ZK Rollup 再到游戲）都能從一組分布式證明器中獲取證明。 

簡(jiǎn)潔證明者網(wǎng)絡(luò)的架構(gòu)是怎樣的？

該網(wǎng)絡(luò)架構(gòu)為可驗(yàn)證應(yīng)用程序 (vApp)，擁有管理用戶請(qǐng)求和撮合的鏈下拍賣商，以及結(jié)算狀態(tài)根和證明的鏈上智能合約。類似于 L2 排序器及其鏈上結(jié)算機(jī)制，這允許任何人獨(dú)立驗(yàn)證網(wǎng)絡(luò)狀態(tài)，同時(shí)確保用戶獲得高性能體驗(yàn)。 

PROVE 代幣是什么？ 

PROVE 是網(wǎng)絡(luò)的支付代幣。它通過質(zhì)押和治理來保障網(wǎng)絡(luò)安全，并協(xié)調(diào)證明者和請(qǐng)求者之間的激勵(lì)機(jī)制。

PROVE 供應(yīng)量是多少？ 

PROVE 的初始供應(yīng)量為 10 億個(gè)代幣?？偣?yīng)量可以通過 PROVE 的發(fā)行量進(jìn)行調(diào)整，而 PROVE 的發(fā)行量則由網(wǎng)絡(luò)治理進(jìn)行調(diào)整。 

如何將證明者分配給請(qǐng)求？ 

網(wǎng)絡(luò)會(huì)進(jìn)行拍賣，將請(qǐng)求分配給最高效的證明者；初期，這將是一場(chǎng)反向拍賣。此次拍賣在鏈下進(jìn)行。任何人都可以通過發(fā)布在鏈上的零知識(shí)證明獨(dú)立驗(yàn)證拍賣結(jié)果。用戶可以按需請(qǐng)求證明，也可以與證明者進(jìn)行鏈下預(yù)約。 

以上就是PROVE代幣是什么?Succinct Prover Network架構(gòu)與PROVE代幣全面解讀的詳細(xì)內(nèi)容，更多關(guān)于PROVE代幣科普的資料請(qǐng)關(guān)注腳本之家其它相關(guān)文章！