Brevis 最新白皮書出爐！ $BREV 代幣資訊公布

@brevis_zk 及一眾以太坊生態項目果然不會錯過這週放重大消息的機會, 直接來了一個大的

新出爐的 ProverNet 白皮書介紹有關去中心化零知識證明的生成市場架構，解決當前無法有效服務於不同硬體、證明系統以及優化方法的異構計算工作

ProverNet 把證明生成作為一個雙方市場，透過真實在線雙向拍賣（Truthful Online Double Auction）的機制確保

出價方以及提供資源方達成「最佳分配」的結果
計劃在 2025 年底之前上線（那不就快了）

市場架構中包含處理交易的類型（zkVM 執行、數據證明、遞歸聚合）、截止日期、最高費用、質量參數等都可以成為不同的商品來競拍

TODA 機制能夠處理多種不同類型的證明，運行在專為拍賣設計的專用 Rollup - 也就是自身的 Brevis Chain ✨

======

當前 Brevis 主要有兩大核心產品

1️⃣ 先前提過證明效率超過 @SuccinctLabs 的 Pico zkVM , 是首個實現 99.6% 以太坊實時證明覆蓋率的多 GPU zkVM , 幫助實現 50% 的 GPU 成本節省

2️⃣ ZK Data Coprocessor SP1-CC（ZK 協處理器）

解決了以太坊虛擬機的三大核心限制：歷史狀態訪問受限、 gas 成本、合約不可變性，實現無 gas 限制的鏈下計算與鏈上驗證 , 目前與 Mantle , Arbitrum 等 Layer 2 達成合作

＝＝＝＝
$BREV 代幣當前的 utility

1️⃣ 所有提交到 ProverNet 的 ZK 工作都要用 $BREV 支付
2️⃣ Provers（算力節點）要質押 $BREV 才能參與市場

如果 prover 沒按時交證明的話會有懲罰機制, 算是保證金機制

3️⃣ 持有人可以把 $BREV 委託給 Prover
4️⃣ 治理：$BREV 可以用來調整 Brevis ProverNet 的系統參數, 包含拍賣機制的調整等 November 11, 2025

「为什么说ProverNet是最接近ZK AWS的设计？」

1️⃣首次真正拥抱异构性（Heterogeneous-First）
🔹其他证明网络（如 @SuccinctLabs SPN、 @RiscZero 、 @lagrangedev 、 @nil_foundation ）本质上仍是“单一证明范式 + 去中心化执行层”。它们假设所有任务可以用同一种prover高效解决，或者通过通用硬件硬上。

🔹 @brevis_zk 直接承认现实：不同工作负载需要完全不同的硬件和优化路径。ProverNet不试图统一一切，而是把模块化zkVM（Pico/Prism）+ 各种专属coprocessor作为底座，让GPU怪兽、FPGA专家、ASIC团队、低成本CPU军团都能无缝接入，各自发挥极致性能。

2️⃣TODA拍卖：专为异构证明设计的经济引擎
🔹这可能是白皮书中技术含量最高、也最被低估的部分。 传统拍卖（如维克里、英式）只能处理同质商品，而ZK证明是彻头彻尾的异构商品（延迟、费用、证明大小、验证环境全都不一样）。

🔹Brevis原创的 Truthful Online Double Auction（TODA）机制，同时满足：
▶︎ 诚实出价是最优策略（Truthfulness）
▶︎ 无补贴、预算平衡
▶︎ 支持任务可分解（chunking + aggregation + recursion可跨不同prover协作完成）
▶︎ 实时清算，毫秒级匹配
▶︎ 随着prover多样性增加，接近平价最优（Asymptotic Optimality）

这意味着：一个复杂的EVM全历史证明，可以自动拆成10万段给低成本CPU军团并行，压缩+递归给GPU专家，最终包装给轻量验证者：全程市场自动协调，无需中心化调度员。

3️⃣ $BREV token：不止是gas，更是“证明经济”的血液
🔹所有证明、结算、聚合、甚至专用rollup的gas都用 $BREV 支付；
🔹质押 $BREV 获得工作额度 + SLA惩罚（包括委托人一起slash，防共谋）；
🔹治理决定证明大小上限、安全阈值、罚没比例等关键参数；

这套设计让高性能prover能赚到溢价，低成本prover靠规模取胜，形成健康的正反馈飞轮。

#Brevis #KaitoAI @KaitoAI @agentcookiefun November 11, 2025