1/ 當心炒作：雖然 SNARK 和 zkVMs 顯示出巨大的前景，但它們還沒有為複雜、高風險的部署做好準備。錯誤無處不在，形式化驗證剛剛起步，證明可能比本機執行慢數十萬倍。

2/ 我剛剛發表了一篇博文，概述了 zkVM 開發的結構化路線圖。它將 「安全階段」 與 「速度階段」 分開，為我們提供了一種透明的方式來跟蹤進度。在這裡閱讀：

3/ 關於安全性，我確定了形式化驗證的三個階段： • 經過驗證的協定 • 經過驗證的驗證者 • 經過驗證的證明者 在我們進入第 2 階段之前，我們不能真正稱 zkVM 為“安全”——而且要達到這個目標可能還需要幾年時間。

4/ 在性能方面，與本機執行相比，開銷仍然超過 100,000× — 對於大多數使用案例來說，這是不可能的。我的博文提出了五個 「性能階段」 以將開銷削減幾個數量級，並最終啟用設備上證明。

5/ 至關重要的是，我們必須隔離證明系統的基本效率。目前，許多基準測試將所有內容（驗證系統、工程、硬體提升和手動調整的預編譯）捆綁到一個頂線數位中，模糊了我們的真正位置。

6/ 所以，是的，zkVMs 和 SNARK 具有巨大的潛力，但如果我們假裝它們已經準備好迎接黃金時段，我們就會與災難調情。在未來幾年，我將使用這些階段來跟蹤 zkVM 的進展，並希望其他人也能這樣做。在這裡查看我的帖子：