Brevis 的 ZK 數據協同處理器如何運作？完整機制深入解析

ZK 數據協處理器（ZK Data Coprocessor）是 Brevis 的核心技術，能讓智能合約安全且可信地利用歷史與跨鏈數據。此協處理器於鏈下存取真實鏈上資料並完成運算，隨後將結果與零知識證明（Zero-Knowledge Proof, ZK）回傳至鏈上驗證。作為 Brevis（BREV） 最貼近應用的一層，它將「合約無法運算、無法讀取歷史數據」的困境，轉化為「鏈下運算、鏈上驗證」。

區塊鏈共識機制要求每位驗證者重複執行同一計算，導致鏈上直接讀取大量歷史交易的成本極高，智能合約幾乎無法有效讀取歷史資料（blind to history）。

延續 Brevis「證明工作而非重複工作（prove work instead of repeating it）」的理念，ZK 數據協處理器將繁重資料讀取與運算移至鏈下，鏈上僅需毫秒級驗證，讓合約既能根據長期鏈上行為決策，又無需信任中心化數據搬運。

ZK 數據協處理器（ZK Data Coprocessor）是什麼？

ZK 數據協處理器屬於鏈下計算引擎，專責存取區塊鏈歷史狀態與跨鏈資料，執行合約無法於鏈上高效完成的運算，並為每次運算附上密碼學證明，輸出「結果 + 來源真實且計算正確」的可驗證憑證。

在 Brevis 技術架構中，ZK 數據協處理器是 Pico zkVM「應用級協處理器（application-level coprocessor）」的代表。Pico zkVM 以「膠水（glue）」串接通用核心與專用模組，數據協處理器則聚焦於「讀歷史、統計、附證明」，讓合約只需信任數學，不必信任營運方。

為什麼智能合約「讀不到」歷史資料？

智能合約設計上僅能高效讀取當前區塊狀態，對早期區塊的歷史資料幾乎無法存取。即使以太坊（Ethereum）等網路保有完整歷史，合約在鏈上存取過去區塊的儲存或交易需付出高額額外證明成本，甚至缺乏原生介面。

根本原因在於成本與共識：若於鏈上重播某地址半年內的交易量，每位驗證者都需重新處理大量狀態，Gas 消耗會迅速突破單筆上限。歷史資料「存在」卻「難以利用」，如根據歷史行為分層的手續費或忠誠度獎勵，過去只能靠鏈下運算後回填，信任回歸中心化環節。

ZK 數據協處理器如何鏈下存取鏈上資料？

ZK 數據協處理器透過區塊鏈歸檔節點（archive node）存取完整歷史狀態。歸檔節點保存每個歷史區塊的狀態快照，協處理器可讀取任意時間點的餘額、儲存槽與交易紀錄，無需合約於鏈上重播，資料來源涵蓋單鏈與多鏈狀態。

取得原始資料後，協處理器於鏈下執行請求方自定運算邏輯，如聚合、篩選、加權或條件判斷。與一般鏈下運算不同，每個資料點都納入後續證明，「資料存在性」與「運算正確性」同時被鎖定。

從請求到驗證：完整資料流如何運作？

ZK 數據協處理器的資料流可分為四步，從應用發起請求到智能合約於鏈上認證結果，形成閉環；在 pure-ZK 路徑下，每一步的證明生成均依賴通用 zkVM 執行層。下表詳細拆解：

這四步構成「鏈下運算、鏈上驗證」的流水線：鏈下完成繁重資料讀取與運算，鏈上僅需極低成本驗證一份簡潔證明，不必搬運原始資料至鏈上。

圖 1. ZK 數據協處理器四步資料流：應用請求 → 鏈下資料存取（歸檔節點）→ 運算 → 生成 ZK 證明（資料存在且運算正確）→ 鏈上驗證器 → 回傳結果。

生成的證明為何可信？

ZK 數據協處理器回傳的證明之所以可信，因其同時涵蓋三層保證：結果本身、資料真實存在性、運算正確性，任一層遭竄改都無法通過鏈上驗證。

