htlc_dance.md

HTLC Dance

Scenario A

sequenceDiagram
Alice->>Bob: update_add_htlc(A1)
Note right of Bob: Finalized: <><br/>Staging: A1
Alice->>Bob: commitment_signed(A1)
Note right of Bob: Finalized: <><br/>Finalized: A1
Bob->>Alice: revoke_and_ack(A1)
Note right of Bob: Finalized: A1
Note left of Alice: Finalized: <><br/>Staging: A1
Bob->>Alice: commitment_signed(A1)
Note left of Alice: Finalized: <><br/>Finalized: A1
Alice->>Bob: revoke_and_ack
Note left of Alice: Finalized: A1

Loading

Scenario B

sequenceDiagram
Note left of Alice: Finalized: A1, A2
Note right of Bob: Finalized: A1, A2
Bob->>Alice: update_fulfill_htlc(A2)
Note left of Alice: Finalized: A1, A2<br/>Staging: A1
Bob->>Alice: commitment_signed(-A2)
Note left of Alice: Finalized: A1, A2<br/>Finalized: A1
Alice->>Bob: revoke_and_ack(-A2)
Note left of Alice: Finalized: A1
Note right of Bob: Finalized: A1, A2<br/>Staging: A1
Alice->>Bob: commitment_signed(-A2)
Note right of Bob: Finalized: A1, A2<br/>Finalized: A1
Bob->>Alice: revoke_and_ack
Note right of Bob: Finalized: A1

Loading

Scenario C

sequenceDiagram
Alice->>Bob: update_add_htlc(A1)
Note right of Bob: Finalized: <><br/>Staging: A1
Alice->>Bob: update_add_htlc(A2)
Note right of Bob: Finalized: <><br/>Staging: A1, A2
Bob->>Alice: update_add_htlc(B1)
Note left of Alice: Finalized: <><br/>Staging: B1
Alice->>Bob: commitment_signed(A1, A2)
Note right of Bob: Finalized: <><br/>Finalized: A1, A2
Bob->>Alice: revoke_and_ack(A1, A2)
Note right of Bob: Finalized: A1, A2
Note left of Alice: Finalized: <><br/>Staging: A1, A2, B1
Bob->>Alice: commitment_signed(A1, A2, B1)
Note left of Alice: Finalized: <><br/>Finalized: A1, A2, B1
Alice->>Bob: revoke_and_ack(B1)
Note left of Alice: Finalized: A1, A2, B1
Note right of Bob: Finalized: A1, A2<br/>Staging: B1
Alice->>Bob: commitment_signed(B1)
Note right of Bob: Finalized: A2, A2<br/>Finalized: A1, A2, B1
Bob->>Alice: revoke_and_ack
Note right of Bob: Finalized: A1, A2, B1

Loading