Myslím, že snaha zkEVM na L1 dává velký smysl. Dokonce i mít více zkEVM dává smysl, kvůli redundanci. Co mi nedává smysl, je přidání formálního ověření jako požadavku pro zavedení L1 zkEVM. Není jasné, že je to aditivní z hlediska bezpečnosti a def velké časové výdaje.