零知識證明讓驗證成本與運算規模分離：無論鏈下處理多少歷史區塊，鏈上驗證僅需檢查一份固定大小的簡潔證明，耗時通常僅為毫秒。下表列出證明鎖定的三種事實：

上述說明合約為何能「不信任、只驗證」：結果、輸入與過程全納入證明，協處理器無法於任何環節動手腳。這種信任最小化（trust-minimized）特性，是其與傳統依賴可信方回填資料的根本差異。

圖 2. ZK 數據協處理器證明結構：單一證明同時綁定結果、資料存在性與運算正確性，由鏈上智能合約驗證器毫秒級校驗。

ZK 數據協處理器適用哪些場景？

ZK 數據協處理器適用於所有需「依據歷史或跨鏈資料，且結果必須可信」的鏈上場景。過去只能靠鏈下運算回填的功能，多數可由可驗證運算取代。下表列舉典型應用：

這些場景共通點在於：決策依據來自「過去發生的事」，而這些資料難以於鏈上低成本重播。與預言機將鏈下資料搬運上鏈不同，Brevis 與預言機的差異在於協處理器不僅提供資料，更提供「基於資料的運算及其正確性證明」，將信任從資料來源轉移至數學。

使用 ZK 數據協處理器的優勢與限制

ZK 數據協處理器的核心優勢在於信任最小化與高度擴展性。鏈下運算使運算規模不受區塊 Gas 上限限制，零知識證明讓結果無需信任第三方即可驗證，合約可安全根據長期鏈上行為決策。

限制主要來自 ZK 運算本身：生成零知識證明需專業硬體與算力，複雜邏輯的證明成本與延遲高於原生執行，不適用於極低延遲場景；結果可信度仍須資料來源完整，歸檔節點資料缺失或錯誤將直接影響輸入真實性。

因此，ZK 數據協處理器更適合「結果正確性優於即時性」的應用，能讓大量歷史運算可信可用但非零成本；若對延遲與證明成本更敏感，BREV 代幣與 coChain 所述 coChain 樂觀模型提供替代方案。上述皆為機制層面客觀限制，並非投資建議。

總結

ZK 數據協處理器是 Brevis 面向應用的一層，解決智能合約對歷史資料近乎失明、鏈上重播成本過高的問題。協處理器於鏈下透過歸檔節點存取真實歷史與跨鏈資料並運算，回傳「結果 + 資料存在且運算正確」的零知識證明，由合約毫秒級驗證。請求、鏈下運算、生成證明、鏈上驗證四步將信任從中心化搬運轉移至密碼學，讓資料驅動激勵、忠誠度、風控與跨鏈存取場景在可信前提下實現。

FAQ

ZK 數據協處理器是什麼？

ZK 數據協處理器屬於鏈下計算引擎，能存取區塊鏈歷史與跨鏈資料，執行合約難以於鏈上完成的運算，並為結果附上零知識證明。合約只需於鏈上驗證一份簡潔證明即可採信結果，無須重播原始資料。

ZK 數據協處理器資料來源為何？

資料來自區塊鏈歸檔節點（archive node），歸檔節點保存每個歷史區塊的完整狀態快照。協處理器可據此讀取任意時間點的餘額、儲存與交易紀錄，並涵蓋多鏈歷史狀態，每個資料點都納入後續證明。

ZK 數據協處理器回傳結果為何可信？

回傳的零知識證明同時鎖定三層事實：結果本身、輸入資料真實存在於目標鏈、運算嚴格依聲明邏輯執行。任一層遭竄改，證明均無法通過鏈上驗證，因此合約能「不信任、只驗證」。

ZK 數據協處理器與預言機有何不同？

預言機主要將鏈下資料搬運上鏈，仍需信任資料來源；ZK 數據協處理器則於鏈下基於真實鏈上或歷史資料完成運算，並附上證明其正確性的零知識證明，將信任從資料來源轉移至數學驗證。