Leaving the Ark
Overview
Alice wants to leave the Ark and get her funds back on-chain. It requires an on-chain transaction.
Cooperative exit
Timeline of events
- Alice tells ASP she wants to trade VTXO for UTXO
- ASP (with Alice) prepares next Pool transaction:
- an additional output is added, locked by
Alice
- an additional output is added, locked by
- Alice creates a Forfeit transaction:
- spends from VTXO (1) with
Alice + ASP
- adds connector output from Pool transaction (2) as input
- signs it and send it to the ASP
- spends from VTXO (1) with
- ASP broadcasts Pool transaction
- Alice has now a new UTXO
- For at most 4 weeks, Alice will be able to double spend her VTXO, but if she does it, the ASP will have time (24 hours) to grab the funds from the VTXO to itself using the Forfeit transaction
Non-cooperative exit
If ASP is unresponsive, Alice can unilaterally exit revealing the branch of the Pool transaction that locks her funds.
Timeline of events
- Assuming VTXO 1 and 2 belong to Alice and Bob
- Alice reveals the VTXO tree to spend the Shared Output.
- Alice doesn't need to reveal the entire tree, just enough to validate it: