消费级硬体环境下，64 块 GPU 在 12 秒内完成了 99.6% 的 L1 区块证明—Brevis 推出的多 GPU 零知识虚拟机（zkVM）Pico Prism 实现了极大的效能突破。

这个里程碑式进展也引发了以太坊核心社群的高度关注。以太坊创办人 Vitalik Buterin 公开评价：「很高兴看到 Brevis 的 Pico Prism 正式进军 ZK-EVM 验证领域。这是 ZK-EVM 在证明速度与多样性上的重要一步。」

「资料本身说明。表示，「我们建构了能够处理以太坊即时区块产出的基础设施，使用的都是消费级硬体。这种效能表现，正是对以太坊去中心化目标的最佳呼应。」

Brevis 联合创办人兼 CEO Michael—UIUC 电脑科学博士、分散式系统与大学技术专家—曾多次成功地在内部2018 年，他创立 Celer Network（巅峰估值超 20 亿美元）。如今，他带领 Brevis 团队将零知识证明与可验证运算结合，希望能打造出一个真正能支撑以太坊生态大规模运算需求的基础设施。

为了更了解 Brevis 如何实现这一突破，以及它对以太坊生态意味著什么，律动 BlockBeats 与 Brevis 联合创始人兼 CEO Michael 进行了深度对话。

我们探讨了三个核心问题：

·Brevis 的使命与定位

·可验证计算能为应用带来那些实际价值

·在与以太生态深度对齐的进程中，Brevisvis的下一步规划

这不仅是一场关于科技的对话，更是对未来运算信任的前瞻性思考。

Brevis 是什么：从愿景到定位

律动 BlockBeats：能先请您用最简单的语言介绍一下，Brevis 是一个怎样的项目，它想解决什么样的问题？

Michael：我们将 Brevis 定位为无限运算层（Infinite Computing Layer），既服务于 Web3，也覆盖更广泛的应用场景。核心目标是在保持去中心化与安全性的前提下，为链上应用提供近乎无限的运算能力，解决高效能/复杂功能与信任最小化长期难以兼得的结构性矛盾。尽管近年 L2 扩容显著提升吞吐，但对复杂计算（如大规模历史资料处理、跨链聚合、演算法/AI 推理等）仍受限，导致许多高阶功能难以落地。

Brevis 的方案是链下运算、链上验证。将繁重计算迁移至链下执行，并产生零知识证明（ZK Proof）；链上合约仅以极低成本验证证明的正确性即可，无需重复执行整段计算。由此，合约相当于获得一套经密码学保障的外挂，在不牺牲去中心化与安全性的前提下显著扩展可用算力与功能边界。 现在智能合约其实不是很智能，有了 Brevis 之后，可以让它变得真的智能起来。

律动 BlockBeats：Brevis 被称为 Web3 的无限运算层，这个概念是怎么来的？它和传统理解的链上计算或扩容有什么本质不同？

Michael：我们之所以称 Brevis 为 Web3 的无限运算层，是因为它的目标是打破区块链的运算上限。传统的扩容方案（如 Layer 2 Rollup）主要提升交易吞吐，从几十 TPS 提升到数百、上千 TPS，但仍存在天花板，并未解决任意复杂计算能否在链上完成的问题：链上通常只能处理相对简单的交易与合约操作。一旦计算复杂度提高，链上既难以建模，也难以承载，例如大规模资料处理、AI 推理或复杂演算法。

Brevis 的出发点不同：我们不是只让既定类型的交易跑得更快，而是让区块链可以接纳与承载任何计算的结果，同时保持安全性与去信任性。 这对应的是可验证计算（Verifiable Computing）的新范式－只要链下计算能够产出一份零知识数学证明，链上就可以以极低成本确认其正确性与安全性。

对开发者而言，Brevis 更像一朵可验证运算的云端：像使用云端运算一样按需扩展算力，把复杂运算放到链下完成，再把证明提交链上验证，同时保留与原生链上合约一致的安全与信任模型。因此，我们将 Brevis 定义为无限运算层——在效能与可用性上获得近乎无限的运算空间，而在信任与安全上则与区块链本身保持一致。

律动 BlockBeats：刚刚聊到的可验证计算（Verifiable Computing）听起来很抽象，您能用一个更直观的方式解释一下它在 Brevis 里的作用吗？

Michael：区块链的根本限制在于，在保障安全与去信任的同时，运算能力有限。以太坊等公链属于共识系统，网路中大量节点会对同一笔交易或同一次合约执行分别计算，达成一致后才产出新区块。这机制安全但效率低，类似全班都将同一题从头算一遍以确认答案的情况。

