在一個需要可驗證計算的世界中，為何 Brevis Network 重要

Brevis Network 重新定義區塊鏈擴展性，通過將執行與驗證分離，使智能合約能依賴複雜的鏈下計算，同時通過零知識證明保持鏈上信任。

透過結合混合 zkVM 架構與去中心化的證明市場，Brevis 將證明生成轉變為一個開放的、市場驅動的基礎設施，而非封閉或集中式服務。

Brevis 促使一類新的數據驅動鏈上應用出現，從行為基礎的 DeFi 邏輯與信任最小化的跨鏈安全，到可驗證的 AI 輸出，平衡正確性與隱私。

智能合約一直存在結構性弱點。它們擅長處理當前狀態，但在記憶方面較差。

在大多數區塊鏈上，合約可以輕鬆讀取當前狀態。當需要推理歷史時，成本會急劇上升。檢查長期用戶行為、跨月聚合活動或引用其他鏈的過去狀態，迅速變得不切實際。

開發者通過將計算移到鏈下來適應這一點。索引器、伺服器和私有數據庫填補了空白。結果被推回鏈上，大多數用戶接受其背後的信任假設。

Brevis Network 以不同的方式進入市場。繁重的計算不必留在鏈上，但信任仍需存在。零知識證明使這一分離成為可能。鏈不再重新執行工作，而是驗證工作是否正確完成。

這不是一個小的優化。它改變了區塊鏈的設計目的。

從重新執行到可驗證計算

區塊鏈安全長期依賴重複。每個節點都重新執行每筆交易。這種冗餘建立了信任，但也設置了硬性限制。

隨著應用成熟，這些限制變得更加明顯。DeFi 產品不再僅僅轉移資產。它們定價風險、調整參數，並隨時間對行為作出反應。這些功能依賴於歷史數據和複雜計算。

鏈上執行難以應付這種負載。鏈下執行引入了信任問題。

Brevis 提出第三條路徑。計算在鏈下進行。驗證留在鏈上。零知識證明連接兩者。

在此模型中，區塊鏈專注於共識與最終性。外部系統處理數據密集型工作。合約收到結果及其可以廉價驗證的證明。

Brevis 將此稱為無限計算層。此短語並不暗示資源無限，而是描述一個系統，應用的複雜度不再與鏈上擁堵直接成比例。

開發者不再問什麼可以放在鏈上，而是問什麼可以被證明。

為什麼歷史數據比吞吐量更重要

吞吐量易於衡量。效用則較難。

許多應用更關心的是這些交易隨時間揭示了什麼，而非每秒處理的交易數量。風險引擎依賴行為。市場依賴參與模式。治理依賴活動歷史。

智能合約難以滿足這些需求。鏈上存儲大量數據成本高昂。反覆處理更是浪費。

因此，大多數協議依賴鏈下流程。數據在其他地方收集、私下處理，並通過可信更新反映在鏈上。

Brevis 改變了這一流程。

開發者通過 Brevis 系統提交查詢。相關的區塊鏈數據被檢索並與標準鏈進行驗證。請求的計算在鏈下運行。生成證明並返回合約。

合約從未看到原始數據。它只驗證證明並接受結果。

這使得歷史數據再次可用，而不重新引入中心化信任。

Pico zkVM 在使證明實用中的角色

可驗證計算只有在證明足夠快速融入用戶流程時才有效。

Brevis 在設計 Pico zkVM 時考慮了這一點。它不是依賴純粹的通用虛擬機，而是採用混合設計。通用邏輯在 zkVM 中運行。繁重的操作轉移到專用協處理器。

這種方法保持了開發的靈活性，同時降低了證明成本。昂貴的原語不再主導性能。

結果是一個為生產工作負載優化的系統，而非追求理論純粹。

在專注於以太坊區塊證明的測試中，Brevis 展示了在實時限制內生成證明的能力。這很重要，因為延遲決定了相關性。證明來得太晚，應用就無法依賴。

Brevis 也將證明視為一個分散式問題。Pico Prism 支持集群級證明，允許工作負載水平擴展，而非依賴單一機器性能。

這一設計與基礎設施規模下證明的運作方式一致。

ProverNet 與證明生成的經濟學

即使是最好的證明系統，如果供應脆弱，也會失敗。

如果應用依賴單一證明者，則面臨停機風險和不可預測的價格。Brevis 通過 ProverNet 解決此問題，這是一個去中心化的證明市場。

應用提交證明任務，設定預算和延遲偏好。證明者根據成本和容量提交報價。網絡動態匹配供需。

並非所有證明都一樣。有些需要低延遲，有些則重視成本效率。ProverNet 允許證明者專業化，而非強制統一性能。

系統採用市場設計，獎勵誠實報價。參與者從報告真實成本中受益，而非操縱系統。這有助於維持長期穩定。

Brev 支撐這一經濟體系。應用用代幣支付費用。證明者抵押代幣參與。未能提供有效證明將受到懲罰。

這建立了使用與價值之間的直接聯繫，也引入了基礎設施層面的問責。

硬體集中仍是挑戰。高性能證明需要資本投入。ProverNet 是否能在不失去可靠性的情況下擴大參與範圍，將是關鍵考驗。

Brevis 在應用中的推動作用

Brevis 在改變應用行為時具有重要意義。

在 DeFi 中，它實現了基於行為的邏輯。協議可以利用可證明的用戶歷史調整費用或獎勵。忠誠度系統變得可驗證而非任意。

在跨鏈系統中，Brevis 支持信任最小化的狀態驗證。資產不必跨橋轉移，只有狀態證明。這降低了風險，同時保持互操作性。

在 AI 驅動的工作流程中，Brevis 支持可驗證的輸出。模型可以產生合約可信的結果，而不暴露敏感輸入。這促進了聲譽系統和自動決策。

在這些用例中，模式保持一致。鏈下計算，鏈上驗證。

未來的戰略押注

Brevis 並非在敘事上競爭，而是在必要性上競爭。

其成功取決於可驗證計算是否成為預設期望，而非專屬功能。如果應用將證明嵌入正常流程，Brevis 在技術堆疊中佔據關鍵位置。

路線圖專注於將實際流量遷移到 ProverNet，擴展證明能力，並通過專用執行層降低協調成本。

如果成功，區塊鏈將不再試圖自己計算一切。

它們將成為驗證外部計算經濟工作的系統。

這就是 Brevis 正在構建的未來。

〈Why Brevis Network Matters in a World That Needs Verifiable Compute〉 這篇文章最早發佈於《CoinRank》。