專訪Brevis CEO Michael：zkVM擴容遠比L2更有效

消費級硬體環境下，64 塊 GPU 在 12 秒內完成了 99.6% 的 L1 區塊證明—Brevis 推出的多 GPU 零知識虛擬機（zkVM）Pico Prism 實現了極大的效能突破。

這個里程碑式進展也引發了以太坊核心社群的高度關注。以太坊創辦人 Vitalik Buterin 公開評價：「很高興看到 Brevis 的 Pico Prism 正式進軍 ZK-EVM 驗證領域。這是 ZK-EVM 在證明速度與多樣性上的重要一步。」

「資料本身說明。表示，「我們建構了能夠處理以太坊即時區塊產出的基礎設施，使用的都是消費級硬體。這種效能表現，正是對以太坊去中心化目標的最佳呼應。」

Brevis 聯合創辦人兼 CEO Michael—UIUC 電腦科學博士、分散式系統與大學技術專家—曾多次成功地在內部2018 年，他創立 Celer Network（巔峰估值超 20 億美元）。如今，他帶領 Brevis 團隊將零知識證明與可驗證運算結合，希望能打造出一個真正能支撐以太坊生態大規模運算需求的基礎設施。

為了更了解 Brevis 如何實現這一突破，以及它對以太坊生態意味著什麼，律動 BlockBeats 與 Brevis 聯合創始人兼 CEO Michael 進行了深度對話。

我們探討了三個核心問題：

·Brevis 的使命與定位

·可驗證計算能為應用帶來那些實際價值

·在與以太生態深度對齊的進程中，Brevisvis的下一步規劃

這不僅是一場關於科技的對話，更是對未來運算信任的前瞻性思考。

Brevis 是什麼：從願景到定位

律動 BlockBeats：能先請您用最簡單的語言介紹一下，Brevis 是一個怎樣的項目，它想解決什麼樣的問題？

Michael：我們將 Brevis 定位為無限運算層（Infinite Computing Layer），既服務於 Web3，也覆蓋更廣泛的應用場景。核心目標是在保持去中心化與安全性的前提下，為鏈上應用提供近乎無限的運算能力，解決高效能/複雜功能與信任最小化長期難以兼得的結構性矛盾。儘管近年 L2 擴容顯著提升吞吐，但對複雜計算（如大規模歷史資料處理、跨鏈聚合、演算法/AI 推理等）仍受限，導致許多高階功能難以落地。

Brevis 的方案是鏈下運算、鏈上驗證。將繁重計算遷移至鏈下執行，並產生零知識證明（ZK Proof）；鏈上合約僅以極低成本驗證證明的正確性即可，無需重複執行整段計算。由此，合約相當於獲得一套經密碼學保障的外掛，在不犧牲去中心化與安全性的前提下顯著擴展可用算力與功能邊界。 現在智能合約其實不是很智能，有了 Brevis 之後，可以讓它變得真的智能起來。

律動 BlockBeats：Brevis 被稱為 Web3 的無限運算層，這個概念是怎麼來的？它和傳統理解的鏈上計算或擴容有什麼本質不同？

Michael：我們之所以稱 Brevis 為 Web3 的無限運算層，是因為它的目標是打破區塊鏈的運算上限。傳統的擴容方案（如 Layer 2 Rollup）主要提升交易吞吐，從幾十 TPS 提升到數百、上千 TPS，但仍存在天花板，並未解決任意複雜計算能否在鏈上完成的問題：鏈上通常只能處理相對簡單的交易與合約操作。一旦計算複雜度提高，鏈上既難以建模，也難以承載，例如大規模資料處理、AI 推理或複雜演算法。

Brevis 的出發點不同：我們不是只讓既定類型的交易跑得更快，而是讓區塊鏈可以接納與承載任何計算的結果，同時保持安全性與去信任性。 這對應的是可驗證計算（Verifiable Computing）的新範式－只要鏈下計算能夠產出一份零知識數學證明，鏈上就可以以極低成本確認其正確性與安全性。

