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 Round 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 Round transaction (2) as input
- signs it and send it to the ASP
- spends from VTXO (1) with
- ASP broadcasts Round 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 Round transaction that locks her funds.
Timeline of events
- Assuming a VTXO tree with radix of 2 and 8 VTXOs:
- 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:
- Alice will need to wait 24 hours to be able to spend her VTXO. This gives enough time to the ASP to prevent any double spend attempts by Alice.
- Bob can also spend his VTXO in 24 hours, or do nothing and maintain his VTXO on the Ark.