我開始擔心 zkVM 的複雜性。 我喜歡 CairoVM 設計的一件事是它相當簡單。一些新想法可以讓事情變得更快，但它們是非常複雜的想法的混合，難以實現。 我真心希望 @ethereum、@leanEthereum 和 @eth_proofs 重視實現的多樣性，但也重視簡單性。如果證明系統和虛擬機過於複雜，只有一小部分人能理解，這樣也更難進行審計和編碼。