對開發者而言，Brevis 更像一朵可驗證運算的雲端：像使用雲端運算一樣按需擴展算力，把複雜運算放到鏈下完成，再把證明提交鏈上驗證，同時保留與原生鏈上合約一致的安全與信任模型。因此，我們將 Brevis 定義為無限運算層——在效能與可用性上獲得近乎無限的運算空間，而在信任與安全上則與區塊鏈本身保持一致。

律動 BlockBeats：剛剛聊到的可驗證計算（Verifiable Computing）聽起來很抽象，您能用一個更直觀的方式解釋一下它在 Brevis 裡的作用嗎？

Michael：區塊鏈的根本限制在於，在保障安全與去信任的同時，運算能力有限。以太坊等公鏈屬於共識系統，網路中大量節點會對同一筆交易或同一次合約執行分別計算，達成一致後才產出新區塊。這機制安全但效率低，類似全班都將同一題從頭算一遍以確認答案的情況。

可驗證計算的想法是將計算與驗證解耦，減少重複開銷。以雞兔同籠為例：求解需要列方程並推導，而驗證給定答案是否正確，只需將數值代回方程，成本遠低於重新解。計算本身和驗證計算的結果，這兩者在計算機理論上天然是兩個不一樣的問題，後者通常更輕。零知識證明將其推廣至任意計算，無論是 1+1=2 的簡單運算，還是大型模型的推理，都可在計算完成後額外生成一份簡潔的證明，使他人以極低成本快速確認，且不洩露計算細節。

在 Brevis 中，繁重計算在鏈下執行並產生 ZK 證明，鏈上僅進行證明驗證，無需重複執行整段計算。這就是可驗證計算的一個核心的價值，透過把計算和驗證這兩個部分徹底拆開，大大節省了要去無數次算同樣一個目標的開銷。

為什麼這樣做：技術架構與核心思路

律動 BlockBeats：在技術層面，Brevis 由 ZK Data Coprocessor（下文簡稱 zkCoprocessor）和 Pico zkVM 兩個核心模組組成，這兩者之間是什麼？它們分別解決了什麼問題？

Michael：可以把 Brevis 理解為一個分層結構：底層的 Pico zkVM 是通用運算引擎（Virtual Machine），你可以把任意運算交給它執行，並產生 zk Proof；它的一個重要特點是高度模組化，可以掛接多協處理器。 zkCoprocessor 就是其中面向區塊鏈資料場景的協處理器，你可以把它看作插件或外掛。在當前形態下，zkCoprocessor 更像 zkVM 的記憶系統，讓智能合約能夠看到並理解鏈上歷史發生的事情（如用戶交易、餘額、持倉等）。

更具體地說，zkVM 解決的是讓任意運算可驗證的通用問題；而 zkCoprocessor 是針對區塊鏈應用客製化的應用層協處理器。由於智能合約天然「活在當下」，只能訪問當前區塊的有限上下文，無法直接讀取、計算長時間窗的歷史或跨鏈狀態；zkCoprocessor 通過零知識證明為合約“裝上一雙眼睛”，在離鏈檢索與匯總相關歷史數據，並生成這些數據真實且來自鏈上狀態的證明，從而讓合約在具備記憶和智能化的前提下具備記憶和智能。

律動 BlockBeats：zkCoprocessor 讓智能合約可以「看見過去」，這聽起來非常突破，能具體談談它是怎麼實現的嗎？

Michael：我們可以用 PancakeSwap 的基於歷史交易量的動態手續費折扣舉個例子：

首先，zkCoprocessor 從區塊鏈讀取用戶的歷史交易記錄，按規則（如近 30 天）匯總交易zkVM 在拿到經確權的記錄後，執行進一步的聚合與計算（例如把不同交易對的成交量合併為單一指標），對計算過程產生證明；

