Chainfeeds 导读：
作为万物的无限计算层，Brevis 并非只为以太坊而构建，而是在多链生态多样化生产级应用场景中拥有强大的落地能力。
文章来源：
https://www.techflowpost.com/zh-CN/article/29789
文章作者：
深潮 TechFlow
观点：
深潮 TechFlow：围绕「万物无限计算层」愿景，Brevis 生态拥有三大产品组件：Pico zkVM、ZK Data Coprocessor 和 ProverNet。Pico zkVM 可以看做是 Brevis「无限计算层」愿景的引擎，它专为构建安全、可扩展、高性能的去中心化应用而设计，相比较其他 zkVM 拥有一系列核心优势：首先，Pico zkVM 灵活且低门槛，模块化设计使得开发者能够像搭积木一样自定义功能，并且支持开发者用 Rust 编写任意程序同时 RISC-V 兼容，不需要学复杂的电路语言，也不用手动优化递归，开发者只需改几行配置，就能针对自己的应用把性能、成本、安全性调到最优。更重要的是，Pico zkVM 更快，可以证明任何计算，这从根本上破解了 ZK 大规模落地的难题：2025 年推出的 Pico Prism 多 GPU 版本在消费级硬件上实现了 99.6% 的以太坊主网区块实时证明覆盖率，使得 Brevis 成为全球最快的 zkVM，相比第二名 SP1 Hypercube 方案，Pico Prism 快了 32 倍，同时将 GPU 硬件成本降低了 50%，支持更低的成本、更高的效率生成证明。另外，通过与另一核心功能 ZK Data Coprocessor 的协作，Pico zkVM 将在处理历史链上数据方面实现性能暴增，这使得 Pico zkVM 更实用，更能在生产环境实现大规模采用。ZK Data Coprocessor（ZK 数据协处理器）算是 Brevis 最成熟、落地最广泛的产品。它的核心作用在于：让智能合约可以无信任、低成本地访问和计算任意历史链上数据，就像给合约装了一个「无限历史数据库」。以前，合约想读历史数据，一般有两个选择：一是自己慢慢查，但 Gas 贵的离谱；另一个则是通过中心化预言机，但存在信任和安全风险。而 ZK Data Coprocessor 给出了第三种选择：不仅能访问几乎所有历史链上信息，且使用门槛非常低，开发者不需要懂 ZK 电路即可调用数据，Brevis 后台将自动从链上拉取真实历史数据、高效生成 ZK 证明并验证，整个过程 Gas 成本极低，且完全无需信任。最后一个关键产品模块则是 ProverNet：这是一个去中心化的 ZK 证明生成市场，任何应用可以提交证明需求，任何专业证明者可以竞标完成任务。我们知道，不同项目、不同场景下，对证明的需求也是千差万别的，若每个应用自己建证明基础设施，不仅成本高，而且效率低。ProverNet 则是致力于把证明生成这件事儿，放进公开市场里：应用提需求，专业的证明者报价并响应需求，复杂任务可分解成子任务，由不同证明者协作完成，证明生成后，可验证到任何目标链。任务通过 Brevis 的 Truthful Online Double Auction（TODA，真实在线双拍卖）进行匹配撮合，同时 ProverNet 运行在 Brevis 推出的专用 Rollup Brevis Chain 之上，进一步保证效率。目前，ProverNet 已上线 Mainnet Beta 版本。
内容来源
