FF and L1 reorg

Proof of non-inclusion enables the verification in FF dispute process.

That proof can be reverted by reorg. If a tx appeared to be included, pay backed compensation isn't valid and payer is to be double rewarded.

But the group who can rewrite childchain block is only the operator's group. So when the operator is the miner, this reorg can be a matter.

And under operator=miner setting, the reorg doesn't profit operator. Because the profit is coming from his collateral. And this is the only attack vector.

If under operator≠miner reorg scenario, that miner can't update committed merkle root. This isn't an attack.

So maybe no problem?

If a tx appeared to be included, pay backed compensation isn't valid and payer is to be double rewarded.

This double reward scenario won't be happened because the attacker only is operaoter. Others can't be attacker. So the double reward is theoretically impossible.

ProductPrice + CompensationAmount - CollateralReductionAmount = ProductPrice

This isn't an attack.