1/ 大多数 ZK 证明者都是为了生成正确的证明而构建的。很少有构建得快速、可审计且适合生产的。 第一部分介绍了图优先证明。第二部分展示了数字。 第三部分是将 Venus 投入生产的路线图。 欢迎来到 zkVM 三部曲的结局。🧵

2/ 第一阶段：性能。 我们从第一天起就以计算图而非HAL作为核心执行接口进行构建。 早期的cudaGraph集成已经显示出RTX 5090上有9-12%的性能提升。 目标：15%以上，接下来将证明多GPU的效果。 每一次优化都会叠加。

3/ 第二阶段：安全性 驱动性能的相同图形也可以机器检查证明协议本身。 关键见解：ZK 论证类型小且可枚举——SumCheck 仅分解为两个。 构建一个有限的可信库，机械地验证任何协议。

4/ 第三阶段：rbuilder 集成。 区块构建不能等待一个缓慢的证明者。 因此，我们正在构建一个异步管道，具有重组感知的抢占和在证明超时后优雅的回退。 目标：适合实时区块生产的 ZK 证明，而不会减慢其速度。

5/ 第四阶段：经济学。 一个 zkEVM 节点能否自给自足？ 我们正在对比硬件和运营成本与证明费用、MEV 份额和协议激励，使用三种 GPU 配置（从单个 RTX 5090 到 8 个）来寻找盈亏平衡点。 仅在可行的情况下，图形优先才会获胜。

6/ 大多数 ZK 证明者都是为了生成正确的证明。 正确的证明是基本要求。 我们正在构建一个同时快速、可审计、适合生产和可持续运行的证明。 这就是图优先所能实现的。 阅读第三部分：