作者：马铃薯
编排：小白
本文为作者原创投稿，观点仅代表作者个人理解，ETHPanda 对内容进行编辑整理。
Pico Prism 2.0 把以太坊区块 ZK 证明拉进「接近实时」时代：在约 10 万美元、16 张 RTX 5090 的硬件条件下，把主网区块证明时间压到 6 秒级，首次接近以太坊基金会定义的 real-time proving 标准，从而让「用数学验证链上发生了什么」在工程上变得可行，并可能重写钱包、跨链桥、L2 以及 AI×Web3 的整体信任模型。
你以为你在跟以太坊说话，但你其实在跟 Infura 说话
打开 MetaMask，看到你的 ETH 余额——这个数字是从哪里来的？
大部分人的直觉是「从区块链来的」。但实际上，它是从一个叫做 RPC（Remote Procedure Call）的服务器来的。MetaMask 默认用的是 Infura，一家 ConsenSys 旗下的公司。
你没有自己在验证任何事。你在信任 Infura 告诉你的数字。
这不是在挑剔技术细节。这是「去中心化」这个概念的核心矛盾：
以太坊本身是去中心化的，但大多数人接触以太坊的方式，是通过高度中心化的服务。
这个矛盾带来了一些不是假设、而是真实发生过的问题。
本文不是单纯介绍 Pico Prism 2.0 的发布，而是想借这个节点回答一个更大的问题：如果以太坊区块真的能被近乎即时地证明，Web3 的信任模型会发生什么变化？
这不是假设——这些事都已经发生了
RPC 层的单点风险。2020 年 11 月，Infura 基础设施出现严重故障，导致全球 MetaMask 用户无法发出交易、看不到正确余额——一个中心化 RPC 服务故障，让「去中心化金融」瞬间瘫痪。2022 年 8 月，美国财政部制裁 Tornado Cash 后，Infura 和 Alchemy 随即宣布拒绝与相关地址的请求。以太坊协议层从未封锁任何人；是 RPC 中间层在做审查。
信任 validator committee 的代价更高。大部分跨链桥的逻辑是：A 链上的 validator 负责「确认」B 链发生的事，你信任这群 validator 是诚实的。但一旦他们被攻击或密钥泄露：
- Ronin Bridge（Axie Infinity）：$625M。黑客拿到 validator 私钥，伪造提款签名。
- Wormhole：$320M。智能合约漏洞让黑客凭空铸造代币。
- Nomad Bridge：$190M。Merkle tree 验证逻辑漏洞，任何人都能伪造消息。
这三个案例的共同根源：你在信任某些人或某段代码「说」以太坊上发生了什么，而不是自己去验证。
如果不完全信任任何人，还能确认一件事是真的吗？
Zero-Knowledge Proof 解决的就是上面这些问题的根源。
它的核心思想可以用一句话说完：
「我可以向你证明某件计算是正确执行的，你不需要重新跑一遍，也不需要相信任何人。」
换成以太坊的语言：
「我可以向你证明这个以太坊区块里的所有交易，确实按照 EVM 规则正确执行了——你只需要验证一个很小的数学对象（proof），就能确认这件事。」
有了这个东西之后：
- 钱包有机会通过 proof 更直接地验证链上状态，减少对单一 RPC 的依赖
- 某些跨链架构可以从信任 validator committee，转向验证来源链产生的 proof
- 任何人都可以快速确认某个 block 是合法的，不需要重跑整条链
不是「相信某人说的」，而是「验证数学告诉我的」。这是一个根本性的安全模型升级。
听起来很完美。但有一个现实问题让它过去根本做不到
ZK Proof 有一个悖论：
- 验证 proof：很快、很便宜，几毫秒就好
- 生成 proof：极其耗资源，比执行原本的计算贵几个数量级
现在的 ZK Rollup（ZkSync、Scroll 等）是怎么解决这个问题的？用「批次」的方式。把很多笔交易攒在一起，等积到足够多再生成一个 proof，把成本摊平。因为每笔交易单独出一个 proof，根本不划算。
那如果要 prove 一整个以太坊主网 block 呢？
一个 60M gas 的以太坊主网 block，里面有复杂的 DeFi 交互、NFT mint、合约部署……把整个 block 的 EVM 执行逻辑压缩成一个 ZK proof，计算量是天文数字。
更关键的是时间问题：以太坊每 12 秒出一个 block。
如果 prove 一个 block 要花几分钟，那你的 proof 永远在追赶，永远来不及。你没办法说「这个刚出的 block 是被 ZK proof 保证的」，因为你的 proof 可能几分钟后才会出来。
这就是为什么「real-time proving」是这个领域最核心的工程挑战——
你必须在下一个 block 出现之前，就把上一个 block 的 proof 算完。也就是说，你必须在 12 秒内搞定一切。
在 Pico Prism 2.0 之前，没有任何系统能在这个时间窗口内、以合理的硬件成本做到这件事。
然后，2026 年 5 月，有人把这件事做到了
以太坊基金会在 2025 年 7 月给出了 real-time proving 的 working definition。它不只是「平均低于 10 秒」这么简单，而是更接近一组主网级约束：
- Latency：P99 mainnet blocks ≤10 秒
- On-prem CAPEX：≤ $100K
- On-prem power：≤ 10kW
- Code：fully open source
- Security：≥128-bit
- Proof size：≤300KiB，且不依赖 trusted setup
这些数字不是随便订的。P99 ≤10 秒代表系统不只平均要快，尾部延迟也要足够稳定，才有机会跟上 12 秒 slot；≤$100K 与 ≤10kW 则代表它不能只存在于超算中心，而要接近 on-prem / commodity-scale 部署。
Pico Prism 2.0 在 1000 个连续以太坊主网 block（60M gas）上的 benchmark 结果：
Brevis 自己说的是："Pico Prism 2.0 smashes both"（两个目标都超越了）。
和 Pico Prism 1.0 相比，1.0 需要 64 张 GPU，平均 8.1 秒；2.0 用四分之一的硬件，达到 6.1 秒。效率提升了 5.3 倍。
值得注意的是，这 6.1 秒和 99.9% 是 Brevis 内部测试的数字——对象是从主网第 24,000,000 号 block 起连续 1000 个。Pico Prism 2.0 要到 2026 年 5 月才正式进入 Ethproofs 的真实环境测试；在此之前，Ethproofs 上跑的是旧版 Pico，12 秒完成率为 91.73%。
这个赛道不只有 Brevis。目前在 Ethproofs 上同步接受真实环境评测的三支队伍：
AntChain OpenLabs 目前以相同的硬件规模拿下排行榜第一，完成率和成本都优于 Brevis 旧版。Pico Prism 2.0 上线后，内部测试的 99.9% 预计会与其正面竞争——届时才是两队在相同条件下的真实对决。
速度瓶颈，基本跨越。下一题是安全
2025 年 12 月，以太坊基金会做了一个宣告：
「Performance race effectively won（性能竞赛基本上已打赢）」
然后宣布，2026 年的重心要转移到 L1 zkEVM 整合的 soundness（数学安全性） 基础。
这句话值得细读。
它的意思是：「real-time proving 够不够快」这个问题，已经从研究问题变成了工程问题。在 EF 设定的基准目标上，性能已经到达门槛。接下来要问的是「这个系统安不安全？」
Pico Prism 2.0 是在这个背景下发布的——它代表的是性能层面的重要里程碑。下一步是安全面的攻关。
但这不是终点，有两个问题还没有答案
问题一：ZK 电路安不安全？
生成 proof 够快，但 proof 本身正确吗？这是更难回答的问题。
EVM 有几百个指令，每个都有细微的边界情况——整数溢出怎么处理、特定情况的 gas 计算、内存扩展费用……每一个细节都必须在 ZK 电路里被正确实现。
一旦电路有 bug，最坏的情况是：proof 生成了、验证也通过了，但那个 block 的执行其实是错误的。你以为你验证了正确性，但你验证的其实是一个有漏洞的系统给你的假保证。
这就是为什么 EF 把重心转向 soundness——数学安全性才是真正的底线。
Pico Prism 目前的目标是达到 128-bit provable security，这是 EF 设定的 L1 zkEVM 整合安全标准。相关的形式验证（formal verification）正在进行中。
问题二：谁来跑这些 prover？
16 张 RTX 5090 GPU + 两台机器 ≈ $100K。
这还是很贵。这意味着跑 prover 不是普通个人能做的事，而是需要一定规模的机构或团队。
如果只有少数几个大机房能跑 prover，那 proving 本身就是中心化的。而一个中心化的 prover，理论上可以被审查、被攻击、或者选择性地拒绝某些 block。这跟一开始要解决的问题就绕回去了。
去中心化的 proving 网络（prover marketplace）是解法方向之一。Brevis 自己有 ProverNet，一个已在主网运行的去中心化 prover 市场。但这个问题没有轻松的答案。
以太坊基金会选了四个队，在真实环境里开始彩排
Ethproofs（ethproofs.org）是以太坊基金会资助的中立公共平台，公开追踪所有 zkVM 团队在自有硬件上 proving 以太坊 L1 block 的表现，涵盖 latency、每笔成本、开源状态和安全审计进度，是目前最具公信力的跨团队横向比较基准。
2025 年全年，这个生态整体完成了显著跃升：
- 累计生成超过 25 万个 proof，全网 87% 达到 10 秒以内完成
- Latency：全年提速 5 倍；成本：全年降低 15 倍
- 每笔 proof 成本从年初的 $1.69 降至年底不到 $0.01
- 已有四支团队同时达成「sub-10s P99、$100K 以内硬件」的双重目标
2026 年 3 月，Brevis 被选为以太坊基金会 On-Prem Proving Initiative 的四个 prover 团队之一，通过 Ethproofs 计划正式进入真实环境评测。
这个计划的设计很有意思：资助这四个团队，在自有硬件上、真实环境中，proving 每 10 个以太坊 L1 block 中的 1 个。
目的不是展示技术可行性（那已经展示了），而是测试：
当 ZK proving 作为去中心化基础设施真正规模化时，实际上会遇到什么问题？
这是截至目前最接近 L1 zkEVM 真实整合的「彩排」。Brevis 带进去的就是 Pico Prism 2.0。
到这里，Pico Prism 2.0 本身的故事已经讲完：一个 real-time Ethereum proving 的性能里程碑，在内部 benchmark 中达到 EF 设定的目标，在真实环境测试中还需要继续验证安全性和稳定性。
但它真正值得放大讨论的地方，不只是 Brevis 又快了多少秒。当「以太坊区块可以被近乎即时地证明」逐渐成为现实，整个生态的信任模型会被怎样重写？下面两个延伸，不是 Pico Prism 2.0 的直接效果，而是这个技术路线成熟后可能触发的连锁变化——能否成立，仍取决于安全性、成本、开发者采用和标准化进展。
延伸一：如果 L1 zkEVM 真的成了，L2 要怎么重新定位？
先感受一下现在的 L2 生态：活跃 L2 已超过百条，但流动性高度集中——头部两条链（Arbitrum 和 Base）占据了绝大多数的 TVL 和 DeFi 流动性，其余数十条链在争抢剩余份额。
再看另一面：以太坊的交易量在 L2 驱动下持续增长，但 L1 的费用收入却在下滑。大部分价值被 L2 截留，没有流回 L1。Dencun 升级（EIP-4844）之后，L2 向 L1 缴纳的租金在一年内暴跌超过 90%。
↑ L2 每月缴纳给以太坊 L1 的「租金」总额（主要链合计）。2024 年初 Dencun 升级前峰值约 $15M/月，升级后断崖式下跌，现在跌至全网合计仅约 $28k/月。来源：growthepie.com
这就是 L2 制造的悖论：交易量创历史新高，但以太坊 L1 的收入在暴跌。大部分价值被 L2 截留了，没有流回 L1。
背后的原因是 2024 年的 EIP-4844（Dencun 升级）——它把 L2 向 L1 交数据的成本降低了 10 到 100 倍，设计上就是为了让 L2 更便宜。结果确实做到了，但也意味着以太坊主网靠 L2 赚钱这条路，越来越走不通。
↑ 主要 L2 链上手续费收入月度走势。Base 从 2024 年峰值约 $20M/月跌至现在 $1.9M/月（约 -90%）；Arbitrum One 从峰值约 $11.51M/月跌至 $364k/月；OP Mainnet 月收入已快不足 $25k。来源：growthepie.com
Vitalik 近期对 L2 路线提出了更严格的反思：当 L1 本身在快速扩容，L1 zkEVM 在路上，L2 最初赖以存在的理由——「L1 太贵、太慢」——正在消解；而大多数 L2 承诺的去中心化，推进速度远低于预期。
两件事同时发生：
- L2 去中心化的进度，远远慢于预期——大多数 L2 离 Stage 2 还很远，安全性上仍然高度依赖多签和中心化假设
- L1 本身在快速变好——费用大幅降低，gas limit 还在扩张，L1 zkEVM 在路上
这两件事叠在一起的意思是：L2 最初存在的理由（L1 贵、L1 慢）正在消失，而 L2 承诺的去中心化又没兑现。
那 L2 靠什么活？
Vitalik 没有说 L2 该消失，而是给了几个方向——L2 必须找到自己真正差异化的事：
- 专用虚拟机（Specialized VM）：不想用 EVM 的应用，可以在 L2 上跑自己的执行环境
- 极端吞吐量：真正需要百万 TPS 的场景，L1 给不了
- 低延迟排序：高频交易、链上游戏需要毫秒级确认
- 机构合规链：在 ETH 安全性之上搭 KYC/AML 专属链
- 非金融用例：社交、身份、AI 交互这类对 L1 安全性要求没那么高的场景
他还提出了 Native Rollup 的概念——L2 直接使用 L1 内置的 ZK-EVM 证明器，安全性和 L1 深度绑定，不需要独立维护一套安全假设。
一句话说清楚这个转变：
以前 L2 是「因为 L1 不够好而存在的补丁」。以后如果 L1 本身够好了，L2 就必须变成「因为我能做 L1 做不到的事而存在」。
目前 73 条 L2 里，真正想清楚这件事的，恐怕没几条。
延伸二：可验证计算，不只服务以太坊，也可能成为 AI × Web3 的新地基
ZK proof 能做的事，比「证明一个以太坊区块」要大得多。
它的本质是：把「这段计算确实被正确执行了」这件事，压缩成一个任何人都能快速验证的数学对象。
这个能力，在 AI 大规模进入链上的背景下，变得非常关键。
问题是：你怎么信任一个 AI agent 的输出？
现在如果一个 AI agent 帮你做了一个 DeFi 决策、执行了一笔交易、或者回答了一个影响你资产的问题——你怎么确认它确实按规则跑了，而不是给了你一个有问题的结果？
你不能。你在信任那个 agent 的运营方。
ZKML（Zero-Knowledge Machine Learning）想解决的就是这件事：
「AI 在链下跑推理，同时生成一个 ZK proof，证明『这个输出确实来自这个模型、这个输入』——而且不需要暴露模型权重或原始数据。」
智能合约只需要验证这个 proof，就能确认 AI 的行为是可信的，不需要重新跑一遍整个模型。
这意味着什么？
- AI agent 的决策可以被链上验证：lending 决策、保险风控、交易策略——都可以附带「我确实用这个模型算的」的证明
- Oracle 数据带可验证来源：不只告诉你价格，还能证明这个价格是用什么数据、什么方法算出来的
- Off-chain 计算 + on-chain 验证：把昂贵的 AI 计算放在链下做，把 proof 放上链验证，大幅降低成本
- AI 模型的知识产权可以被保护：你可以证明「我用了这个模型」，同时不暴露模型权重
目前这个领域还在早期，但进展很快。2025 年已经有项目实现了中型模型的推理证明在几秒内完成，2026 年预计对 1 亿参数以下的模型实现实用级别的 ZK 推理证明。
和 Pico Prism 的连接在哪里？
Pico Prism 证明的是「以太坊区块的执行是正确的」。ZKML 证明的是「AI 模型的推理是正确的」。
两者的底层逻辑是一样的：把可信计算从「信任某个实体」变成「验证一个数学对象」。
当 Ethereum L1 本身可以实时出 ZK proof，当 AI 推理也可以附带 ZK proof——那链上和链下的边界就开始模糊了。AI 可以依赖可验证的链上状态，链上合约可以信任可验证的 AI 输出。这是一个比现在的 DeFi 或 AI agent 都大一个量级的可能性。
有跟没有，差在这里
以前（ZK proving 出现之前，或者还太慢的时候）：
- 你的钱包查余额 → 信任 Infura 告诉你的数字
- 跨链桥 → 信任 validator 说「以太坊上发生了这件事」
- 轻节点 → 本质上在信任完整节点
- ZK Rollup proof → 可能要几十分钟才上 L1
如果 real-time proving 的安全性与去中心化问题也得到解决：
- 你的钱包查余额 → 有机会通过 proof 更直接地验证链上状态，减少对 RPC 的依赖
- 跨链桥 → 某些架构可以从信任 validator committee 转向验证来源链的 ZK proof
- 轻节点 → 下载 proof，几毫秒验证，独立性更高
- ZK Rollup proof → 接近即时出 proof，提款等待大幅缩短
这不是小修小补。这是安全模型的根本转变：从「我信任某人」到「我验证数学」。
这跟我有什么关系？什么时候才会感受到？
短期（现在）：几乎感觉不到。这是基础设施层。
中期（1-3 年）：
- 跨链桥更安全，大额资产被盗的事件有机会减少
- ZK Rollup 的提款时间缩短（因为 prover 更快）
- 可能开始出现「不依赖 RPC」的钱包或验证工具
长期（3 年以上）：
- 以太坊 L1 本身附带 ZK proof——每个 block 出来就是可验证的
- 手机钱包有机会更 trustless 地验证链上状态，减少对 Infura 这类 RPC 的依赖
- 跨链互操作性变成「验证数学」而不是「相信某人」
最后说一件事
Pico Prism 2.0 不是一个让你今天马上感受到的产品发布。
它是一个工程里程碑，意思是：
「让以太坊每个 block 近乎即时地拥有数学可验证的执行证明」——这件事的速度问题，已经开始接近被解决。
接下来是安全问题和去中心化问题。
类似 RPC 单点失效、跨链桥高度依赖 validator committee 这类问题，未来有机会被放进更可验证、也更少依赖单点信任的架构里。
信任的层次在改变。从「你相信某人」到「你验证数学」。
这是以太坊作为可信任中立基础层的长期赌注，Pico Prism 2.0 是这条路上目前最清晰的一个里程碑。
