我开始担心 zkVM 的复杂性。 我喜欢 CairoVM 设计的一点是它相当简单。一些新想法可以让事情变得更快，但它们是非常复杂的想法的混合，难以实现。 我真心希望 @ethereum、@leanEthereum 和 @eth_proofs 重视实现的多样性，但也重视简单性。如果证明系统和虚拟机太复杂，只有一小部分人能理解，这样审计和编码就会更困难。