深潮 TechFlow 消息，Vitalik Buterin 在接受ABCDE Capital 聯合創始人 BMAN 提出的有關 ZK 安全驗證的問題時表示，短期內，保證ZK系統的安全需要依賴至少兩個驗證系統，再加上一個治理機制。如果這些系統不一致，可以採用治理機制來確定哪個系統是正確的。

展望中期，可以引入 Optimism 等多種驗證系統。從長遠來看，我認為還可以選擇嘗試對協議進行更多驗證。