目前对于行业核心挑战之一是其固有的计算能力限制。为保证去中心化和安全性，所有网络节点必须重复执行相同的计算，这导致成本高且效率低。

—————————————————————————

为解决这个矛盾， @brevis_zk 将自己定位为成无限计算层，旨在通过“链下计算，链上验证”的可验证计算方式来提供算力，同时保持其无需信任的安全性 。

Brevis的核心是“可验证计算”，它将计算过程与验证过程解耦。繁重的计算任务在链下执行，并生成一个简洁的ZK证明，而链上智能合约只需以极低的成本验证该证明的正确性，无需重复整个计算过程 。

在实现的过程中，Brevis主要采用了独特的混合架构，包含Pico zkVM、zkCoprocessor两大核心模块。

Pico zkVM（通用零知识虚拟机）

通用的计算引擎，能够对任意程序的执行过程生成ZK证明。开发者即使对密码学不了解，也可以构建ZK应用的环境。Pico zkVM采用高度模块化的设计，允许接入外部协处理器以加速特定任务 。

zkCoprocessor（ZK数据协处理器）

专为区块链数据场景定制的协处理器。智能合约本身无法直接访问或计算历史状态。zkCoprocessor通过链下读取和聚合历史数据（如用户交易、余额、持仓等），并生成证明来证实这些数据的真实性。

“通用zkVM + 专用协处理器”的架构，结合灵活性与高性能，使 @brevis_zk 能够高效处理从DeFi数据分析到复杂算法验证的各类任务 。

随着Pico zkVM性能的不断提升和zkCoprocessor应用场景的持续拓展，Brevis正处在从可扩展向可验证前进。