- You send a transaction to operator
- Operator doesn't give you the merkle-proof
- You try to exit with your previous transaction
- Operator challenges you
- Now you have the data needed to exit with your latest transaction
You will lose an exit bond here. Is this acceptable?
For the 5th step, we should have some facility in our contract (A view function maybe) to provide the information of the latest challenge of some coin.