Brevis發布ProverNet白皮書,詳述首個去中心化零知識證明生成市場

By: blockbeats|2025/11/17 20:30:07
0
分享
copy
原文來源:Brevis

Brevis 今天發布了 ProverNet 白皮書,介紹其去中心化零知識證明生成市場架構,該架構源於主流多鏈協議的生產環境實測。該系統解決了現有證明基礎設施中的一個基本限制——無法有效服務於需要不同硬體、證明系統和最佳化方法的異質運算工作。

ProverNet 將證明生成視為一個雙方市場,應用程式提交特定請求,專業證明者競標來滿足這些需求。該市場透過真實線上雙向拍賣(Truthful Online Double Auction)機制運作,旨在同時處理多種證明類型,同時確保誠實出價和最優資源分配,ProverNet 計劃在 2025 年底之前上線。

生產規模揭示基礎設施的局限性

Brevis 目前的基礎設施已為 98,000 名用戶生成超過 1.24 億個證明,覆蓋包括 PancakeSwap、Uniswap、Euler、L800 和 Meta24 億美元的獎勵分配了。這些部署顯著揭示了證明工作的多樣性,而單一供應商架構難以有效地進行服務。

PancakeSwap 的 VIP 費率折扣系統要求在每個交易前為個別交易者產生亞秒級證明以檢查資格。 Euler 的激勵分配每四小時處理 10 萬個位址,優先考慮吞吐量而非延遲。 Linea 的生態系統活動為多協議獎勵計算產生了 1,210 萬個證明,涉及 61,902 個地址。每種工作負載都需要不同的硬體配置、證明系統(SNARKs 與 STARKs)和效能特性。

Brevis 的執行長兼共同創辦人 Michael 表示:「目前的證明系統針對特定用例進行最佳化,例如某些 Rollup、單一虛擬機或同質化工作類型。ProverNet 的誕生源自於我們對應用程式在根本上需求不同證明方法的觀察。一個由專業證明者嘗試的市場,比任何單一營運者在根本上需求不同的觀察方法

TODA 機制

ProverNet 的架構將不同的證明類型視為拍賣中的不同商品。應用程式指定證明要求,包括處理類型(zkVM 執行、資料證明、遞歸聚合)、截止日期、最高費用和品質參數。 TODA 機制每輪運算最優分配,將異質請求與適當的證明能力配對。

此機制解決了證明生成市場獨特的挑戰。傳統拍賣機制是基於商品同質的假設,TODA 能夠同時處理多種證明類型。複雜的證明任務被分解為子任務,由不同的證明者合作執行。

例如,一個 zkVM 證明可能涉及在一個證明者上生成分區塊,在另一個證明者上進行壓縮,在第三個證明者上進行聚合,最後在第四個專用系統進行最終驗證封裝。

TODA保證了若干經濟屬性:

真實性(最優策略是誠實出價)

預算平衡(收取的費用超過支付的費用)

個體理性(沒有參與者接受不盈利的任務)

漸近最適(隨著證明者供應的增長,分配接近最大效率)。

該市場在 Brevis Chain 上運行,這是一個專為拍賣協調設計的專用 Rollup 架構。該架構將市場吞吐量與 Layer 1 或 Layer 2 網路擁塞隔離開來,同時保持透明性和無許可參與。透過 ProverNet 產生的證明可以面向任何目標區塊鏈進行驗證。

Pico zkVM 與即時證明

ProverNet 建立在 Brevis 現有的證明基礎設施之上,該基礎設施包含兩個互補的產品,以服務不同的運算需求。

Pico zkVM 採用「通用核心 + 高效能協處理器」架構,其中一個極簡高效核心連接到專用的加密加速器,從而允許程式在運行一個穩定的虛擬機的同時,獲得定向的硬體優化。

Pico Prism 最近實現了對 gas 限制為 4500 萬的以太坊區塊 99.6% 的證明覆蓋,在 12 秒內完成其中的 96.8% 證明,平均證明時間為 6.9 秒。該系統使用 64×RTX 5090 GPU 集群,比先前市場最優 zkVM 低 50% 的硬體成本實現即時證明。

ZK 數據協處理器使智慧合約能夠存取歷史區塊鏈數據,並執行可加密驗證的鏈下計算。

該系統支援的應用包括 PancakeSwap 的 VIP 費率(在交易前檢查 30 天的交易量)、Euler 的無信任獎勵分配(處理數千個地址的時間加權餘額)以及 Uniswap v4 的路由返利(無需中心化帳本即可驗證交易資格)。

這些整合展示了有別於通用運算驗證的資料密集型證明需求。

這些系統共同為在基礎層規模上實現即時加密驗證確立了經濟可行性,同時服務於那些激勵 ProverNet 市場架構的異質工作負載類型。

對 ZK 生態系統的影響

ProverNet 代表了從單一證明供應商的基礎設施轉變為基於市場需求的資源分配的轉變。現有的證明者網路通常針對狹窄的用例進行最佳化(例如特定的 Rollup 證明、特定的虛擬機,或同質的工作類型),這限制了它們高效服務多樣化需求的能力。

市場拍賣模式允許證明團隊專注於特定的優化目標(基於 STARK 的批次、低延遲 SNARK 證明、特定的加密操作),而無需構建通用基礎設施,同時應用程式可以獲得有競爭力的定價和獲得服務的保證,且無需受供應商鎖定的影響。

對於開發者而言,這消除了在構建定制證明基礎設施(昂貴且耗時)和依賴中心化服務(引入信任假設)之間進行權衡的困境,因為加密驗證保證了計算的正確性,而市場競爭確保了定價效率和載能可用性。

更多資訊