最後，將結果 + 證明提交鏈上，合約一次性驗證兩部分證明的正確性，即可確認該地址是否達到了 VIP 的閾值，並據此週期自動應用下一結算的折扣。

透過這種方式，合約無需在鏈上重複讀取和計算海量歷史數據，既獲得了看見過去的能力，又保持了去信任與成本可控。

律動 BlockBeats：你們自己開發了 Pico zkVM，而不是採用其他 zkVM 專案的方案，背後有什麼考慮？ Brevis 與其他 zk 專案的不同之處？

Michael：這是一個非常關鍵的問題。確實，市面上已經有不少 zkVM 項目，那為什麼 Brevis 還要從零開始打造自己的 Pico zkVM？核心原因其實很簡單——我們認為現有的 zkVM，大多還停留在實驗室階段，並沒有真正面向大規模、真實世界的應用設計，在整個性能成本、可擴展性上，離真的能夠到大規模商用其實還差得很遠。 換句話說，它們更像是概念驗證，而不是能支撐上千萬次調用的生產級系統。

Brevis 一開始就面對非常現實的需求場景。像是 PancakeSwap、Euler、Linea、Usual 等頭部 DeFi 協議，每天都需要產生數百萬份 zk Proof。如果底層 zkVM 的效能無法達到標準，整個系統就根本無法上線。這迫使我們必須重新建構真正為生產環境而生的 zk 計算引擎——這就是 Pico zkVM。

Pico 有三個顯著的特點。首先是極致的性能。 Pico 是目前全球性能最強的 zkVM，我們最新發布的 Pico Prism 已經能在 64 張 5090 上完成以太坊主網 99.6% 區塊的實時證明（12 秒內完成），其中 96.8% 的區塊甚至能在 10 秒內完成，這意味著成本降低 3–50 倍性能。換句話說，如果以太坊今天運行在 Pico 上，它的整體驗證效率可以提升一個數量級，是真正意義上的即時證明突破。

其次是獨特的模組化架構。 Pico 是目前唯一支援外掛協處理器的 zkVM，其他 zkVM 通常是封閉結構，只能做通用運算，而 Pico 可以根據不同的應用場景掛載不同的模組。例如，在需要存取歷史資料、交叉驗證鏈上記錄或運行複雜金融邏輯時，Pico 的協處理器可以像插件一樣接入，專門為特定任務加速。這讓 Pico 同時具備通用性和專用高效能兩種能力，能夠靈活覆蓋從 Web3 的 DeFi 到 Web2 AI 運算等多種類型的應用程式。

最後是對開發者的友善性。我們不希望開發者必須精通密碼或 ZK 理論才能使用 Pico。開發者只需要會寫 Rust，就能直接調用，像寫普通程式一樣寫 ZK 應用程式。這大大降低了門檻，也讓 ZK 的複雜性完全隱藏在底層。所以總的來說就是我們不是試驗性的 zkVM，而是一個為現實世界和真實用例所做的 ZK 的計算引擎。

律動 BlockBeats：最近你們公佈的 Pico Prism 在消費級硬體上實現了 99.6% 的即時證明。能否談談這項成果背後的技術突破，以及它對 zkVM 效能極限意味著什麼？

Michael：我先說明這件事的重要性。效能提升並非單純的技術優化，而是關乎以太坊生態未來的擴容與發展。 以太坊目前架構要求每個節點重複執行相同計算，安全可靠，但擴充性已接近上限。下一步需要採用新的範式：由單一節點完成大量計算並產生 ZK Proof，其他節點僅負責驗證。透過這種單點計算、多點驗證的方式，可以在保持去中心化與安全性的前提下，將吞吐量提升一個數量級，甚至達到或超過 Solana 的水平，同時維持必要的去中心化節點規模。

