有没有哪个L2团队考虑过将FOCIL作为实现L1->L2强制交易的方式？在我看来，这里有一个很大的机会，可以简化设计并去除大量自定义逻辑。