可验证计算的想法是将计算与验证解耦，减少重复开销。以鸡兔同笼为例：求解需要列方程并推导，而验证给定答案是否正确，只需将数值代回方程，成本远低于重新解。计算本身和验证计算的结果，这两者在计算机理论上天然是两个不一样的问题，后者通常更轻。零知识证明将其推广至任意计算，无论是 1+1=2 的简单运算，还是大型模型的推理，都可在计算完成后额外生成一份简洁的证明，使他人以极低成本快速确认，且不泄露计算细节。

在 Brevis 中，繁重计算在链下执行并产生 ZK 证明，链上仅进行证明验证，无需重复执行整段计算。这就是可验证计算的一个核心的价值，透过把计算和验证这两个部分彻底拆开，大大节省了要去无数次算同样一个目标的开销。

为什么这样做：技术架构与核心思路

律动 BlockBeats：在技术层面，Brevis 由 ZK Data Coprocessor（下文简称 zkCoprocessor）和 Pico zkVM 两个核心模组组成，这两者之间是什么？它们分别解决了什么问题？

Michael：可以把 Brevis 理解为一个分层结构：底层的 Pico zkVM 是通用运算引擎（Virtual Machine），你可以把任意运算交给它执行，并产生 zk Proof；它的一个重要特点是高度模组化，可以挂接多协处理器。 zkCoprocessor 就是其中面向区块链资料场景的协处理器，你可以把它看作插件或外挂。在当前形态下，zkCoprocessor 更像 zkVM 的记忆系统，让智能合约能够看到并理解链上历史发生的事情（如用户交易、余额、持仓等）。

更具体地说，zkVM 解决的是让任意运算可验证的通用问题；而 zkCoprocessor 是针对区块链应用客制化的应用层协处理器。由于智能合约天然「活在当下」，只能访问当前区块的有限上下文，无法直接读取、计算长时间窗的历史或跨链状态；zkCoprocessor 通过零知识证明为合约“装上一双眼睛”，在离链检索与汇总相关历史数据，并生成这些数据真实且来自链上状态的证明，从而让合约在具备记忆和智能化的前提下具备记忆和智能。

律动 BlockBeats：zkCoprocessor 让智能合约可以「看见过去」，这听起来非常突破，能具体谈谈它是怎么实现的吗？

Michael：我们可以用 PancakeSwap 的基于历史交易量的动态手续费折扣举个例子：

首先，zkCoprocessor 从区块链读取用户的历史交易记录，按规则（如近 30 天）汇总交易zkVM 在拿到经确权的记录后，执行进一步的聚合与计算（例如把不同交易对的成交量合并为单一指标），对计算过程产生证明；

最后，将结果 + 证明提交链上，合约一次性验证两部分证明的正确性，即可确认该地址是否达到了 VIP 的阈值，并据此周期自动应用下一结算的折扣。

透过这种方式，合约无需在链上重复读取和计算海量历史数据，既获得了看见过去的能力，又保持了去信任与成本可控。

律动 BlockBeats：你们自己开发了 Pico zkVM，而不是采用其他 zkVM 专案的方案，背后有什么考虑？ Brevis 与其他 zk 专案的不同之处？

Michael：这是一个非常关键的问题。确实，市面上已经有不少 zkVM 项目，那为什么 Brevis 还要从零开始打造自己的 Pico zkVM？核心原因其实很简单——我们认为现有的 zkVM，大多还停留在实验室阶段，并没有真正面向大规模、真实世界的应用设计，在整个性能成本、可扩展性上，离真的能够到大规模商用其实还差得很远。 换句话说，它们更像是概念验证，而不是能支撑上千万次调用的生产级系统。

Brevis 一开始就面对非常现实的需求场景。像是 PancakeSwap、Euler、Linea、Usual 等头部 DeFi 协议，每天都需要产生数百万份 zk Proof。如果底层 zkVM 的效能无法达到标准，整个系统就根本无法上线。这迫使我们必须重新建构真正为生产环境而生的 zk 计算引擎——这就是 Pico zkVM。

Pico 有三个显著的特点。首先是极致的性能。 Pico 是目前全球性能最强的 zkVM，我们最新发布的 Pico Prism 已经能在 64 张 5090 上完成以太坊主网 99.6% 区块的实时证明（12 秒内完成），其中 96.8% 的区块甚至能在 10 秒内完成，这意味著成本降低 3–50 倍性能。换句话说，如果以太坊今天运行在 Pico 上，它的整体验证效率可以提升一个数量级，是真正意义上的即时证明突破。

