继续学习 @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