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 觀點。

猜你喜歡

從0到百萬美元:五步教你通過錢包追蹤跑贏市場

如果你能理解体系,並把交易當作構建美好生活的副產品,那你成功的機會就會大得多。

加密市場調整中的 Meme 幣:WhiteWhale 暴跌75%

關鍵要點 受到近期市場調整的影響,WhiteWhale 的價格在過去 24 小時內下跌了 32.3%,總共較 1 月 10 日的高點低了 75%。 不僅 WhiteWhale,其他 Meme 幣如 RALPH 也經受了顯著下跌,顯示市場對這類幣種的投資風險。 市場修正使得新型…

# 加密貨幣市場回調:顯示全球區域市場變化

Key Takeaways 2026年1月15日的市場調整影響了多個加密貨幣,IP(Story)的跌幅達到25.06%,顯示出市場獲利回吐的情況。 Canton Network的價格下跌受到對政策環境的謹慎態度影響,尤其是在穩定幣收益規則的調整上。 PEPE(Pepe)的價格回落是由於大戶投資者止盈和市場熱度降溫。 Render在AI應用拓展的背景下遭遇技術面壓力,市場重新評估其估值。 整體而言,市場的回調反映了在新年初漲勢後的風險釋放。 WEEX Crypto News, 15 January 2026 加密貨幣市場調整:IP(Story)的跌幅及其背景 在2026年1月15日的交易日中,加密貨幣市場經歷了顯著的調整。根據CoinMarketCap的數據顯示,前五大跌幅的幣種中,IP(Story)以25.06%的跌幅位居首位。IP的價格在經歷兩週內接近100%的強勢反彈後,陷入了市場的獲利回吐潮。一些分析認為,IP的此前上漲,主要受益於韓國市場的短期資金活躍,這一上升缺乏全球市場的全面支持,結構性分歧逐步顯露,引發資金撤離。 Canton Network面臨政策環境的挑戰…

白鯨和黑鯨:市場修正下的命運變遷

Key Takeaways 白鯨價格從高點下跌75%,暴露了新興虛擬貨幣的市場波動性。 黑鯨價值上升50%,成為市場討論的焦點,或有超越白鯨的潛力。 市場修正下,其他熱門新興代幣如老子和生命K線也出現了明顯的價格下跌。 鯨魚投資者活動頻繁,對市場走勢的影響日益增強。 WEEX Crypto News, 19 January 2026 白鯨和黑鯨的市場命運 隨著市場的修正,虛擬貨幣市場的波動性愈發明顯。白鯨(WhiteWhale)自高點下跌75%,呈現出驚人的價格回調。這一幅度的下跌不僅凸顯市場的不穩定性,也引發了新興虛擬貨幣投資者的恐慌。然而,與此同時,黑鯨(BLACKWHALE)的價格卻出乎意料地上升50%,成為投資者關注的另一個熱門標的。這種快速的價格變動幾乎使得黑鯨有可能在市場中超越白鯨。 新興市場下的挑戰與機會 市場調整下,許多新興代幣如「老子」和「生命K線」也受到了重創,價格出現了顯著的下滑。然而,市場波動也為那些能夠充分理解市場動態的投資者提供了機會。白鯨價格的劇烈下跌和黑鯨的上漲,成為投資者重新審視其資本配置的契機。 黑鯨的上漲,被視為市場內部的資本流動及買賣力量變動的結果。這意味著,儘管市場整體處於回調狀態,但其中的領頭羊卻能夠逆勢上漲,並吸引了新一波投資者的目光。 市場內的鯨魚行為…

前合夥人眼中的Multicoin:Kyle離場了,但他留下的遊戲才剛剛開始

Kyle 知道他的遊戲是什麼,所以他決定專注於玩他擅長且感興趣的遊戲。

代幣無法提供複利效應,真正的投資機會在哪裡?

加密行業的下一倈,必將由加密賦能型股票書寫。

熱門幣種

最新加密貨幣要聞

閱讀更多