Open ch1bo opened 1 week ago
To further elaborate, if we want to close/fanout but decommit was already observed then we are closing using different off-chain version and version from the snapshot. In this case we want to verify snapshot signature using $\eta\omega$ from the close redeemer but alter close datum to remove $\eta\omega$ so that fanout is correct.
In the case snapshot version is the same as the off-chain state version then we can verify snapshot signature using $\eta\omega$ from the close datum and fanout $\eta\omega$ accordingly.
What
Ensure this scenario works correctly, such that the on-chain code ensures not more than the still active UTxO is distributed on fanout:
While this could be fixed by clearing the
utxoToDecommit
+ having a new snapshot multi-signed after observing thedecrementTx
, the goal of this item is to ensure the same snapshot can be used to correctly fan out and any participant is forced to do it correctly.How
utxoToDecommit
/ only the still active utxoutxoToDecommit
Rough algorithm: