繼續學習 @brevis_zk ， 白皮書詳解系列第五篇來了：

證明是怎樣從「訂單」變成「鏈上可信結果」的？

這是一條講清 Brevis ZK 證明流程的科普。

前幾篇給大家分享了 Brevis 的三大產品：

Pico 能把大任務拆開、並行處理

Data Coprocessor 能把鏈上歷史數據算清楚並證明無誤

TODA 能讓「生成證明」在平台上進行交易。

那一個證明從提出需求到變成「鏈上可信結果」，會經歷哪些流程？

------------------------------------

第一步：用戶或者合約發布一個「證明任務」

舉2個常見慄子：

「幫我證明某用戶過去 30 天鏈上的交易量是多少」
「幫我證明這段鏈上記錄的數據是真的」

當我們發布證明任務時，只需告訴 Brevis 三件事：

- 你要證明什麼？
- 證明必須多快返回（例如 3 秒）？
- 你願意支付多少費用？

可以將其簡單理解爲，在鏈上發布一個「外包任務」。

------------------------------------

第二步：TODA 市場會根據任務復雜度進行拆分，並匹配分配給合適的證明者。

具體來說，任務在 Brevis 的 TODA 市場發布後：

系統會自動拆分成多個小任務（由 Pico 支持）。

多個證明者會根據自身硬件情況與能力提供報價。

TODA 會自動挑選最佳的證明者來完成對應的任務，無需人工手動介入。

------------------------------------

第三步：證明者開始完成計算工作並生成子證明

每個證明者使用能滿足任務的不同硬件來執行計算工作，並生成對應的證明。

第四步：讓所有子證明自動合並成一張「總證明」
這一步用到的是 Brevis Pico 的遞歸能力，每個發布的任務最終只有一個證明。

第五步：將證明提交到鏈上進行驗證
這樣只需要幾毫秒和少量的 Gas 就能完成驗證，無需重算任何復雜的邏輯，鏈上確認保證了真實性。

第六步：按時交付者獲得對應的報酬，而違約者會遭受懲罰

可見，Brevis 用創新的技術與產品，直接把「ZK 證明」從一個復雜的數學工程，變成了一條可自動化的生產與結算流程。

Brevis 的這套流程非常清晰直觀，而且實現了自動化，同時無需信任第三方，保證了透明度與去中心化，怪不得得到了諸多頂級項目的合作。

繼續看好 @brevis_zk ，繼續保持交互，等待官方下一個大動作。 #BrevisZK