|
1 | | -<mxfile host="drawio-plugin" modified="2026-03-04T13:44:54.239Z" agent="Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/137.0.0.0 Safari/537.36" etag="N3SYCEXVYOUo0RP3hA44" version="22.1.22" type="embed"> |
| 1 | +<mxfile host="drawio-plugin" modified="2026-03-05T14:00:00.567Z" agent="Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/137.0.0.0 Safari/537.36" etag="HtWYuJCgjJPmr4AlW5qf" version="22.1.22" type="embed"> |
2 | 2 | <diagram name="Page-1" id="4t2JOigZqfDRrmz9JXpL"> |
3 | | - <mxGraphModel dx="1560" dy="1241" grid="1" gridSize="10" guides="1" tooltips="1" connect="1" arrows="1" fold="1" page="0" pageScale="1" pageWidth="827" pageHeight="1169" background="#FFFFFF" math="1" shadow="0"> |
| 3 | + <mxGraphModel dx="1168" dy="1236" grid="1" gridSize="10" guides="1" tooltips="1" connect="1" arrows="1" fold="1" page="0" pageScale="1" pageWidth="827" pageHeight="1169" background="#FFFFFF" math="1" shadow="0"> |
4 | 4 | <root> |
5 | 5 | <mxCell id="0" /> |
6 | 6 | <mxCell id="1" parent="0" /> |
|
27 | 27 | <mxCell id="8" value="Deposit Tx" style="swimlane;fontStyle=0;childLayout=stackLayout;horizontal=1;startSize=30;horizontalStack=0;resizeParent=1;resizeParentMax=0;resizeLast=0;collapsible=1;marginBottom=0;whiteSpace=wrap;html=1;labelBackgroundColor=none;fillColor=#d5e8d4;strokeColor=#82b366;gradientColor=#97d077;" parent="1" vertex="1"> |
28 | 28 | <mxGeometry x="250" y="180" width="220" height="280" as="geometry" /> |
29 | 29 | </mxCell> |
30 | | - <mxCell id="10" value="<b>Output</b>&nbsp;0: Seller deposit and trade amount<br>Taproot key spend: P'<br>script spend 0:<br>&lt;PubKey Alice U&gt;<br>OP_CHECKSIG_VERIFY<br>&lt;PubKey Bob V&gt;<br>OP_CHECKSIG<br><br>" style="text;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;spacingLeft=4;spacingRight=4;overflow=hidden;points=[[0,0.5],[1,0.5]];portConstraint=eastwest;rotatable=0;whiteSpace=wrap;html=1;labelBackgroundColor=none;" parent="8" vertex="1"> |
| 30 | + <mxCell id="10" value="<b>Output</b>&nbsp;0: Seller deposit and trade amount<br>Taproot key spend: P'<br>script spend 0:<br>&lt;PubKey Bob V&gt;<br>OP_CHECKSIG_VERIFY<br>&lt;PubKey Alice U&gt;<br>OP_CHECKSIG<br>" style="text;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;spacingLeft=4;spacingRight=4;overflow=hidden;points=[[0,0.5],[1,0.5]];portConstraint=eastwest;rotatable=0;whiteSpace=wrap;html=1;labelBackgroundColor=none;" parent="8" vertex="1"> |
31 | 31 | <mxGeometry y="30" width="220" height="130" as="geometry" /> |
32 | 32 | </mxCell> |
33 | 33 | <mxCell id="14" value="<b>Output</b>&nbsp;1: Buyer deposit<br>Taproot key spent: Q'<br>script spend 0:<br style="border-color: rgb(218, 220, 224);">&lt;PubKey Alice U&gt;<br style="border-color: rgb(218, 220, 224);">OP_CHECKSIG_VERIFY<br style="border-color: rgb(218, 220, 224);">&lt;PubKey Bob V&gt;<br style="border-color: rgb(218, 220, 224);">OP_CHECKSIG" style="text;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;spacingLeft=4;spacingRight=4;overflow=hidden;points=[[0,0.5],[1,0.5]];portConstraint=eastwest;rotatable=0;whiteSpace=wrap;html=1;labelBackgroundColor=none;" parent="8" vertex="1"> |
|
44 | 44 | <mxCell id="16" value="Warning Tx Alice / Bob" style="swimlane;fontStyle=0;childLayout=stackLayout;horizontal=1;startSize=30;horizontalStack=0;resizeParent=1;resizeParentMax=0;resizeLast=0;collapsible=1;marginBottom=0;whiteSpace=wrap;html=1;labelBackgroundColor=none;fillColor=#e1d5e7;strokeColor=#9673a6;" parent="1" vertex="1"> |
45 | 45 | <mxGeometry x="580" y="20" width="260" height="300" as="geometry" /> |
46 | 46 | </mxCell> |
47 | | - <mxCell id="17" value="<b style=""><font style="font-size: 14px;">Output 0</font><span style="font-size: 13px;">: </span></b>buyer deposit&nbsp;seller deposit and trade amount<br><br><b>key spend</b>: <br>Q' / P'&nbsp;(Bob / Alice can claim if key exchange already happened)<br><b style="border-color: var(--border-color);"><br>script spend 0</b>: <br>Alice / Bob can claim the hole amount after time t_1 with script:<br style="border-color: var(--border-color);">push t_1<br style="border-color: var(--border-color);">OP_CSV<br style="border-color: var(--border-color);">OP_DROP<br style="border-color: var(--border-color);">push pubkey R<br style="border-color: var(--border-color);">OP_CHECKSIG" style="text;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;spacingLeft=4;spacingRight=4;overflow=hidden;points=[[0,0.5],[1,0.5]];portConstraint=eastwest;rotatable=0;whiteSpace=wrap;html=1;labelBackgroundColor=none;opacity=0;" parent="16" vertex="1"> |
| 47 | + <mxCell id="17" value="<b style=""><font style="font-size: 14px;">Output 0</font><span style="font-size: 13px;">: </span></b>buyer deposit&nbsp;seller deposit and trade amount<br><br><b>key spend</b>: <br>Q' / P'&nbsp;(Bob / Alice can claim if key exchange already happened)<br><b style="border-color: var(--border-color);"><br>script spend 0</b>: <br>Alice / Bob can claim the hole amount after time t_1 with script:<br style="border-color: var(--border-color);">push pubkey R<br style="border-color: var(--border-color);">OP_CHECKSIGVERIFY<br>push t_1<br style="border-color: rgb(218, 220, 224);">OP_CSV" style="text;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;spacingLeft=4;spacingRight=4;overflow=hidden;points=[[0,0.5],[1,0.5]];portConstraint=eastwest;rotatable=0;whiteSpace=wrap;html=1;labelBackgroundColor=none;opacity=0;" parent="16" vertex="1"> |
48 | 48 | <mxGeometry y="30" width="260" height="230" as="geometry" /> |
49 | 49 | </mxCell> |
50 | 50 | <mxCell id="74" value="<b style=""><font style="font-size: 14px;">Output 1</font><span style="font-size: 13px;">: </span></b>anchor output 330 sats.<br><b>key spend</b>: Pubkey from Alice / Bob" style="text;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;spacingLeft=4;spacingRight=4;overflow=hidden;points=[[0,0.5],[1,0.5]];portConstraint=eastwest;rotatable=0;whiteSpace=wrap;html=1;labelBackgroundColor=none;opacity=0;" parent="16" vertex="1"> |
|
0 commit comments