是否有任何 L2 团队将 FOCIL 视为实现 L1->L2 强制交易的一种方式?IMO 这里有一个很大的机会来简化设计并删除大量自定义逻辑