Ik denk dat de zkEVM-inspanning op L1 heel logisch is. Zelfs het hebben van meerdere zkEVM's is logisch, voor redundantie. Wat voor mij geen zin heeft, is het toevoegen van formele verificatie als vereiste voor de uitrol van L1 zkEVM. Het is niet duidelijk of het een toegevoegde beveiliging biedt, en het kost zeker veel tijd.