有沒有哪個L2團隊考慮過將FOCIL作為實現L1->L2強制交易的方式？在我看來，這裡有一個很大的機會，可以簡化設計並去除大量自定義邏輯。