Bitget App
交易“智”变
专访Brevis CEO Michael:zkVM扩容远比L2更有效

专访Brevis CEO Michael:zkVM扩容远比L2更有效

BlockBeatsBlockBeats2025/10/24 09:00
作者:BlockBeats

无限计算层引领真正的落地应用

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


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


数据本身说明一切。 Brevis 联合创始人兼 CEO Michael 表示,「我们构建了能够处理以太坊实时区块产出的基础设施,使用的都是消费级硬件。这种性能表现,正是对以太坊去中心化目标的最好呼应。」


Brevis 联合创始人兼 CEO Michael—UIUC 计算机科学博士、分布式系统与高性能网络专家—曾多次在硅谷创业并成功退出,其研究成果被包括 Google 在内的众多科技公司采用。2018 年,他创立 Celer Network(巅峰估值超 20 亿美元)。如今,他带领 Brevis 团队将零知识证明与可验证计算相结合,希望可以打造出一个真正能支撑以太坊生态大规模计算需求的基础设施。


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


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


·Brevis 的使命与定位

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

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


这不仅是一场关于技术的对话,更是一次对未来计算信任的前瞻思考。


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 天)汇总交易量,并对其生成零知识证明;

随后,Pico 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–4 倍,硬件成本降低约 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 的长期使命。


0

免责声明:文章中的所有内容仅代表作者的观点,与本平台无关。用户不应以本文作为投资决策的参考。

PoolX:锁仓获得新代币空投
不要错过热门新币,且APR 高达 10%+
立即参与!

你也可能喜欢