@SuccinctLabs 和 @RiscZero 在實時驗證方面取得的進展令人印象深刻。 QT-ing 不是為了批評，而是因為我認為這些問題真的很有趣（我希望看到 RTP 衝擊乙太坊！ 1. 在 12 秒內證明所有歷史乙太坊區塊不足以涵蓋最壞情況的證明時間。 這很重要，因為可能存在病態的（“證明者殺手”）塊，其中證明成本>> gas 成本（證明成本是衡量延遲或 $ 的指標）。 第一步是在12秒內證明所有歷史區塊。但這還不夠。我們需要努力識別尚未在乙太坊上出現的病態病例。不確定SP1的成本計劃是什麼，但從延遲角度來看，像一整個塊的extcodehash可能會很昂貴。 2. 形式化驗證也需要覆蓋編譯器 😱 @argumentxyz有一篇關於發現編譯器錯誤的頻率的好文章 （ tl;DR：有一類特定的 「錯誤優化錯誤」 可能在 zkVMs 中被利用，從而造成健全性問題。這些bug的發現相當頻繁。 @drakefjustin 認為我們可以通過許多 zkVM 實現來解決這個問題。但是，如果這些 zkVM 共用相同的編譯器工具鏈並且容易受到相同錯誤的影響，那麼這就不起作用。 3. 不需要在家證明 我認為我同意在家證明是不必要的。我們已經依賴像 builder 這樣的協定外參與者來構建區塊。我們想要的保證是 *某人* 總是可以生成證明。 將所有證明者都離線的 WW3 場景推遲 RTP 似乎有點矯枉過正。也許在這種情況下，乙太坊可以預設回到 gas 限制降低並且區塊重新執行而不是使用 ZKP 驗證的模式。 4. 100 倍的 Gas 限制可能會產生問題 並行證明肯定有説明，但時間太緊了，我們需要考慮見證生成（在許多 zkVM 中不可並行化）和遞歸。 遞歸開銷應按對數縮放，但如果 gas 限制增加 100 倍，則證明時間可能會超過區塊時間。 獎勵 - 我認為乙太坊減少區塊時間和最終確定時間非常重要，以幫助使用者加入 L2、從 CEX 橋接等。這增加了對證明的延遲要求。 如果我們無法移動到 1 秒的區塊時間，那將是次優的，因為最壞情況下的 RTP 延遲的下限是 10 秒。