Brevis发布Pico：下一代零知识虚拟机（ZKVM）革新模块化计算

[新闻稿 - 新加坡，2025年2月11日]

区块链技术公司布雷维斯（Brevis）正式推出其最新产品PICO V1.0。这是一种革命性的零知识虚拟机（ZKVM），专为模块化和灵活可验证的计算设计。PICO是首个允许开发人员自定义素数字段、证明系统、证明工作流程以及协处理器集成的ZKVM，并支持访问历史链上数据，从而赋予应用程序对零知识证明生成和优化的完全控制权。

与传统ZKVM相比，PICO采用了高度可定制的设计，在CPU性能方面表现卓越，运行速度比现有最佳解决方案快84％至155％。未来，PICO还将推出GPU加速更新，进一步提升性能。这为区块链协议提供了更高效的ZKVM解决方案，显著提高了优化效率、表达能力和去信任性。

PICO的模块化“胶水和处理器”架构将通用ZKVM与高性能专用电路相结合，从而实现了灵活的证明领域、系统和工作流程。不同于依赖低级预编译的传统ZKVM，PICO提供针对各种应用需求的特定应用电路。开发人员可以选择内置选项或自定义实现，将电路作为协处理器或预编译集成到系统中。这种设计使历史区块链数据处理性能提升了35倍，大幅缩短了证明生成时间。

借助PICO，开发人员能够创建特定领域的证明结构，将证据与专用语言结合或自定义系统。这是首次支持无需修改代码即可自定义证明系统和主要字段的ZKVM，极大地增强了零知识加密的灵活性、优化速度、证明尺寸和整体效率。

Brevis联合创始人Michael Dong表示：“PICO代表了ZKVM设计和部署方式的重大转变。” “我们通过引入带有内置ZK协处理器的模块化ZKVM，为Web3的可验证计算带来了前所未有的定制水平，并优化了性能。”

此外，PICO还引入了一种名为“谚语”的可定制证明工作流程。该工作流程允许开发人员根据具体需求微调速度、内存占用和证明尺寸，并优化成本和可扩展性。同时，它还可以绕过离链验证场景中的不必要证明压缩步骤。

PICO支持RISC-V开源指令集架构和强调安全性和性能的编程语言Rust，使开发人员能够使用熟悉的开发环境构建ZK应用程序。目前，多个Web3协议和去中心化应用（DApps）已在主网上启动由Brevis技术支持的功能，包括丝绸（Silk）、通常（Common）、代数实验室（Algebra Labs）、Jojo Exchange和信任（Trust）等。其他合作伙伴如煎饼（Pancake）、芹菜（Celery）、Frax、伽玛（Gamma）等也正在基于Brevis技术开发下一代产品。

关于布雷维斯（Brevis）

Brevis是一种高效且可验证的离链计算引擎，旨在为现有的智能合约区块链提供无限的计算能力。通过利用零知识证明技术，Brevis将数据密集型和高成本的计算任务从链上卸载到低成本的离链计算环境中，帮助Web3应用程序无缝扩展，同时保留L1级别的安全性假设。

网站|博客|电报|推特|Girub|不和谐