🎥 新的炉边聊天：与 @tamirhemo，@SuccinctLabs 的密码学负责人，深入探讨 SP1。 我们深入探讨 SP1 的架构、性能突破，以及确保生产级 ZK-VM 所需的条件。 时间戳： 0:00 什么是 SP1 和 Succinct 的使命 2:31 为什么 ZK-VM 比定制 ZK 电路更通用 3:30 超立方体与 EthProofs 中的实时证明 4:30 SP1 性能提升背后的设计决策 7:36 理论与算术化的权衡 10:19 SP1 攻击面与缓解措施 14:04 交互式定理证明器与 SMT 工具（Picus） 15:36 工具集成与仍然缺失的内容 18:18 预编译：何时添加它们及其安全影响 20:24 “编译到电路”是否是 ZK-VM 的有用对偶？ 21:12 证明者保证、部署和隐私风险 24:04 增量证明：本地 + 服务器证明 26:14 证明与猜想及密码学优先级 29:23 新的密码学及 Tamir 最感兴趣的内容 32:01 基于 SP1 的应用 34:45 证明者网络与私有证明服务 36:55 99% 区块的家庭证明时间表 39:34 最难的 1%：12 秒瓶颈 42:08 对抗性区块与“证明者杀手”操作码 43:18 超越以太坊：其他 SP1 工作负载 45:16 SP1 的下一步是什么 47:15 结束语 由 @bensepanski 主持，来自 @VeridiseInc，在布宜诺斯艾利斯拍摄，2025 年 11 月 17 日 🇦🇷 视频回顾如下 🧵 1/5

Tamir 解释了为什么 Succinct 从定制的 ZK 电路转向通用的 ZK-VM，以及为什么 SP1 以预编译为中心：在重要的地方优化电路，在其他地方灵活使用程序。 目标不是证明每个周期——SP1 证明程序承诺的行为。 2/5

🚀 性能亮点 SP1 超立方体现在在 12 秒内证明 ~99.7% 的 Ethereum 区块，使用 ~16 个 GPU — 达到消费级硬件的阈值。 关键解锁：多线性多项式、更好的算术自由度，以及消除递归瓶颈。 3/5

安全是重中之重。 Tamir 讲解了如何减轻攻击面、prover-killer 操作码，以及为什么形式验证对 ZK-VM 至关重要。 @SuccinctLabs 与 @VeridiseInc 合作，使用 Picus 正式验证 SP1 电路，以在交付前消除错误。 4/5