以太坊基金會在今年 7 月提出兩年期目標：使用低於 10 萬美元的消費級硬件，實現 99% 區塊的實時證明。一旦達成，便可透過疊加普通硬體的算力獲得近乎無限的擴展空間。然而在此之前，這一直被視為理論上的可能：多數 zkVM 方案在覆蓋率、成本與速度上距離該標準仍有顯著差距，許多甚至難以達到 90% 的即時覆蓋率。

而 Pico Prism，是第一個真正跨越這條性能線的系統。我們在測試中，僅使用 64 張 5090 GPU（約 12 萬美元成本），就實現了 99.6% 的以太坊區塊在 12 秒內被證明，其中 96.8% 的區塊能在 10 秒內完成，平均證明時間僅 6.9 秒。

與其他協定相比，Pico 的效能提升了 70%，成本降低了 50%。換句話說，它不僅更快，而且更便宜，也意味著我們已經十分接近以太坊基金會設定的目標。

律動 BlockBeats：從功能和目標來看，Brevis 是更像以太坊的 ZK 加速層，還是更像一個面向多鏈的可驗證運算雲？

Michael：從功能與目標來看，這兩種定位並不衝突。 短期內，Brevis 更像以太坊及其二層的 ZK 加速層。我們與以太坊基金會的方向一致：透過零知識證明實現主網 10 倍至 100 倍的擴容；同時，即時證明能力將顯著提升二層 Rollup 的交互性，使跨鏈速度更快、效率更高、費用更低，並推動狀態與流動性的更好統一。

從更長期、也更宏觀的視角來看，Brevis 的定位並不限於以太坊。我們的架構天然支援多鏈，目前已與 BNB Chain 等生態夥伴合作（如 PancakeSwap），並推進非以太坊上的永續合約等項目的合作；與 Arbitrum、Base、Avalanche 等二層/多鏈生態也保持對齊。整體而言，我們希望把 Brevis 打造成所有區塊鏈應用程式的可驗證運算雲。

我們的目標是在未來 3–5 年，讓無論部署在哪條鏈上的智能合約都能便捷使用這套計算服務；從更長週期看，區塊鏈應用的絕大部分計算將發生在鏈下，並以 ZK 方式保證可信性，Brevis 將作為整個去中心層化系統的統一計算信任。

怎麼落地：真實的應用與案例

律動 BlockBeats：很多 DeFi 應用，例如 PancakeSwap、Euler 或 Linea，已經在用 Brevis 的技術，您能舉個具體例子說明它是如何在這些場景中工作的孩子？

Michael：對，我們現在的應用場景主要分幾類，最典型的就是 DeFi。剛剛提到的 PancakeSwap 就是一個標準案例，我們不希望 DEX 的用戶體驗永遠停留在一視同仁的階段——無論你是普通交易者還是高頻大戶，介面與費率完全一樣。我們希望 DEX 能逐漸像 CEX 一樣，為不同類型的使用者提供差異化體驗。同時，我們也正在探索更多創新應用。例如與 SocialFi 等專案合作，讓用戶能在不暴露主錢包的前提下證明自己的影響力與真實持倉。

我們也在推進一些幾乎完全鏈下運作的場景。例如，在像 Hyperliquid 這樣的永續交易系統中，使用者的部位、槓桿等資訊往往是公開的，很容易被其他交易者圍攻。我們希望透過 ZK 技術重構這種系統，讓所有訂單、倉位記錄都能加密隱藏，但依舊可以用 ZK Proof 的方式來確保撮合的正確性與系統的安全性。這樣既能帶來接近中心化交易平台的順滑體驗，又能維持區塊鏈層級的安全與隱私。

律動 BlockBeats：在產品層面，Incentra 是你們推出的一個重要應用，它目前已經管理超 3 億美元的激勵分配，這個系統是怎麼運作的？

Michael：Incentra 的出發點很簡單：激勵分配是每個生態成長的核心，但長期以來，發放機制往往存在安全、合規與透明性的問題。

