深潮 TechFlow 消息，Vitalik Buterin 在接受ABCDE Capital 联合创始人 BMAN 提出的有关 ZK 安全验证的问题时表示，短期内，保证ZK系统的安全需要依赖至少两个验证系统，再加上一个治理机制。如果这些系统不一致，可以采用治理机制来确定哪个系统是正确的。

展望中期，可以引入 Optimism 等多种验证系统。从长远来看，我认为还可以选择尝试对协议进行更多验证。