9月6日，Vitalik Buterin在新加坡的活动中，回答ABCDE Capital联合创始人BMAN关于ZK安全性验证问题时表示，ZK系统的安全性验证，短期来看，需要依赖至少两个验证系统，当两个验证系统出现不同意见时，可以通过加入治理机制来决定哪一个是正确的。而中期看，可以引入多验证系统，例如Optimism，长期来看，未来则可以尝试将形式化验证引入协议中。