I came upon the way to flip round these steps for the ‘reverse’ case.
Within the ahead case, the Lightning bill doesn’t should be generated by the Payer, however may be by a 3rd celebration, as described within the query. Whether it is generated by the Payer, and there are solely two events concerned, then that case may be ‘turned’ round for the reverse, LN->BTC case, with very related vault utilization.
First I re-describe the ahead case, by way of two events, after which I describe the trustless answer for the reverse case. Word that I name the swapper actor Shopper (as a substitute of Payer).
Ahead case (BTC->LN):
- Actors: Shopper, who desires to swap onchain BTC to Lightning BTC, and Supplier of the swap service
Steps:
- Shopper creates a Lightning bill it needs to be paid, with desired quantity.
- Shopper initiates a request to the Supplier, with the main points of the bill (quantity, cost hash, timeouts, and so on.) and its personal pubkey.
- Supplier units up a ‘vault’ BTC tackle, managed by a script, permitting to be spent by somebody who can show that the LN bill has been paid (regular department), or by the Shopper after a while (timeout refund department). Supplier communicates the vault tackle, the script and the BTC quantity it expects to Shopper.
- Shopper verifies the script: that it has the correct quantity, and it has a timeout department with its personal pubkey.
- Shopper performs the on-chain BTC cost to the vault tackle.
- Supplier observes the cost, waits for affirmation, verifies it.
- Supplier pays the LN bill (from its LN funds).
- As soon as the bill is paid, Supplier transfers the BTC from the vault to an tackle of its personal management.
Finish end result: LN bill is paid, Shopper has much less BTC and extra LN-BTC, Supplier has much less LN-BTC however extra BTC.
Right here is the detailed description of the reverse, LN->BTC case:
Reverse case (LN->BTC):
Actors: Shopper, who desires to swap Lightning BTC to onchain BTC, and Supplier of the swap service.
Steps:
- Shopper initiates a request to the Supplier, with the specified quantity.
- Supplier creates a Lightning bill.
- Supplier units up a ‘vault’ BTC tackle, managed by a script, permitting to be spent by somebody who can show that the LN bill has been paid (regular department), or by itself after a while (timeout refund department).
- Supplier makes BTC cost to the vault tackle.
- Supplier communicates the lightning bill to Shopper (with out the cost secret, after all), the vault tackle and script.
- Shopper verifies the vault, that it has payout department secured by the cost hash of the bill.
- Shopper verifies that the vault has the correct quantity of BTC, waits for affirmation if wanted.
- Shopper pays the Lighting bill.
- Now within the possession of the cost secret, Shopper transfers the BTC from the vault to itself.
Finish end result: LN bill is paid, Shopper has much less LN-BTC and extra BTC, Supplier has much less BTC however extra LN-BTC.
Some notes:
- In each instances it’s the Supplier who units up the vault.
- I didn’t increase on the fallback case (ahead case: the consumer can get better its BTC if Supplier fails to satisfy; reverse case: Supplier can get better its BTC if Shopper fails to pay).
- The Supplier can add some additional service charge, the Shopper is conscious of the elevated quantity earlier than paying, however this must be agreed/communicated earlier than.
- Within the ahead case the Lightning bill may be created upfront by a 3rd celebration, and the Shopper can organize that bill to be paid immediately, e.g. when eager to pay for an bill of a web-based service provider (this use case variant is within the authentic query). Within the reverse case this isn’t attainable (to pay BTC on to the third celebration), because the BTC recipient should do a particular operation (transferring the BTC from the vault tackle).