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 到 8x）來找出盈虧平衡點。 僅在可行運行的情況下，圖形優先才會獲勝。

6/ 大多數 ZK 證明者都是為了產生正確的證明而建造的。 正確的證明是基準。 我們正在構建一個同時快速、可審計、可生產和可持續運行的證明。 這就是以圖為先所能實現的。 閱讀第三部分：