Je pense que l'effort zkEVM sur L1 a beaucoup de sens. Avoir même plusieurs zkEVM a du sens, pour la redondance. Ce qui ne me semble pas logique, c'est d'ajouter la vérification formelle comme exigence pour le déploiement du zkEVM L1. Il n'est pas clair que cela apporte une sécurité supplémentaire, et cela représente un investissement en temps considérable.