Saya pikir upaya zkEVM pada L1 sangat masuk akal. Bahkan memiliki beberapa zkEVM masuk akal, untuk redundansi. Apa yang tidak masuk akal bagi saya adalah menambahkan verifikasi formal sebagai persyaratan untuk peluncuran L1 zkEVM. Tidak jelas itu tambahan dari segi keamanan, dan pasti menghabiskan waktu yang besar.