其次是独特的模组化架构。 Pico 是目前唯一支援外挂协处理器的 zkVM，其他 zkVM 通常是封闭结构，只能做通用运算，而 Pico 可以根据不同的应用场景挂载不同的模组。例如，在需要存取历史资料、交叉验证链上记录或运行复杂金融逻辑时，Pico 的协处理器可以像插件一样接入，专门为特定任务加速。这让 Pico 同时具备通用性和专用高效能两种能力，能够灵活覆盖从 Web3 的 DeFi 到 Web2 AI 运算等多种类型的应用程式。

最后是对开发者的友善性。我们不希望开发者必须精通密码或 ZK 理论才能使用 Pico。开发者只需要会写 Rust，就能直接调用，像写普通程式一样写 ZK 应用程式。这大大降低了门槛，也让 ZK 的复杂性完全隐藏在底层。所以总的来说就是我们不是试验性的 zkVM，而是一个为现实世界和真实用例所做的 ZK 的计算引擎。

律动 BlockBeats：最近你们公布的 Pico Prism 在消费级硬体上实现了 99.6% 的即时证明。能否谈谈这项成果背后的技术突破，以及它对 zkVM 效能极限意味著什么？

Michael：我先说明这件事的重要性。效能提升并非单纯的技术优化，而是关乎以太坊生态未来的扩容与发展。 以太坊目前架构要求每个节点重复执行相同计算，安全可靠，但扩充性已接近上限。下一步需要采用新的范式：由单一节点完成大量计算并产生 ZK Proof，其他节点仅负责验证。透过这种单点计算、多点验证的方式，可以在保持去中心化与安全性的前提下，将吞吐量提升一个数量级，甚至达到或超过 Solana 的水平，同时维持必要的去中心化节点规模。

以太坊基金会在今年 7 月提出两年期目标：使用低于 10 万美元的消费级硬件，实现 99% 区块的实时证明。一旦达成，便可透过叠加普通硬体的算力获得近乎无限的扩展空间。然而在此之前，这一直被视为理论上的可能：多数 zkVM 方案在覆盖率、成本与速度上距离该标准仍有显著差距，许多甚至难以达到 90% 的即时覆盖率。

而 Pico Prism，是第一个真正跨越这条性能线的系统。我们在测试中，仅使用 64 张 5090 GPU（约 12 万美元成本），就实现了 99.6% 的以太坊区块在 12 秒内被证明，其中 96.8% 的区块能在 10 秒内完成，平均证明时间仅 6.9 秒。

与其他协定相比，Pico 的效能提升了 70%，成本降低了 50%。换句话说，它不仅更快，而且更便宜，也意味著我们已经十分接近以太坊基金会设定的目标。

律动 BlockBeats：从功能和目标来看，Brevis 是更像以太坊的 ZK 加速层，还是更像一个面向多链的可验证运算云？

Michael：从功能与目标来看，这两种定位并不冲突。 短期内，Brevis 更像以太坊及其二层的 ZK 加速层。我们与以太坊基金会的方向一致：透过零知识证明实现主网 10 倍至 100 倍的扩容；同时，即时证明能力将显著提升二层 Rollup 的交互性，使跨链速度更快、效率更高、费用更低，并推动状态与流动性的更好统一。

从更长期、也更宏观的视角来看，Brevis 的定位并不限于以太坊。我们的架构天然支援多链，目前已与 BNB Chain 等生态伙伴合作（如 PancakeSwap），并推进非以太坊上的永续合约等项目的合作；与 Arbitrum、Base、Avalanche 等二层/多链生态也保持对齐。整体而言，我们希望把 Brevis 打造成所有区块链应用程式的可验证运算云。

我们的目标是在未来 3–5 年，让无论部署在哪条链上的智能合约都能便捷使用这套计算服务；从更长周期看，区块链应用的绝大部分计算将发生在链下，并以 ZK 方式保证可信性，Brevis 将作为整个去中心层化系统的统一计算信任。

怎么落地：真实的应用与案例

律动 BlockBeats：很多 DeFi 应用，例如 PancakeSwap、Euler 或 Linea，已经在用 Brevis 的技术，您能举个具体例子说明它是如何在这些场景中工作的孩子？

