Brevis这个项目真的是Build了很久，从一开始到现在技术和方向一直在迭代。 一年前，以太坊基金会开始路线图逐渐回到L1 扩容，但是当前要验证区块交易需要每个全节点都要把所有交易重新跑一遍，这是 gas limit 卡死、节点门槛越来越高的根本原因。 EF 给的目标是很明确，就是99% 区块 10 秒内出证明、硬件压到 10 万美元以内。 Vitalik 说过 L1 gas limit 可以因此扩 10 倍甚至 100 倍，同时让一台树莓派都能跑全节点。 所以路径只能是ZK证明，如果换成 ZK 证明，节点只需要验证一个几百 KB 的proof，验证时间几毫秒。 今天 Brevis 的 Pico Prism 2.0 在技术上完成了突破： - 60M gas 真实主网区块、1000 个连续测试 - 平均 6.1 秒、99.9% 在 12 秒槽内完成 - 2 台机器、16 张 RTX 5090（消费级的商用）GPU、总成本 ~$100K； - Pico zkVM 的执行环境已迁移至 RISC-V 64IM，取代此前的 32 位 ISA。 这是 Pico 2.0 能够处理复杂程序且缩短执行轨迹的底层原因，也是目前正在进行形式化验证的核心。 这个数据意味着什么？ 意味着"让以太坊每个 L1 区块都被 ZK 实时证明"，这件路线图里最关键也最难的一段，第一次有了可落地的工程答案。 ZK 进入协议核心、L1 扩容 10 倍但不牺牲去中心化，从研究问题变成了工程问题。EF 2026 焦点已经切到安全性（128-bit provable security），5 月 cohort 启动，Brevis 带 Pico Prism 2.0 来临。