Penso che lo sforzo zkEVM su L1 abbia molto senso. Avere anche più zkEVM ha senso, per ridondanza. Ciò che non ha senso per me è aggiungere la verifica formale come requisito per il lancio di L1 zkEVM. Non è chiaro se sia una sicurezza aggiuntiva, e sicuramente è un grande dispendio di tempo.