L1 での zkEVM の取り組みは非常に理にかなっていると思います。 冗長性のために、複数の zkEVM を持つことさえ理にかなっています。 私にとって意味をなさないのは、L1 zkEVM の展開に要件として正式な検証を追加することです。 セキュリティ面で追加的なものかどうかは明らかではなく、かなりの時間を費やします。