Brevis Network 通過將執行與驗證分離來重新定義區塊鏈的可擴展性，允許智能合約依賴複雜的鏈下計算，同時通過零知識證明來維護鏈上信任。
Brevis將混合 zkVM 架構與去中心化證明市場相結合，使證明生成成為開放的、市場驅動的基礎設施，而不是封閉的或集中式的服務。
Brevis 能夠實現一類新型的數據驅動型鏈上應用，從基於行為的 DeFi 邏輯和最小化信任的跨鏈安全，到平衡正確性和隱私性的可驗證 AI 輸出。
智能合約一直存在結構性缺陷。它們在當前情況下表現出色，但在記憶方面卻很差。
在大多數區塊鏈上，合約可以幾乎毫不費力地讀取當前狀態。但一旦需要推斷歷史數據，成本就會急劇上升。檢查長期用戶行為、彙總數月活動或參考其他鏈的歷史狀態很快就會變得不切實際。
開發者們通過將計算轉移到鏈下來適應這種變化。索引器、服務器和私有數據庫填補了這一空白。計算結果被推送回鏈上，大多數用戶也接受了其背後的信任假設。
Brevis Network採用了不同的方法。繁重的計算任務無需在鏈上執行，但信任仍然必不可少。零知識證明使這種分離成為可能。鏈上不會重複執行工作，而是驗證工作是否正確完成。
這並非一項小小的優化，它改變了區塊鏈的設計初衷。
從重新執行到可驗證計算
區塊鏈的安全性長期以來依賴於重複操作。每個節點都會重新執行每一筆交易。這種冗餘機制建立了信任，但也帶來了諸多限制。
隨著應用日趨成熟，這些侷限性也愈發明顯。DeFi產品不再僅僅是資產轉移，它們還會對風險進行定價、調整參數，並根據用戶行為隨時間的變化做出反應。這些功能都依賴於歷史數據和複雜的計算。
鏈上執行難以應對這種負載。鏈下執行則引入了信任機制。
Brevis提出了第三條路徑。計算在鏈下進行，驗證在鏈上進行，零知識證明將兩者連接起來。
在這種模式下，區塊鏈專注於共識和最終性。外部系統負責處理數據密集型工作。合約接收結果以及可以低成本驗證的證明。
Brevis將此稱為無限計算層。這個說法並非指無限的資源，而是指應用程序的複雜度不再與鏈擁塞程度直接相關。
開發者不再問什麼適合鏈上，而是開始問什麼可以被證明。
為什麼歷史數據比吞吐量更重要
吞吐量容易衡量，效用則更難衡量。
許多應用並不太關心鏈每秒處理多少筆交易，而是更關注這些交易隨時間推移所揭示的信息。風險引擎依賴於行為，市場依賴於參與模式，治理依賴於活動歷史。
智能合約無法很好地滿足這些需求。在鏈上存儲大型數據集成本很高，重複處理成本更高。
因此，大多數協議都依賴於鏈下管道。數據在其他地方收集，私密處理，並通過可信更新反映到鏈上。
Brevis 改變了這種工作流程。
開發者通過 Brevis 系統提交查詢。系統檢索相關的區塊鏈數據，並與規範鏈進行比對驗證。請求的計算在鏈下運行。系統生成驗證結果併發送回合約。
合約中從不接觸原始數據，它只負責驗證證明並接受結果。
這樣一來，歷史數據就可以再次使用，而無需重新引入集中式信任。
PICO zkVM 在使證明實用化中的作用
只有當證明過程足夠快，能夠融入實際用戶流程時，可驗證計算才能發揮作用。
Brevis 在構建 Pico zkVM 時充分考慮了這一限制。它沒有采用純粹的通用虛擬機，而是使用了混合設計。通用邏輯在 zkVM 中運行，而繁重的操作則轉移到專用協處理器上。
這種方法既能保持開發的靈活性，又能降低驗證成本。昂貴的底層實現不再主導性能。
最終得到的系統是針對生產工作負載進行優化，而不是追求理論上的純粹性。
在針對以太坊區塊證明的測試中，Brevis 展示了在實時約束下生成證明的能力。這一點至關重要，因為延遲決定了證明的有效性。如果證明到達得太晚，應用程序就無法依賴它們。
Brevis 也將證明問題視為分佈式問題。Pico Prism 支持集群級證明，允許工作負載橫向擴展，而不是依賴於單臺機器的性能。
這種設計符合基礎設施規模下驗證的運行方式。
普羅韋爾內與證據生成的經濟學
即使是最好的驗證系統，如果供應不穩定也會失效。
如果應用程序依賴於單一的證明器，它們就會面臨宕機風險和價格不可預測的問題。Brevis 通過去中心化的證明市場 ProverNet 解決了這個問題。
應用程序提交包含預算和延遲偏好的驗證任務。驗證者根據成本和容量提交報價。網絡動態匹配供需。
並非所有證明都同等重要。有些證明要求低延遲，有些則優先考慮成本效益。ProverNet 允許證明者進行專精，而不是強制追求統一的性能。
該系統採用市場機制，獎勵誠實定價。參與者通過報告真實成本而非操縱系統獲益，這有助於維持長期穩定。
BREV是該經濟體系的基礎。應用程序使用代幣支付費用。證明者質押代幣參與其中。未能提供有效證明將導致處罰。
這在利用率和價值之間建立了直接聯繫，並在基礎設施層面引入了問責機制。
硬件集中度仍然是一個挑戰。高性能驗證需要資金投入。ProverNet 能否在不降低可靠性的前提下擴大參與範圍，將是一項關鍵考驗。
Brevis 在各種應用程序中實現的功能
當 Brevis 改變應用程序的行為方式時，它就顯得至關重要。
在去中心化金融（DeFi）中，它實現了基於行為的邏輯。協議可以利用可驗證的用戶歷史記錄來調整費用或獎勵。忠誠度系統也從隨意性轉變為可驗證性。
在跨鏈系統中，Brevis 支持最小化信任的狀態驗證。資產無需通過橋接器傳輸，只有狀態證明需要傳輸。這既降低了風險，又保持了互操作性。
在人工智能驅動的工作流程中，Brevis 可實現可驗證的輸出。模型能夠生成合同方可以信賴的結果，而無需洩露敏感輸入。這有助於構建信譽系統和實現自動化決策。
在這些用例中，模式保持一致：鏈下計算，鏈上驗證。
未來的戰略押注
Brevis 並非在敘事上競爭，而是在必要性上競爭。
Brevis 的成功取決於可驗證計算能否成為默認功能而非特殊特性。如果應用程序將證明嵌入到常規流程中，Brevis 在技術棧中將佔據關鍵地位。
該路線圖的重點是將真實流量遷移到 ProverNet，擴大證明能力，並通過專用執行層降低協調成本。
如果這種方法奏效，區塊鏈就無需再嘗試自行計算所有東西了。
它們成為驗證外部計算經濟運行情況的系統。
這就是 Brevis 正在努力構建的未來。
〈 為什麼 Brevis 網絡在需要可驗證計算的世界中很重要〉這篇文章首先發佈於《 CoinRank 》。