Incentra 核心機制是由使用者依據自身在鏈上或協議內的真實行為產生 ZK 證明，直接在鏈上合約側完成資格校驗與領取，無需依賴中心化發放。相較傳統做法，此模式在三方面具有優勢。第一，安全性：資金在合約內按預設規則結算，降低集中託管與操作風險；第二，合規與可審計性：激勵規則與資格證明均鏈上可追踪，避免向不明主體轉付的合規壓力；第三，公平與透明：任一領取行為都可由外部獨立驗證其對應的真實貢獻與計算路徑，杜絕黑箱路徑分配。目前，該體系已在 BNB Chain、MetaMask、OpenEden、Usual 等項目的成長與激勵場景中落地。無論是穩定幣生態或是鏈上激勵系統，都能透過這套方案做到安全、合規、透明的激勵發放。

律動 BlockBeats：相比許多還停留在實驗室階段的 ZK 項目，Brevis 已經實現了大規模落地，您認為你們為什麼能更快做到這一點？

Michael：我認為最核心的原因在於，我們從第一天起就沒有把自己當作一個做研究的 ZK 實驗室，而是一個面向真實應用的基礎設施公司。我們的技術路線不是先造引擎，再找用途，而是反過來：從應用需求出發，倒推底層架構的設計。

這點其實決定了 Brevis 的根本差異。許多 ZK 專案是先閉門開發一個看起來完美的 zkVM，然後再去思考它能應用到哪裡；而我們是從合作專案方的真實痛點出發，先理解他們的實際需求，然後逐步設計出模組化的 zkVM 架構，並進一步創造出可外掛的 zkCoprocessor。

換句話說，Brevis 的技術演進不是憑空規劃，而是一步步被真實使用者和合作夥伴推出來的。這種以問題為導向的研發模式讓我們能持續快速迭代，每一次改進都直接對應一個可驗證的使用情境。這也讓我們的系統從一開始就具備生產層級的穩定性與擴展性，而不是為論文寫程式碼。

還有一個更樸素的原因：我們的團隊既懂密碼學，也深諳大規模系統工程。我們從來不是停留在理論層面去做推導，而是真正在生產環境中打磨效能、驗證穩定性。 到目前為止，Brevis 已經在主網上產生了超過一億份零知識證明，服務了約十九萬用戶，為合作協議管理超過三億美元的真實激勵資金。這些都是真實上線的應用程式——包括像是 Linea、Euler、Usual、OpenEden 等專案——不是 Demo，也不是 Testnet。

接下來要去哪：開放場景與未來願景

律動 BlockBeats：除了 DeFi 之外，您認為鏈下運算、鏈上驗證的模式未來還能在哪些方向產生影響，例如 AI、資料市場或遊戲？

Michael：在 DeFi 之外，此模式將在可驗證 AI、Web2 到 Web3 資料與身分橋接、隱私資料市場以及遊戲與社交等方向產生持續影響。首先，在可驗證 AI 領域，現有模型多為黑箱。透過零知識證明，可對推理過程產生可驗證的數學證據，證明特定模型在給定輸入上產生了相應輸出，並確保模型與流程未被替換或篡改。其次，在 Web2 到 Web3 的橋接場景中，使用者可將中心化平台上的資質或行為以證明形式帶入鏈上應用，例如將中心化交易平台的交易活躍度映射為去中心化交易平台的費率優惠，而無需暴露身份或底層帳戶明細。最後，在遊戲與社交領域，使用者可證明自身的歷史成就、資產持有或關鍵行為完成情況，以此獲得存取權限、匹配資格或激勵，而無需公開錢包或個人敏感資訊。

長期來看，這套體系將重新定義數位世界的信任邊界。我們希望透過 Web3 與零知識證明，去重建整個人類社會理解可信賴計算的方式，讓每一次計算都能被驗證、被信任。 Brevis 想做的，就是成為這一切的底層──新的運算信任層。

律動 BlockBeats：我們看到 Brevis 在 10 月 13 日推出了 Brevis Proving Grounds 新活動，能否分享一下，這次活動的核心內容是什麼，用戶能真正參與和體驗到什麼？

