目前對於行業核心挑戰之一是其固有的計算能力限制。爲保證去中心化和安全性，所有網路節點必須重復執行相同的計算，這導致成本高且效率低。

—————————————————————————

爲解決這個矛盾， @brevis_zk 將自己定位爲成無限計算層，旨在通過“鏈下計算，鏈上驗證”的可驗證計算方式來提供算力，同時保持其無需信任的安全性 。

Brevis的核心是“可驗證計算”，它將計算過程與驗證過程解耦。繁重的計算任務在鏈下執行，並生成一個簡潔的ZK證明，而鏈上智能合約只需以極低的成本驗證該證明的正確性，無需重復整個計算過程 。

在實現的過程中，Brevis主要採用了獨特的混合架構，包含Pico zkVM、zkCoprocessor兩大核心模塊。

Pico zkVM（通用零知識虛擬機）

通用的計算引擎，能夠對任意程序的執行過程生成ZK證明。開發者即使對密碼學不了解，也可以構建ZK應用的環境。Pico zkVM採用高度模塊化的設計，允許接入外部協處理器以加速特定任務 。

zkCoprocessor（ZK數據協處理器）

專爲區塊鏈數據場景定制的協處理器。智能合約本身無法直接訪問或計算歷史狀態。zkCoprocessor通過鏈下讀取和聚合歷史數據（如用戶交易、餘額、持倉等），並生成證明來證實這些數據的真實性。

“通用zkVM + 專用協處理器”的架構，結合靈活性與高性能，使 @brevis_zk 能夠高效處理從DeFi數據分析到復雜算法驗證的各類任務 。

隨着Pico zkVM性能的不斷提升和zkCoprocessor應用場景的持續拓展，Brevis正處在從可擴展向可驗證前進。