🎥 新的圍爐對話：與 @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-VMs 至關重要。 @SuccinctLabs 與 @VeridiseInc 合作，使用 Picus 正式驗證 SP1 電路，以在發佈前消除錯誤。 4/5