zkVMの複雑さについて心配になってきました。 私がCairoVMのデザインで好きな点の一つは、とてもシンプルだということです。新しいアイデアの中には、作業を速くするものもありますが、それらは非常に複雑なアイデアの混合で、実行が難しいものです。 正直なところ、@ethereum、@leanEthereum、@eth_proofsが実装の多様性とシンプルさを重視していることを願っています。証明システムやVMが複雑すぎると、多くの人しか理解できず、監査やコーディングが難しくなります。