Jeg synes zkEVM-innsatsen på L1 gir massevis av mening. Selv å ha flere zkEVM-er er fornuftig for redundans. Det som ikke gir mening for meg er å legge til formell verifisering som et krav til utrullingen av L1 zkEVM. Ikke klart at det er additiv sikkerhetsmessig, og definitivt mye tidsbruk.