Skip to main content

Leaving the Ark


Alice wants to leave the Ark and get her funds back on-chain. It requires an on-chain transaction.

Cooperative exit

Timeline of events

  1. Alice tells ASP she wants to trade VTXO for UTXO
  2. ASP (with Alice) prepares next Round transaction:
    • an additional output is added, locked by Alice
  3. 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
  4. ASP broadcasts Round transaction
  5. Alice has now a new UTXO
  6. 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

  1. Assuming a VTXO tree with radix of 2 and 8 VTXOs: binary tree
  2. Assuming VTXO 1 and 2 belong to Alice and Bob
  3. Alice reveals the VTXO tree to spend the Shared Output.
  4. Alice doesn't need to reveal the entire tree, just enough to validate it: branch of tree
  5. 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.
  6. Bob can also spend his VTXO in 24 hours, or do nothing and maintain his VTXO on the Ark.