1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
|
Return-Path: <runchao.han@monash.edu>
Received: from smtp1.linuxfoundation.org (smtp1.linux-foundation.org
[172.17.192.35])
by mail.linuxfoundation.org (Postfix) with ESMTPS id 3D710D95
for <bitcoin-dev@lists.linuxfoundation.org>;
Sat, 10 Aug 2019 13:01:55 +0000 (UTC)
X-Greylist: whitelisted by SQLgrey-1.7.6
Received: from mail-ot1-f66.google.com (mail-ot1-f66.google.com
[209.85.210.66])
by smtp1.linuxfoundation.org (Postfix) with ESMTPS id 8CA8E82D
for <bitcoin-dev@lists.linuxfoundation.org>;
Sat, 10 Aug 2019 13:01:53 +0000 (UTC)
Received: by mail-ot1-f66.google.com with SMTP id j19so66542209otq.2
for <bitcoin-dev@lists.linuxfoundation.org>;
Sat, 10 Aug 2019 06:01:53 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=monash.edu; s=google;
h=mime-version:references:in-reply-to:from:date:message-id:subject:to
:cc; bh=SM/S4QM457OyBHLKFgA3bDhdqYEbW5I2JA32trsiFQ4=;
b=fxA+4roxE4PnsOK3XsrUGru9NAIeNNIW/JV2iaqLfmQBP/bEwTgnbv/A4PwAbb/Ilq
fcROfoRmH1pGj4ptiHZgmPDz+q2drVNfNJDtfGzsYT/HMNyrtR72TJZtdY4j+gAE5v4m
AVA9VflYRTuKg6rXBGuY+D1vnLfBkQ7HjD4VIKmoE4oBUmwwYu9TCxn1xGMc7cp/CKpI
PrmhweyOOKlnx1fdmEKWOxG+cNQ0cnlxdFBSvs6i8dx08sj2R/g+YyoEXcPfjZGf9c1+
tVMVi5I4raz+E2ign8b/nguIdZ2XusH3ZaFAb4vEJ5nBi1axcvA0+e/z3dokD4IChpoZ
zf4A==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=1e100.net; s=20161025;
h=x-gm-message-state:mime-version:references:in-reply-to:from:date
:message-id:subject:to:cc;
bh=SM/S4QM457OyBHLKFgA3bDhdqYEbW5I2JA32trsiFQ4=;
b=WiisXwY4/2IXE0yApQrD3riG2uL+Md93xXXMkbZcqxSCcHWI0gSwhDCgZHVzHrDaka
E0sOn8EoiPDD1OqaT65X9hpCP7OcXUEY1jCak0mPSsbSKAuU3XWDBHAXy6LQwogbL0+v
I+EoYbrGjbpL0QvONlytm9Qc7PngefKv314PiC/2N55gLcT38riXblRj8v7KW+ktISYQ
AuF17OGC8HAccC7KZBO7ys0TkNmwGVuxq+up83J8mtdJ/iDCg9VKt1NVkwcqT7pCH+ez
7TL9lJw2ow0T4CQ8skm0+Pn5VTyUYDyMSgdGXu75XISCj336uIXKfwHI/M0hqLPJptAc
v82A==
X-Gm-Message-State: APjAAAW8mZwMYO94ikn+h4vKV8Zs1LmNJO0JHWvpeXvwq8RDeCSuj06M
WKa0DVAfzcKKCxIywBJdTjd3/+uXSWlYFS7CWsW+eccx
X-Google-Smtp-Source: APXvYqzOt7qtDo46ih23COc7EuAto/XGvDx0vKWR0HQCrlTPEpCU/L1niQZOTDj43cWh+pprKD8BLM5zELDMXr6ZSIs=
X-Received: by 2002:a6b:3883:: with SMTP id
f125mr12167688ioa.109.1565442112416;
Sat, 10 Aug 2019 06:01:52 -0700 (PDT)
MIME-Version: 1.0
References: <CAEtgg6GOdceubg+b=-MvH66CKGBy-67mbQR01JpG3L1YJ1jaVw@mail.gmail.com>
<qBFyALsLsiKkSXsssc3T7dvwrXtzBXmAAmTFWAt04AkrFwbWnoCdGIjoyqMZGnJa5Y4CX5mi0-1uWtuzPT5Swr3txw6NthtkOUdzCOlyfXo=@protonmail.com>
<ADA03200-1EED-4EAD-B320-3F2034F00954@monash.edu>
<aJ7usJIj2_reg-36SKEUDRApK8AhsIm2esl-I1CJSxs8cZACAmuR0X1bBNDK_zlDOUlzUWD2n2pCnbYx20Jg8kvAyryKZ9mqe0OH2J0QivY=@protonmail.com>
In-Reply-To: <aJ7usJIj2_reg-36SKEUDRApK8AhsIm2esl-I1CJSxs8cZACAmuR0X1bBNDK_zlDOUlzUWD2n2pCnbYx20Jg8kvAyryKZ9mqe0OH2J0QivY=@protonmail.com>
From: Runchao Han <runchao.han@monash.edu>
Date: Sat, 10 Aug 2019 23:01:41 +1000
Message-ID: <CABnocSBSKsmWeRCOZE6DHwPXc2rucQGkHvjd+wJ+9JAJOT5=QQ@mail.gmail.com>
To: Bitcoin Protocol Discussion <bitcoin-dev@lists.linuxfoundation.org>,
ZmnSCPxj <ZmnSCPxj@protonmail.com>
Content-Type: multipart/alternative; boundary="00000000000007546b058fc2e52d"
X-Spam-Status: No, score=-2.0 required=5.0 tests=BAYES_00,DKIM_SIGNED,
DKIM_VALID, DKIM_VALID_AU, HTML_MESSAGE,
RCVD_IN_DNSWL_NONE autolearn=ham version=3.3.1
X-Spam-Checker-Version: SpamAssassin 3.3.1 (2010-03-16) on
smtp1.linux-foundation.org
X-Mailman-Approved-At: Sat, 10 Aug 2019 13:03:32 +0000
Cc: "jiangshan.yu@monash.edu" <jiangshan.yu@monash.edu>
Subject: Re: [bitcoin-dev] OP_LOOKUP_OUTPUT proposal
X-BeenThere: bitcoin-dev@lists.linuxfoundation.org
X-Mailman-Version: 2.1.12
Precedence: list
List-Id: Bitcoin Protocol Discussion <bitcoin-dev.lists.linuxfoundation.org>
List-Unsubscribe: <https://lists.linuxfoundation.org/mailman/options/bitcoin-dev>,
<mailto:bitcoin-dev-request@lists.linuxfoundation.org?subject=unsubscribe>
List-Archive: <http://lists.linuxfoundation.org/pipermail/bitcoin-dev/>
List-Post: <mailto:bitcoin-dev@lists.linuxfoundation.org>
List-Help: <mailto:bitcoin-dev-request@lists.linuxfoundation.org?subject=help>
List-Subscribe: <https://lists.linuxfoundation.org/mailman/listinfo/bitcoin-dev>,
<mailto:bitcoin-dev-request@lists.linuxfoundation.org?subject=subscribe>
X-List-Received-Date: Sat, 10 Aug 2019 13:01:55 -0000
--00000000000007546b058fc2e52d
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
If I remember it right, Alice first signs the WJT transaction, sends it to
Bob, then Bob signs it and makes this transaction valid.
If so, there are two problems.
First, Bob gets the valid tx first, and he can choose not to send it to
Alice.
Second, even if Bob honestly sends Alice this tx, Alice cannot fully
control when to broadcast this to, as Bob also has this transaction.
If Bob first signs then Alice signs, Alice still has optionality, as she
can choose whether to publish this tx and preimage.
Runchao
On Sat, Aug 10, 2019 at 10:50 PM ZmnSCPxj <ZmnSCPxj@protonmail.com> wrote:
> Good morning Runchao,
>
>
>
>
> Sent with ProtonMail Secure Email.
>
> =E2=80=90=E2=80=90=E2=80=90=E2=80=90=E2=80=90=E2=80=90=E2=80=90 Original =
Message =E2=80=90=E2=80=90=E2=80=90=E2=80=90=E2=80=90=E2=80=90=E2=80=90
> On Saturday, August 10, 2019 1:44 PM, Runchao Han <runchao.han@monash.edu=
>
> wrote:
>
> > Hi ZmnSCPxj,
> >
> > Thanks for your reply.
> >
> > I agree with your opinions about OP_LOOKUP_OUTPUT.
> > Indeed, the pruning mechanism renders this opcode unrealistic for some
> nodes. Also, the execution of OP_LOOKUP_OUTPUT depends on the time of
> verifying this tx.
> >
> > However, I=E2=80=99m concerning of some security issues of your mention=
ed
> protocol (Alice pays the premium contingently on Bob participating).
> > If I understand it right, Alice and Bob should create a payment channel=
,
> and mutually construct the funding transaction that =E2=80=9CAlice pays B=
ob 10,000
> WJT; Bob hash-timelocked pays Alice 1,000,000WJT=E2=80=9D, where the time=
lock is
> T+24.
> > Here, Bob is responsible for broadcasting this tx after confirming
> Alice=E2=80=99s funding transaction on BTC blockchain.
>
> No, Bob is not.
>
> The signature exchange for the WJT-side funding tx is done by:
>
> 1. Alice waits for Bob to provide all its signatures for inputs that will
> fund the 1,000,000 WJT payout.
> 2. Alice signs its inputs that will fund the 10,000 WJT premium.
> 3. Alice broadacasts the completely signed funding tx.
>
> Alice is the one responsible for broadcasting the funding tx.
>
> If Bob stalls, it is not a Bob side option (i.e. Bob cannot stall then
> continue the protocol when the exchange rate moves to its favor) as Alice
> can refuse to sign and broadcast the funding tx once it has decided Bob i=
s
> trolling it, thus Bob cannot force Alice to perform.
>
> If Alice stalls, Bob can double-spend one of its inputs at a low feerate.
> This either aborts the protocol, or if Alice then broadcasts the funding
> tx at the pre-agreed feerate and it is confirmed, the premium is now
> already paid to Bob.
>
> Regards,
> ZmnSCPxj
>
> > In this case, Bob can arbitrage by broadcasting this tx after T+24. In
> this way, Bob receives the 10,000WJT, but Alice cannot redeem 1,000,000WJ=
T
> anymore.
> > If the premium (10,000WJT) is also hash-timelocked, Alice can keep
> unraveling the preimage, which makes the atomic swap still premium-free.
> >
> > In the original atomic swap, Bob is incentivised to broadcast his
> funding transaction, otherwise he may miss the opportunity to redeem
> Alice=E2=80=99s asset.
> > Also, Alice will lose nothing regardless of how Bob behaves, because
> Alice locks all her money by hashlock.
> > However, Alice cannot lock the premium using hashlock. This gives Bob
> opportunity to arbitrage Alice=E2=80=99s premium.
> >
> > What is implied here is that, where the premium should go strictly
> depends on where Bob=E2=80=99s asset goes.
> > If the Bitcoin=E2=80=99s timelock can be =E2=80=9Crelative=E2=80=9D (e.=
g. the timestamp can be
> x+24 where x is the timestamp of the block with this transaction), I thin=
k
> this protocol works.
> > Unfortunately, the =E2=80=9Cx=E2=80=9D here is also an external state a=
ccording to your
> definition.
> >
> > In conclusion, I believe your comments on OP_LOOKUP_OUTPUT reasonable,
> but cannot make sure if the premium mechanism can be implemented by using
> HTLCs.
> >
> > Thanks,
> > Runchao
> >
> > > On 10 Aug 2019, at 12:29 am, ZmnSCPxj ZmnSCPxj@protonmail.com wrote:
> > > Good morning Haoyu LIN et al.,
> > >
> > > > We have investigated this problem in very detail. We analysed how
> profitable the arbitrage can be given the default timelock setting (24/48
> hrs). Our result shows that the profit can be approximately 1% ~ 2.3%,
> which is non-negligible compared with 0.3% for stock market. This can be
> attractive as it's totally risk-free. Please refer to our paper
> https://eprint.iacr.org/2019/896, and the related code
> https://github.com/HAOYUatHZ/fair-atomic-swap if interested.
> > > > Several studies have proposed for solving this problem e.g.,
> http://diyhpl.us/wiki/transcripts/scalingbitcoin/tokyo-2018/atomic-swaps/
> and https://coblox.tech/docs/financial_crypto19.pdf. Their basic idea is
> that, the transaction for the premium needs to be locked with the same
> secret hash but with a flipped payout, i.e. when redeemed with the secret=
,
> the money goes back to Alice and after timelock, the premium goes to Bob =
as
> a compensation for Alice not revealing the secret. However, this introduc=
es
> a new problem: Bob can get the premium without paying anything, by never
> participating in.
> > > > To solve this, the transaction verifier needs to know the status of
> an dependent transaction. Unfortunately, Bitcoin does not support the
> stateful transaction functionalities. Therefore, we propose the new opcod=
e:
> OP_LOOKUP_OUTPUT. It takes the id of an output, and produces the address =
of
> the output=E2=80=99s owner. With OP_LOOKUP_OUTPUT, the Bitcoin script can=
decide
> whether Alice or Bob should take the premium by `<output> OP_LOOKUP_OUTPU=
T
> <pubkeyhash> OP_EQUALVERIFY`.
> > >
> > > I believe an unsaid principle of SCRIPT opcode design is this:
> > >
> > > - No SCRIPT opcode can look at anything that is not in the
> transaction spending from the SCRIPT.
> > >
> > > This issue underlies the previous `OP_PUBREF` proposal also.
> > > The reason for this is:
> > >
> > > - We support a pruning mode, where in only the UTXO set is retained=
.
> > > If `OP_LOOKUP_OUTPUT` exists, we cannot prune, as
> `OP_LOOKUP_OUTPUT` might refer to a TXO that has been spent in very early
> historical blocks.
> > >
> > > - The SCRIPT interpreter is run only once, at the time the
> transaction enters the mempool.
> > > Thus it cannot get information about the block it is in.
> > > Instead, the SCRIPT interpreter can have as input only the
> transaction that is attempting to spend the SCRIPT.
> > >
> > >
> > > In any case:
> > >
> > > > However, this introduces a new problem: Bob can get the premium
> without paying anything, by never participating in.
> > >
> > > Premium payment can be made contingent on Bob participating.
> > > Of course, it does mean the premium is paid using the destination coi=
n.
> > > It also requires the destination coin to support SegWit.
> > > Let me explain by this:
> > >
> > > 1. Alice and Bob agree on swap parameters:
> > >
> > > - Alice will exchange 1 BTC for 1,000,000 WJT from Bob.
> > > - Alice will pay 10,000 WJT as premium to Bob.
> > > - Alice will lock BTC for 48 hours.
> > > - Bob will lock WJT for 24 hours.
> > > - The protocol will start at particular time T.
> > >
> > > 2. Alice generates a preimage+hash.
> > > 3. Alice pays 1 BTC to a HTLC with hashlock going to Bob and
> timelocked at T+48 going to Alice.
> > > 4. Alice presents above UTXO to Bob.
> > > 5. Alice reveals the WJT UTXOs to be spent to pay for the 10,000 WJT
> premium to Bob.
> > > 6. Alice and Bob generate, but do not sign, a funding transaction
> spending some of Bob coin as well as the premium coin from Alice.
> > > This pays out to 1,010,000 WJT (the value plus the premium) HTLC.
> > > The hashlock branch requires not just Alice, but also Bob.
> > > The timelock branch at T+24 just requires Bob.
> > >
> > > 7. Alice and Bob generate the claim transaction.
> > > This spends the funding transaction HTLC output and pays out
> 1,000,000 WJT to Alice and 10,000 WJT to Bob.
> > >
> > > 8. Alice and Bob sign the claim transaction.
> > > This does not allow Bob to make the claim transaction valid by
> itself as it still requires the preimage, and at this point, only Alice
> knows the preimage.
> > >
> > > 9. Alice and Bob sign the funding transaction and broadcast it.
> > > 10. Alice completes the claim transaction by adding the preimage and
> broadcasts it.
> > > 11. Bob sees the preimage on the WJT blockchain and claims the BTC
> using the preimage.
> > >
> > > If Bob stalls at step 8, then there is no way to claim the premium, a=
s
> the funding transaction (which is the source of the claim transaction tha=
t
> pays the premium) is not valid yet.
> > > After step 9, Bob has been forced to participate and cannot back out
> and claim the premium only.
> > > This is basically this proposal:
> https://lists.linuxfoundation.org/pipermail/lightning-dev/2019-January/00=
1798.html
> > > In addition, if you really want the premium to be denominated in BTC,
> I have a more complicated ritual:
> https://lists.linuxfoundation.org/pipermail/lightning-dev/2019-January/00=
1795.html
> > > The described ritual only sets up the American Call Option, but by th=
e
> time it has been set up, the premium has been paid already and the rest o=
f
> the execution is claiming the American Call Option.
> > > Thus, I believe there is no need to add `OP_LOOKUP_OUTPUT`.
> > > Regards,
> > > ZmnSCPxj
>
>
>
--00000000000007546b058fc2e52d
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
<div><div dir=3D"auto">If I remember it right, Alice first signs the WJT tr=
ansaction, sends it to Bob, then Bob signs it and makes this transaction va=
lid.</div></div><div dir=3D"auto"><br></div><div dir=3D"auto">If so, there =
are two problems.</div><div dir=3D"auto">First, Bob gets the valid tx first=
, and he can choose not to send it to Alice.</div><div dir=3D"auto">Second,=
even if Bob honestly sends Alice this tx, Alice cannot fully control when =
to broadcast this to, as Bob also has this transaction.</div><div dir=3D"au=
to"><br></div><div dir=3D"auto">If Bob first signs then Alice signs, Alice =
still has optionality, as she can choose whether to publish this tx and pre=
image.</div><div dir=3D"auto"><br></div><div dir=3D"auto">Runchao</div><div=
><br><div class=3D"gmail_quote"><div dir=3D"ltr" class=3D"gmail_attr">On Sa=
t, Aug 10, 2019 at 10:50 PM ZmnSCPxj <<a href=3D"mailto:ZmnSCPxj@protonm=
ail.com">ZmnSCPxj@protonmail.com</a>> wrote:<br></div><blockquote class=
=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1px #ccc solid;padd=
ing-left:1ex">Good morning Runchao,<br>
<br>
<br>
<br>
<br>
Sent with ProtonMail Secure Email.<br>
<br>
=E2=80=90=E2=80=90=E2=80=90=E2=80=90=E2=80=90=E2=80=90=E2=80=90 Original Me=
ssage =E2=80=90=E2=80=90=E2=80=90=E2=80=90=E2=80=90=E2=80=90=E2=80=90<br>
On Saturday, August 10, 2019 1:44 PM, Runchao Han <<a href=3D"mailto:run=
chao.han@monash.edu" target=3D"_blank">runchao.han@monash.edu</a>> wrote=
:<br>
<br>
> Hi ZmnSCPxj,<br>
><br>
> Thanks for your reply.<br>
><br>
> I agree with your opinions about OP_LOOKUP_OUTPUT.<br>
> Indeed, the pruning mechanism renders this opcode unrealistic for some=
nodes. Also, the execution of OP_LOOKUP_OUTPUT depends on the time of veri=
fying this tx.<br>
><br>
> However, I=E2=80=99m concerning of some security issues of your mentio=
ned protocol (Alice pays the premium contingently on Bob participating).<br=
>
> If I understand it right, Alice and Bob should create a payment channe=
l, and mutually construct the funding transaction that =E2=80=9CAlice pays =
Bob 10,000 WJT; Bob hash-timelocked pays Alice 1,000,000WJT=E2=80=9D, where=
the time lock is T+24.<br>
> Here, Bob is responsible for broadcasting this tx after confirming Ali=
ce=E2=80=99s funding transaction on BTC blockchain.<br>
<br>
No, Bob is not.<br>
<br>
The signature exchange for the WJT-side funding tx is done by:<br>
<br>
1. Alice waits for Bob to provide all its signatures for inputs that will f=
und the 1,000,000 WJT payout.<br>
2. Alice signs its inputs that will fund the 10,000 WJT premium.<br>
3. Alice broadacasts the completely signed funding tx.<br>
<br>
Alice is the one responsible for broadcasting the funding tx.<br>
<br>
If Bob stalls, it is not a Bob side option (i.e. Bob cannot stall then cont=
inue the protocol when the exchange rate moves to its favor) as Alice can r=
efuse to sign and broadcast the funding tx once it has decided Bob is troll=
ing it, thus Bob cannot force Alice to perform.<br>
<br>
If Alice stalls, Bob can double-spend one of its inputs at a low feerate.<b=
r>
This either aborts the protocol, or if Alice then broadcasts the funding tx=
at the pre-agreed feerate and it is confirmed, the premium is now already =
paid to Bob.<br>
<br>
Regards,<br>
ZmnSCPxj<br>
<br>
> In this case, Bob can arbitrage by broadcasting this tx after T+24. In=
this way, Bob receives the 10,000WJT, but Alice cannot redeem 1,000,000WJT=
anymore.<br>
> If the premium (10,000WJT) is also hash-timelocked, Alice can keep unr=
aveling the preimage, which makes the atomic swap still premium-free.<br>
><br>
> In the original atomic swap, Bob is incentivised to broadcast his fund=
ing transaction, otherwise he may miss the opportunity to redeem Alice=E2=
=80=99s asset.<br>
> Also, Alice will lose nothing regardless of how Bob behaves, because A=
lice locks all her money by hashlock.<br>
> However, Alice cannot lock the premium using hashlock. This gives Bob =
opportunity to arbitrage Alice=E2=80=99s premium.<br>
><br>
> What is implied here is that, where the premium should go strictly dep=
ends on where Bob=E2=80=99s asset goes.<br>
> If the Bitcoin=E2=80=99s timelock can be =E2=80=9Crelative=E2=80=9D (e=
.g. the timestamp can be x+24 where x is the timestamp of the block with th=
is transaction), I think this protocol works.<br>
> Unfortunately, the =E2=80=9Cx=E2=80=9D here is also an external state =
according to your definition.<br>
><br>
> In conclusion, I believe your comments on OP_LOOKUP_OUTPUT reasonable,=
but cannot make sure if the premium mechanism can be implemented by using =
HTLCs.<br>
><br>
> Thanks,<br>
> Runchao<br>
><br>
> > On 10 Aug 2019, at 12:29 am, ZmnSCPxj <a href=3D"mailto:ZmnSCPxj@=
protonmail.com" target=3D"_blank">ZmnSCPxj@protonmail.com</a> wrote:<br>
> > Good morning Haoyu LIN et al.,<br>
> ><br>
> > > We have investigated this problem in very detail. We analyse=
d how profitable the arbitrage can be given the default timelock setting (2=
4/48 hrs). Our result shows that the profit can be approximately 1% ~ 2.3%,=
which is non-negligible compared with 0.3% for stock market. This can be a=
ttractive as it's totally risk-free. Please refer to our paper <a href=
=3D"https://eprint.iacr.org/2019/896" rel=3D"noreferrer" target=3D"_blank">=
https://eprint.iacr.org/2019/896</a>, and the related code <a href=3D"https=
://github.com/HAOYUatHZ/fair-atomic-swap" rel=3D"noreferrer" target=3D"_bla=
nk">https://github.com/HAOYUatHZ/fair-atomic-swap</a> if interested.<br>
> > > Several studies have proposed for solving this problem e.g.,=
<a href=3D"http://diyhpl.us/wiki/transcripts/scalingbitcoin/tokyo-2018/ato=
mic-swaps/" rel=3D"noreferrer" target=3D"_blank">http://diyhpl.us/wiki/tran=
scripts/scalingbitcoin/tokyo-2018/atomic-swaps/</a> and <a href=3D"https://=
coblox.tech/docs/financial_crypto19.pdf" rel=3D"noreferrer" target=3D"_blan=
k">https://coblox.tech/docs/financial_crypto19.pdf</a>. Their basic idea is=
that, the transaction for the premium needs to be locked with the same sec=
ret hash but with a flipped payout, i.e. when redeemed with the secret, the=
money goes back to Alice and after timelock, the premium goes to Bob as a =
compensation for Alice not revealing the secret. However, this introduces a=
new problem: Bob can get the premium without paying anything, by never par=
ticipating in.<br>
> > > To solve this, the transaction verifier needs to know the st=
atus of an dependent transaction. Unfortunately, Bitcoin does not support t=
he stateful transaction functionalities. Therefore, we propose the new opco=
de: OP_LOOKUP_OUTPUT. It takes the id of an output, and produces the addres=
s of the output=E2=80=99s owner. With OP_LOOKUP_OUTPUT, the Bitcoin script =
can decide whether Alice or Bob should take the premium by `<output> =
OP_LOOKUP_OUTPUT <pubkeyhash> OP_EQUALVERIFY`.<br>
> ><br>
> > I believe an unsaid principle of SCRIPT opcode design is this:<br=
>
> ><br>
> > -=C2=A0 =C2=A0No SCRIPT opcode can look at anything that is not i=
n the transaction spending from the SCRIPT.<br>
> ><br>
> > This issue underlies the previous `OP_PUBREF` proposal also.<br>
> > The reason for this is:<br>
> ><br>
> > -=C2=A0 =C2=A0We support a pruning mode, where in only the UTXO s=
et is retained.<br>
> >=C2=A0 =C2=A0 =C2=A0If `OP_LOOKUP_OUTPUT` exists, we cannot prune,=
as `OP_LOOKUP_OUTPUT` might refer to a TXO that has been spent in very ear=
ly historical blocks.<br>
> ><br>
> > -=C2=A0 =C2=A0The SCRIPT interpreter is run only once, at the tim=
e the transaction enters the mempool.<br>
> >=C2=A0 =C2=A0 =C2=A0Thus it cannot get information about the block=
it is in.<br>
> >=C2=A0 =C2=A0 =C2=A0Instead, the SCRIPT interpreter can have as in=
put only the transaction that is attempting to spend the SCRIPT.<br>
> ><br>
> ><br>
> > In any case:<br>
> ><br>
> > > However, this introduces a new problem: Bob can get the prem=
ium without paying anything, by never participating in.<br>
> ><br>
> > Premium payment can be made contingent on Bob participating.<br>
> > Of course, it does mean the premium is paid using the destination=
coin.<br>
> > It also requires the destination coin to support SegWit.<br>
> > Let me explain by this:<br>
> ><br>
> > 1.=C2=A0 Alice and Bob agree on swap parameters:<br>
> ><br>
> > -=C2=A0 =C2=A0Alice will exchange 1 BTC for 1,000,000 WJT from Bo=
b.<br>
> > -=C2=A0 =C2=A0Alice will pay 10,000 WJT as premium to Bob.<br>
> > -=C2=A0 =C2=A0Alice will lock BTC for 48 hours.<br>
> > -=C2=A0 =C2=A0Bob will lock WJT for 24 hours.<br>
> > -=C2=A0 =C2=A0The protocol will start at particular time T.<br>
> ><br>
> > 2.=C2=A0 Alice generates a preimage+hash.<br>
> > 3.=C2=A0 Alice pays 1 BTC to a HTLC with hashlock going to Bob an=
d timelocked at T+48 going to Alice.<br>
> > 4.=C2=A0 Alice presents above UTXO to Bob.<br>
> > 5.=C2=A0 Alice reveals the WJT UTXOs to be spent to pay for the 1=
0,000 WJT premium to Bob.<br>
> > 6.=C2=A0 Alice and Bob generate, but do not sign, a funding trans=
action spending some of Bob coin as well as the premium coin from Alice.<br=
>
> >=C2=A0 =C2=A0 =C2=A0This pays out to 1,010,000 WJT (the value plus=
the premium) HTLC.<br>
> >=C2=A0 =C2=A0 =C2=A0The hashlock branch requires not just Alice, b=
ut also Bob.<br>
> >=C2=A0 =C2=A0 =C2=A0The timelock branch at T+24 just requires Bob.=
<br>
> ><br>
> > 7.=C2=A0 Alice and Bob generate the claim transaction.<br>
> >=C2=A0 =C2=A0 =C2=A0This spends the funding transaction HTLC outpu=
t and pays out 1,000,000 WJT to Alice and 10,000 WJT to Bob.<br>
> ><br>
> > 8.=C2=A0 Alice and Bob sign the claim transaction.<br>
> >=C2=A0 =C2=A0 =C2=A0This does not allow Bob to make the claim tran=
saction valid by itself as it still requires the preimage, and at this poin=
t, only Alice knows the preimage.<br>
> ><br>
> > 9.=C2=A0 Alice and Bob sign the funding transaction and broadcast=
it.<br>
> > 10.=C2=A0 Alice completes the claim transaction by adding the pre=
image and broadcasts it.<br>
> > 11.=C2=A0 Bob sees the preimage on the WJT blockchain and claims =
the BTC using the preimage.<br>
> ><br>
> > If Bob stalls at step 8, then there is no way to claim the premiu=
m, as the funding transaction (which is the source of the claim transaction=
that pays the premium) is not valid yet.<br>
> > After step 9, Bob has been forced to participate and cannot back =
out and claim the premium only.<br>
> > This is basically this proposal: <a href=3D"https://lists.linuxfo=
undation.org/pipermail/lightning-dev/2019-January/001798.html" rel=3D"noref=
errer" target=3D"_blank">https://lists.linuxfoundation.org/pipermail/lightn=
ing-dev/2019-January/001798.html</a><br>
> > In addition, if you really want the premium to be denominated in =
BTC, I have a more complicated ritual: <a href=3D"https://lists.linuxfounda=
tion.org/pipermail/lightning-dev/2019-January/001795.html" rel=3D"noreferre=
r" target=3D"_blank">https://lists.linuxfoundation.org/pipermail/lightning-=
dev/2019-January/001795.html</a><br>
> > The described ritual only sets up the American Call Option, but b=
y the time it has been set up, the premium has been paid already and the re=
st of the execution is claiming the American Call Option.<br>
> > Thus, I believe there is no need to add `OP_LOOKUP_OUTPUT`.<br>
> > Regards,<br>
> > ZmnSCPxj<br>
<br>
<br>
</blockquote></div></div>
--00000000000007546b058fc2e52d--
|