Brevis ProverNet 是一個去中心化市場，它將各種零知識 (ZK) 工作負載（從 zkVM 程式到 ZK 協處理器查詢和聚合證明）與各種證明器資源進行匹配。 Brevis 的兩大支柱使其脫穎而出。首先，它從一開始就被設計為支援異構證明和複合型、多階段證明流水線，允許應用程式混合搭配不同的證明系統和工作流程，而無需局限於單一技術堆疊。