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

问答回复全部文字如下：

BMAN：我想问一些关于ZK电路安全性的问题，因为我们可以看到有很多项目正在新的更复杂的ZK算法以及大量的项如zkSync, Scroll, Polygon and Taiko要主网上线，但我们发现很难进行审计，有可能产生大量的安全问题。我曾经看过你写过关于ZK电路安全性的Twitter。你如何看待即将上线的几个大项目的zk安全性问题？

Vitalik Buterin：我认为你提到了一个重要的问题。在短期内，我们需要的是我所称之为多方的东西。基本上，不是依赖于一个系统，而是依赖于至少两个验证系统，如果需要的话，还可以有一个治理机制。基本上，如果两个验证系统有不同意见，那么治理机构可以决定哪一个是正确的。

Vitalik Buterin：如果你这样做，那么基本上可以更安全地抵御一个系统出现问题的可能性，因为两个系统都出现问题，导致它们不一致，或者以完全相同的方式给出错误答案的可能性非常小，对吧？所以我认为这是短期内最好的解决方案，我知道一些团队已经在朝这个方向努力。比如，我知道Optimism已经有了一个多验证系统和路线图。我相信他们至少告诉我他们下一个版本将朝这个方向发展，所以这是短期和中期的解决方案。在更长远的未来，我认为还有一种选择，就是尝试将形式化验证引入协议中。这显然是一个更具挑战性的任务。

但是，如果我们这样做，那将减少人们需要自己编写的代码行数，并且将更多的东西置于协议之下。因此，我认为从长远来看，这将进一步改善事物，但我们显然还没有完全到达那个阶段。