Vitalik Buterin: @high_byte 是的，您绝对可以制作一个不是 ZK 的简洁证明，并且协议变得稍微简单一些。 但 90% 以上的复杂性来自简洁性，而不是 ZK。简洁之后，在顶部添加 ZK 实际上变得非常容易。

原推：@high_byte Yeah you absolutely can make a succinct proof that’s not ZK, and the protocol becomes slightly simpler.

But it’s the succinctness where 90%+ of the complexity comes from, not ZK. Once you have succinctness, adding ZK on top actually becomes quite easy.
https://twitter.com/VitalikButerin/status/1586123321166680064