完整的 ProverNet 白皮書可以在以下網址取得:http://www.brevis.network/whitepaper/provernet.pdf

已發佈簡潔的技術概述已發佈在 Brevis部落格:https://blog.brevis.network/2025/10/28/brevis-provernet-building-the-open-marketplace-for-zero-knowledge-proofs/

本文來自投稿,不代表 BlockBeats 觀點。

猜你喜歡

別只盯著交易量,教你看懂永續合約的「真假繁榮」

六個月內的累積永續交易量增長量已經超過先前四年的總和。

聯合國教科文組織警告稱,到 2028 年,人工智能的顛覆性發展可能會使創作者的收入減少近 25%

關鍵要點:聯合國教科文組織警告稱,人工智能生成的內容可能會導致音樂創作者的收入損失高達24%……

XRP 飆升:由於 Ripple CEO 關鍵角色影響了加密監管

重要要點 Ripple CEO 採取了新的策略位置,在 CFTC 創新諮詢委員會中任職,激發了 XRP 價格的快速攀升。 在獲知此高管聯邦職稱任命的消息後,XRP 單日價格上漲 8.09%。 包括 Ripple、Coinbase 和 Chainlink 等在內的加密領導者被邀請為數位資產框架提供意見。 華爾街對加密貨幣的興趣漸增,Goldman Sachs…

SHIB軍團燃燒3,564,772枚SHIB,但仍有半個千萬億硬幣在流通中

主要收穫 最近24小時內,SHIB燃燒率增加了38%,但未對其總量產生顯著影響。 SHIB市場表現疲弱,與比特幣走勢趨同,近期價格已下跌約30%。 以太坊創辦人Vitalik Buterin曾協助將大量SHIB轉移到無法花費的區塊鏈錢包。 自2021年SHIB發行以來,已經有超過410萬億的SHIB被永久移除流通。 WEEX Crypto News, 2026-02-17 13:46:40 隨著加密貨幣市場的波動不斷,投資者們時刻關注市場的變化,特別是對於一些受歡迎的加密貨幣如SHIB(柴犬幣)而言。近日,根據Shibburn錢包追蹤器的數據顯示,SHIB的每日燃燒率出現了增加。然而,這樣的增幅似乎仍未能對市場中的SHIB總供應量造成顯著的衝擊。 每日銷毀近360萬SHIB 根據Shibburn網站的數據,在過去的一天內,共進行了四筆燃燒交易,其中最大的一筆曾銷毀了1,553,766 SHIB,而另一筆銷毀了1,422,952 SHIB。與之前的燃燒數量相比,這次的燃燒幾乎是昨天燃燒量的兩倍,當時僅有超過200萬的SHIB被銷毀。 自SHIB成立以來,到目前為止,已經有超過410,754,336,997,578枚SHIB被移除流通。這在很大程度上要歸功於SHIB的神秘創始人Ryoshi以及以太坊的領導人Vitalik Buterin。Ryoshi在2021年5月將一半的SHIB供應量交給Buterin,而Buterin則將大部分SHIB轉移到一個無法花費的錢包地址,因為他對SHIB的前景持懷疑態度,因此不希望持有如此大量的SHIB,以避免市場價格操縱的指控。…

加密市場閒置資本的真正成本:為何投資者開始探索IODeFi

重要摘要 加密市場的閒置資金帶來潛在的機會成本,尤其在市場緩慢或橫盤時,資金未充分利用的風險較大。 許多平台的結構會促進用戶將資金閒置,這不利於資本的高效分配,但新興的DeFi模型強調資金的積極流動。 新的DeFi平台允許用戶立即投入資金,在控制、流動性和資本效率方面表現出色。 早期參與新平台往往能獲得不對稱的回報,而不是僅僅承擔較高的風險。 精準的資本管理比過度謹慎更能帶來收益,然後市場動態的變化經常悄然發生。 WEEX Crypto News, 2026-02-17 13:48:43 在加密貨幣市場中,許多用戶關注市場波動性,而更有經驗的參與者則開始考量另一個關鍵因素:機會成本。當市場趨緩或橫盤時,未積極運用的資本可能會錯失相對更高效的配置策略所帶來的回報。因此,越來越多的交易者選擇將資金重新分配到更具資本效率的去中心化金融(DeFi)模型中。 結構問題:許多平台偏向促進資本閒置 許多交易平台的結構使得用戶容易將資金閒置,頻繁交易受到限制,且透明度低,無法迅速回應市場變化。雖然這些平台通常強調速度、收益和靈活性,但往往無法完全實現這些承諾。相較之下,逐漸流行的DeFi模型則基於資金的積極配置比被動持有更具優勢這一理念。 加密貨幣世界中的真正信念通常會顯現在區塊鍊上,用戶不僅是註冊於這些新型平台上,而是在註冊後幾乎立即投入資金。這一行為通常是在滿足了三個條件後才會發生。 1. 控制權的絕對性 用戶的資金保持非託管狀態,無需任何授權風險。當市場波動時,平台不會出現如“維護暫停”的情況。…

特朗普媒體是否真對加密貨幣有利?比特幣、以太坊及 Cronos ETF 呈請

主要重點 特朗普媒體正進一步涉足加密貨幣,申請推出與比特幣、以太幣及 Cronos 相關的 ETF。 新的ETF專注於收益,包括通過質押獲益,強調與 Crypto.com 的深層連結。 美國現貨比特幣 ETF 經歷四周資金外流,而特朗普媒體的動作被認為是其「美國優先」策略的延續。 ETF 結構為收益而設計,其中真相社交(Truth Social)ETF 預計將以 60% 比特幣和 40%…

熱門幣種

最新加密貨幣要聞

閱讀更多