Michael：对，我们现在的应用场景主要分几类，最典型的就是 DeFi。刚刚提到的 PancakeSwap 就是一个标准案例，我们不希望 DEX 的用户体验永远停留在一视同仁的阶段——无论你是普通交易者还是高频大户，介面与费率完全一样。我们希望 DEX 能逐渐像 CEX 一样，为不同类型的使用者提供差异化体验。同时，我们也正在探索更多创新应用。例如与 SocialFi 等专案合作，让用户能在不暴露主钱包的前提下证明自己的影响力与真实持仓。

我们也在推进一些几乎完全链下运作的场景。例如，在像 Hyperliquid 这样的永续交易系统中，使用者的部位、杠杆等资讯往往是公开的，很容易被其他交易者围攻。我们希望透过 ZK 技术重构这种系统，让所有订单、仓位记录都能加密隐藏，但依旧可以用 ZK Proof 的方式来确保撮合的正确性与系统的安全性。这样既能带来接近中心化交易平台的顺滑体验，又能维持区块链层级的安全与隐私。

律动 BlockBeats：在产品层面，Incentra 是你们推出的一个重要应用，它目前已经管理超 3 亿美元的激励分配，这个系统是怎么运作的？

Michael：Incentra 的出发点很简单：激励分配是每个生态成长的核心，但长期以来，发放机制往往存在安全、合规与透明性的问题。

Incentra 核心机制是由使用者依据自身在链上或协议内的真实行为产生 ZK 证明，直接在链上合约侧完成资格校验与领取，无需依赖中心化发放。相较传统做法，此模式在三方面具有优势。第一，安全性：资金在合约内按预设规则结算，降低集中托管与操作风险；第二，合规与可审计性：激励规则与资格证明均链上可追踪，避免向不明主体转付的合规压力；第三，公平与透明：任一领取行为都可由外部独立验证其对应的真实贡献与计算路径，杜绝黑箱路径分配。目前，该体系已在 BNB Chain、MetaMask、OpenEden、Usual 等项目的成长与激励场景中落地。无论是稳定币生态或是链上激励系统，都能透过这套方案做到安全、合规、透明的激励发放。

律动 BlockBeats：相比许多还停留在实验室阶段的 ZK 项目，Brevis 已经实现了大规模落地，您认为你们为什么能更快做到这一点？

Michael：我认为最核心的原因在于，我们从第一天起就没有把自己当作一个做研究的 ZK 实验室，而是一个面向真实应用的基础设施公司。我们的技术路线不是先造引擎，再找用途，而是反过来：从应用需求出发，倒推底层架构的设计。

这点其实决定了 Brevis 的根本差异。许多 ZK 专案是先闭门开发一个看起来完美的 zkVM，然后再去思考它能应用到哪里；而我们是从合作专案方的真实痛点出发，先理解他们的实际需求，然后逐步设计出模组化的 zkVM 架构，并进一步创造出可外挂的 zkCoprocessor。

换句话说，Brevis 的技术演进不是凭空规划，而是一步步被真实使用者和合作伙伴推出来的。这种以问题为导向的研发模式让我们能持续快速迭代，每一次改进都直接对应一个可验证的使用情境。这也让我们的系统从一开始就具备生产层级的稳定性与扩展性，而不是为论文写程式码。

还有一个更朴素的原因：我们的团队既懂密码学，也深谙大规模系统工程。我们从来不是停留在理论层面去做推导，而是真正在生产环境中打磨效能、验证稳定性。 到目前为止，Brevis 已经在主网上产生了超过一亿份零知识证明，服务了约十九万用户，为合作协议管理超过三亿美元的真实激励资金。这些都是真实上线的应用程式——包括像是 Linea、Euler、Usual、OpenEden 等专案——不是 Demo，也不是 Testnet。

接下来要去哪：开放场景与未来愿景

律动 BlockBeats：除了 DeFi 之外，您认为链下运算、链上验证的模式未来还能在哪些方向产生影响，例如 AI、资料市场或游戏？

Michael：在 DeFi 之外，此模式将在可验证 AI、Web2 到 Web3 资料与身分桥接、隐私资料市场以及游戏与社交等方向产生持续影响。首先，在可验证 AI 领域，现有模型多为黑箱。透过零知识证明，可对推理过程产生可验证的数学证据，证明特定模型在给定输入上产生了相应输出，并确保模型与流程未被替换或篡改。其次，在 Web2 到 Web3 的桥接场景中，使用者可将中心化平台上的资质或行为以证明形式带入链上应用，例如将中心化交易平台的交易活跃度映射为去中心化交易平台的费率优惠，而无需暴露身份或底层帐户明细。最后，在游戏与社交领域，使用者可证明自身的历史成就、资产持有或关键行为完成情况，以此获得存取权限、匹配资格或激励，而无需公开钱包或个人敏感资讯。

