Jag tror att zkEVM ansträngning på L1 är massor av mening. Även att ha flera zkEVM:er är vettigt, för redundans. Vad som inte är meningsfullt för mig är att lägga till formell verifiering som ett krav i utrullningen av L1 zkEVM. Inte klart att det är additivt säkerhetsmässigt, och def stora tidsutgifter.