Michael：其實在過去一段時間裡，我們花了非常多的精力在做落地應用的驗證和文件審批工作。現在我們已經和二十多個合作夥伴展開了深度合作，每個專案都是真實上線的、能夠被使用者直接使用的應用程式場景，而且這些專案的資料表現和使用者留存也都非常好。

但我們發現，在區塊鏈的世界裡，很多事情的推動其實是用戶認知反推開發的。也就是說，當使用者真正理解新技術的價值之後，他們的回饋和需求會反過來推動開發者實現更多功能。正因為如此，我們希望把使用者真正拉進來，讓他們不僅是旁觀者，而是能親自去體驗、去驗證的人。這就是我們這次推出的 The Brevis Proving Grounds 活動的核心目的。

整個活動大致分為兩個階段。第一階段是使用者教育階段，我們希望讓更多人理解我們的合作夥伴究竟在做什麼，以及零知識證明（ZK）到底能在這些專案中解決哪些具體問題。這個階段更偏向普及與理解，讓大家清楚這項技術背後的邏輯與意義。

第二階段則是真實體驗階段，也就是讓使用者親自去使用我們已經落地的這些應用，真正去感受這些產品在接入 Brevis 之後，帶來的變化是什麼樣的。與許多項目不同的是，其他項目的活動通常只是讓使用者點點滑鼠、完成任務、薅點羊毛，因為他們往往缺乏真正可被體驗的、底層創新性的功能。而我們不一樣，我們的合作項目本身就是真實落地的、有價值的應用，用戶在參與時並不是在玩一個模擬體驗，而是在真正地使用那些已經和 Brevis 技術深度集成的產品。

我們希望透過這種方式，讓使用者能夠切身感受到 ZK 技術帶來的絲滑體驗和價值轉變，理解為什麼這種鏈下運算、鏈上驗證的模式能夠讓應用既安全又高效。更重要的是，我們想藉此讓更多的用戶成為生態的推動者：當越來越多用戶理解並主動要求他們使用的產品採用這種機制時，整個行業的創新動力也會被反向激活。

律動 BlockBeats：除了這個活動之外，Brevis 目前還有什麼計畫？用戶還可以參與其中麼？

Michael：我們將持續推出可參與的生態計劃，其中包括推進去中心化證明節點網路的上線，以形成更開放的證明與驗證基礎設施。相關計畫將對社區與生態夥伴開放參與管道，具體參與方式與時間安排將在後續對外發布。

律動 BlockBeats：從更長遠的角度來看，您希望 Brevis 成為怎樣的基礎設施？它最終想在 Web3 世界中扮演什麼角色？

Michael：我們的願景是將 Brevis 打造成 Web3 的無限運算層，成為全域可信任運算的來源。 類比以太坊以智慧合約重構資產與金融的信任邏輯，Brevis 旨在重構計算的信任邏輯：不再在自行計算與信任他人計算結果之間二選一，而是在不重複執行的前提下，透過可驗證計算確保結果的安全性與正確性。

面向未來，鏈上應用將從簡單的交易執行與資產轉移，演進為更智能、更複雜的系統，涵蓋高級演算法、數據交互、個人化體驗以及社交行為證明等。要實現大規模採用，必須同時具備強大的運算能力與完整的安全性。我們要讓這種證明式運算變得普遍、易用、低成本——讓每一個 Web3 應用都能自然地嵌入這項能力，而不必重新造輪子。

從架構上講，我們希望在共識層、資料層、執行層之上，再加上一層新的信任層－無限運算層。它將成為區塊鏈的第四層基礎設施，為整個去中心化世界提供統一的計算可信賴性與驗證能力。讓所有智慧、複雜、甚至跨鏈的運算，都能在零信任的前提下被驗證使用。這就是我們理解的無限計算，也是 Brevis 的長期使命。