est-ce qu'une équipe L2 a examiné FOCIL comme moyen d'implémenter des transactions forcées L1->L2 ? à mon avis, il y a une grande opportunité ici pour simplifier les conceptions et éliminer une grande partie de la logique personnalisée.