Brevis熱議背後的真相：ZK Co-Processor理論很美好，現實很骨感

Brevis 是由 Celer 團隊開發的 ZK 協處理器項目，旨在透過零知識證明技術驗證鏈下計算的正確性，實現數據和計算結果的透明可驗證。其核心產品包括 zkVM 計算驗證層、PoS 鏈 Brevis coChain 以及代幣獎勵平台 Incentra。

ZK 協處理器原理：類似 GPU 協助 CPU 處理專用任務，ZK 協處理器將計算從主鏈分離，利用 ZK 證明確保鏈下計算的真實性，適用於需要透明驗證的場景。
應用案例：Incentra 平台根據用戶鏈上行為（如持幣時間、流動性提供記錄）計算並分發獎勵，旨在識別真實用戶。
現實挑戰：
- 項目方缺乏採用動力，因透明化可能減少操作空間且增加成本，而用戶對技術買單意願低。
- 計算邏輯仍由人為控制，未必保證絕對公正。
- 替代方案（如 API 直接獲取數據）成本更低且穩定，導致 ZK 協處理器在實際應用中落地困難。

整體而言，ZK 協處理器理論潛力大，但當前與交易和收益場景關聯弱，難以突破理想與現實的落差。

想聊一個Q4 值得關注的潛在發幣項目Brevis，投資方包括YZi Labs（Binance Labs）、Polychain、IOSG。

區塊鏈行業正在變得越來越“功利化”，只有與交易和收益場景相關的項目才會存活。其他方向幾乎全部證偽。

很難說是好事還是壞事，畢竟好的系統，應當是順應人性非反應性，應當從利己目的產生利他行為，避免公地悲劇的發生。就像伊拉斯謨學派，注定不會成為顯學。

開始正文，Brevis 核心是ZK Co-Processor（ZK 協處理器），由Celer 團隊開發。

主要產品包括：

1）基於ZK 的計算驗證層Pico zkVM

2）OP 與ZK 混合的PoS 鏈Brevis coChain

3）代幣獎勵分配平台Incentra

Co-Processor (協處理器) 概念源自於GPU。

起初，計算機所有計算由CPU 承擔。隨著圖形渲染和3D 應用發展，1999 年英偉達推出首個GPU，將圖形運算從CPU 分離出來。

圖形渲染需要對數萬像素做相同運算，天然適合併行處理。 GPU 透過數千個簡單核心同時處理大量數據，在特定任務上效率遠超CPU。

GPU 本質就是專用協處理器，協助CPU 處理複雜任務。如今GPU 已廣泛應用於AI 訓練和推理。

ZK Co-Processor 邏輯相同－將計算任務從主鏈分離，透過ZK 驗證鏈下計算的正確性。

1）從區塊鏈取得數據，透過ZK 證明數據真實；

2）在其他環節執行計算，透過ZK 證明計算結果為真。

所以，ZK Co-Processor 具體能做什麼？

本質是根據鏈上數據計算結果，使結果公開、透明、可驗證。 Brevis 做了一個應用案例：Incentra。

Incentra 是透明化的代幣激勵分發產品，透過ZK Co-Processor 計算能力，根據用戶的鏈上行為——代幣持有時間加權平均餘額(TWA)、LP 提供情況、借貸記錄等，識別真實用戶並發放獎勵。

缺乏眼前一亮的感覺對吧？這是我從兩年前開始看ZK Co-Processor 延續至今的感覺，這可能也是ZK 計畫的通病——理論上非常有用，但現實中沒人用。

1）透明可驗證過於理想化。專案方和機構缺乏採用動力。透明可驗證不能帶來直接收益，反而減少操作空間，也可能因適配帶來額外維護成本。

畢竟在減少拋壓、控制幣價和透明公正之間，透明公正往往是最不重要的。

用戶拿到大量空投也不會太顧及專案方死活，代幣激勵最終變成零和遊戲。正如黑澤明《七武士》結尾，生還武士望著被守衛的村子說："是他們贏了。"

只是交易所和專案方掌握分配權，用戶自然成了被迫犧牲利益的群體。

2）計算結果在鏈上，是否真就意味著透明公正？畢竟計算邏輯仍舊是人為寫就並控制的。

3）取得鏈上資料並計算的方式，不只透過ZK CoProcessor 這一種方式。完全可以透過API 獲取，再直接計算。類似http://Dune.com 的方式，成本更低、還更穩定。

例如之前ZK CoProcessor 專案宣稱的"取得Uniswap TWAP 價格、鏈上創建交易策略"等場景，其實並不成立，也沒有實際應用落地。

回到本篇開頭的話題，離交易和收益太遠，區塊鏈用戶可能不會為技術買單。就連TEE（可信執行環境）最出圈的時刻，也是Phala 將其與AI MEME 公平發射結合。

只是目前，ZK 相關最出色的項目是$LINK ，而其他ZK 相遇與交易、收益的關聯只想到了L2。如果單靠理想，恐怕ZK 只能是密碼學教授圈裡的事。