原文来源：Brevis
表 1：协处理器增强版 Pico 与原生 Pico 性能对比（4096 笔交易，日志大小：40）
Pico 还将这一架构拓展至可验证 AI 推理、Reth 等应用级协处理器，进一步提升 zk 计算的效率。
通过结合协处理器（Coprocessors）和通用 zkVM（Glue），Pico 为开发者提供了一种强大且灵活的工具，能够在 ZK 驱动的应用程序中平衡性能、可编程性和适应性。
灵活的证明后端与可定制的计算流程
1. 灵活支持多种证明后端
Pico 兼容多种 零知识证明系统，包括：
STARK（KoalaBear、BabyBear）
CircleSTARK（Mersenne 31）
例如，Poseidon2 哈希函数广泛用于 zkVM 递归证明。在相同的 STARK 系统下，KoalaBear 证明效率远超 BabyBear，仅需更换证明后端即可大幅提升性能，而无需修改计算逻辑。
2. 可定制的证明工作流程
Pico 允许开发者自由调整证明生成流程，以优化可扩展性、成本和延迟。
· 实例级优化：开发者可定制每个 VM 实例的计算流程（包括证明后端、计算芯片、内存管理等）。
· ProverChain 证明链：通过 RISCV → CONVERT → COMBINE → COMPRESS → EMBED → ONCHAIN 等模块化流程，优化计算效率。
· 可选去中心化验证：开发者可根据需求选择是否在 EVM 上进行链上验证，以平衡性能与去中心化程度。
刷新行业性能记录：树立 zkVM 新标杆
在最新的性能基准测试中，Pico 全面超越现有 zkVM 方案，并在 CPU 计算环境下展现出惊人的性能提升。我们对 RISC0、SP1 和 OpenVM 进行了对比测试，涵盖了以下 核心计算任务：
· Fibonacci 计算
· Tendermint 区块共识
· 以太坊 Reth 区块 #17106222 证明
所有测试均在 AWS r7a.48xlarge 实例（192 核 CPU，1.5TB RAM）上进行，以保证计算环境的一致性。结果显示：
· Pico 在所有任务中的运行速度均快于第二快的方案高达 155%，刷新 zkVM 计算性能记录！
· Pico 的 CPU 计算能力显著领先，尤其适用于需要高效计算的应用场景。
表 2：在 AWS r7a.48xlarge（192 核，1.5TB 内存）上，RISC0、OpenVM、SP1 和 Pico 在 Fibonacci、Tendermint 和 Reth-block 171 任务中的性能基准测试结果
即将推出 GPU 加速版本
虽然当前数据基于 CPU 测试，但 Pico 正在研发 GPU 加速版本，预计将在未来几个月内发布。GPU 加速版本的 Pico 将进一步提升 zk 计算能力，提供更强的吞吐量和计算效率，我们将在未来发布完整的 GPU 性能测试报告。
站在巨人的肩膀上
Pico 从以下项目中汲取了灵感，每个项目都代表了零知识证明系统的前沿进展。
通过在这些创新的基础上进行构建，Pico 提供了一个模块化且高性能的 zkVM：
Plonky3：Pico 的证明后端基于 Plonky3，通过将其模块化特性扩展到 zkVM 层，使开发者能够灵活选择最适合其应用的证明域和证明系统。
SP1：Pico 从 SP1 的芯片设计和约束系统中获得了重要的灵感，其中包括递归编译器（recursion compiler）和预编译（Precompiles）的设计和约束。
Valida：Pico 对跨表查找（cross-table lookups）的实现，受到 Valida 在该领域的开创性工作的启发。
RISC0：Pico 的 Rust 工具链直接基于 RISC0 原始开发的工具链。
加入 Pico 开发者社区
Brevis 始终相信 零知识技术的未来在于合作与创新。Pico 不仅仅是一款 zkVM，更是一个 助力构建下一代 zk 应用的开发平台。
· 阅读 Pico 开发文档： Pico Docs
· 探索 GitHub 代码库：GitHub Repo
让我们携手拓展零知识计算的边界，共同打造智能化、去信任的去中心化世界！
本文来自投稿，不代表 BlockBeats 观点。