长期来看，这套体系将重新定义数位世界的信任边界。我们希望透过 Web3 与零知识证明，去重建整个人类社会理解可信赖计算的方式，让每一次计算都能被验证、被信任。 Brevis 想做的，就是成为这一切的底层──新的运算信任层。

律动 BlockBeats：我们看到 Brevis 在 10 月 13 日推出了 Brevis Proving Grounds 新活动，能否分享一下，这次活动的核心内容是什么，用户能真正参与和体验到什么？

Michael：其实在过去一段时间里，我们花了非常多的精力在做落地应用的验证和文件审批工作。现在我们已经和二十多个合作伙伴展开了深度合作，每个专案都是真实上线的、能够被使用者直接使用的应用程式场景，而且这些专案的资料表现和使用者留存也都非常好。

但我们发现，在区块链的世界里，很多事情的推动其实是用户认知反推开发的。也就是说，当使用者真正理解新技术的价值之后，他们的回馈和需求会反过来推动开发者实现更多功能。正因为如此，我们希望把使用者真正拉进来，让他们不仅是旁观者，而是能亲自去体验、去验证的人。这就是我们这次推出的 The Brevis Proving Grounds 活动的核心目的。

整个活动大致分为两个阶段。第一阶段是使用者教育阶段，我们希望让更多人理解我们的合作伙伴究竟在做什么，以及零知识证明（ZK）到底能在这些专案中解决哪些具体问题。这个阶段更偏向普及与理解，让大家清楚这项技术背后的逻辑与意义。

第二阶段则是真实体验阶段，也就是让使用者亲自去使用我们已经落地的这些应用，真正去感受这些产品在接入 Brevis 之后，带来的变化是什么样的。与许多项目不同的是，其他项目的活动通常只是让使用者点点滑鼠、完成任务、薅点羊毛，因为他们往往缺乏真正可被体验的、底层创新性的功能。而我们不一样，我们的合作项目本身就是真实落地的、有价值的应用，用户在参与时并不是在玩一个模拟体验，而是在真正地使用那些已经和 Brevis 技术深度集成的产品。

我们希望透过这种方式，让使用者能够切身感受到 ZK 技术带来的丝滑体验和价值转变，理解为什么这种链下运算、链上验证的模式能够让应用既安全又高效。更重要的是，我们想借此让更多的用户成为生态的推动者：当越来越多用户理解并主动要求他们使用的产品采用这种机制时，整个行业的创新动力也会被反向激活。

律动 BlockBeats：除了这个活动之外，Brevis 目前还有什么计划？用户还可以参与其中么？

Michael：我们将持续推出可参与的生态计划，其中包括推进去中心化证明节点网路的上线，以形成更开放的证明与验证基础设施。相关计划将对社区与生态伙伴开放参与管道，具体参与方式与时间安排将在后续对外发布。

律动 BlockBeats：从更长远的角度来看，您希望 Brevis 成为怎样的基础设施？它最终想在 Web3 世界中扮演什么角色？

Michael：我们的愿景是将 Brevis 打造成 Web3 的无限运算层，成为全域可信任运算的来源。 类比以太坊以智慧合约重构资产与金融的信任逻辑，Brevis 旨在重构计算的信任逻辑：不再在自行计算与信任他人计算结果之间二选一，而是在不重复执行的前提下，透过可验证计算确保结果的安全性与正确性。

面向未来，链上应用将从简单的交易执行与资产转移，演进为更智能、更复杂的系统，涵盖高级演算法、数据交互、个人化体验以及社交行为证明等。要实现大规模采用，必须同时具备强大的运算能力与完整的安全性。我们要让这种证明式运算变得普遍、易用、低成本——让每一个 Web3 应用都能自然地嵌入这项能力，而不必重新造轮子。

从架构上讲，我们希望在共识层、资料层、执行层之上，再加上一层新的信任层－无限运算层。它将成为区块链的第四层基础设施，为整个去中心化世界提供统一的计算可信赖性与验证能力。让所有智慧、复杂、甚至跨链的运算，都能在零信任的前提下被验证使用。这就是我们理解的无限计算，也是 Brevis 的长期使命。

原文连结

发布者对本文章的内容承担全部责任
在投资加密货币前，请务必深入研究，理解相关风险，并谨慎评估自己的风险承受能力。不要因为短期高回报的诱惑而忽视潜在的重大损失。