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
|
Return-Path: <truthcoin@gmail.com>
Received: from smtp2.osuosl.org (smtp2.osuosl.org [IPv6:2605:bc80:3010::133])
by lists.linuxfoundation.org (Postfix) with ESMTP id 1F301C0011
for <bitcoin-dev@lists.linuxfoundation.org>;
Wed, 23 Feb 2022 18:15:00 +0000 (UTC)
Received: from localhost (localhost [127.0.0.1])
by smtp2.osuosl.org (Postfix) with ESMTP id 0CBEF404FD
for <bitcoin-dev@lists.linuxfoundation.org>;
Wed, 23 Feb 2022 18:15:00 +0000 (UTC)
X-Virus-Scanned: amavisd-new at osuosl.org
X-Spam-Flag: NO
X-Spam-Score: -2.098
X-Spam-Level:
X-Spam-Status: No, score=-2.098 tagged_above=-999 required=5
tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1,
DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001,
HTML_MESSAGE=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001,
SPF_PASS=-0.001] autolearn=ham autolearn_force=no
Authentication-Results: smtp2.osuosl.org (amavisd-new);
dkim=pass (2048-bit key) header.d=gmail.com
Received: from smtp2.osuosl.org ([127.0.0.1])
by localhost (smtp2.osuosl.org [127.0.0.1]) (amavisd-new, port 10024)
with ESMTP id NfXv3zvE76FM
for <bitcoin-dev@lists.linuxfoundation.org>;
Wed, 23 Feb 2022 18:14:58 +0000 (UTC)
X-Greylist: whitelisted by SQLgrey-1.8.0
Received: from mail-qk1-x731.google.com (mail-qk1-x731.google.com
[IPv6:2607:f8b0:4864:20::731])
by smtp2.osuosl.org (Postfix) with ESMTPS id 2703F408E6
for <bitcoin-dev@lists.linuxfoundation.org>;
Wed, 23 Feb 2022 18:14:57 +0000 (UTC)
Received: by mail-qk1-x731.google.com with SMTP id c7so5104148qka.7
for <bitcoin-dev@lists.linuxfoundation.org>;
Wed, 23 Feb 2022 10:14:57 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112;
h=message-id:date:mime-version:user-agent:content-language:to
:references:from:subject:in-reply-to;
bh=/qw7JDaeDYhb+7URwhU776wXXBgGO1Cn70Wn9I/G/r4=;
b=AKHh7i/Ef9DpgKvLRTv9MnUJvgb1gwmp1swTZPxKKPMYqn3qN7tWOqXx4wbjd/zP1Z
hwVDdfoEjaSfW4Z4CaTOQQPsACEA1DjY83Gow16vVCEbufi8L8Tgx4HDaLN1py2AS4W9
YTuugUIB8vet3kmBRbgQpNpbGR9ZNWdwO8V0wHpKMlL/d2LbrZT4msRTn6Lb5lpsNVJE
32g8i+5blF4qr4z+45RJ6WBbM8xS3/ZUETn96a2oOq98ZP42tgV8/eZEYsKlVL7rKx7w
TMqDnqwa9pvyBbUoq8bWXTRCMWJBCB5hubLpEsnXhjpAJ/ZQSk1kdSsKCYHq1pMR58uO
81kA==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=1e100.net; s=20210112;
h=x-gm-message-state:message-id:date:mime-version:user-agent
:content-language:to:references:from:subject:in-reply-to;
bh=/qw7JDaeDYhb+7URwhU776wXXBgGO1Cn70Wn9I/G/r4=;
b=YpJzuQVmCm/4Xk/OegwwJmxSbkk/HCppRpjVRpHY8gxIJojQLMhD7fC+oFx5hvG6jO
vnFSmmXQ+5h04B0KLtlmW/ejhG7T8OjR0nEJdx853MmGeqFLBs3Yp2Sf9jWjb3JuF3Ni
nHJYLacgc6YUUlLAH41rxzAP8mJA6SWlkOxK8M/O3bfjKwdH4lqpOeRr03TiCAXyE6pj
VCnALPYYAlHKRfp0/cQiczFaeXly4SUs9uP8sJb3SLDGSs1KtxltrtgYqw55wtzKsNw0
SmEuvN0B4hu/bXE7tRrDwb0T0S56yoGdtsv6/1Y3dmN88RVHM6/1J/1GFOV3L/EmMIbh
gnmg==
X-Gm-Message-State: AOAM533xXH1GjSKPJqAbCVnaKVe1LGIEwyWtFFfhpCmjylpELtiSPBdc
wxhzb3YDxMQU2eGpgeUdFWbgfMfuKCY=
X-Google-Smtp-Source: ABdhPJwmRg4pMVcpV37bFE77d4i2zCiDbagheurdv7xLlpxV/MC1iOQgq+weanezb1yoy1xJKpZDCg==
X-Received: by 2002:a05:620a:2941:b0:47e:144b:84a9 with SMTP id
n1-20020a05620a294100b0047e144b84a9mr648319qkp.32.1645640096360;
Wed, 23 Feb 2022 10:14:56 -0800 (PST)
Received: from [192.168.0.165] (ool-45714b6d.dyn.optonline.net.
[69.113.75.109])
by smtp.googlemail.com with ESMTPSA id u38sm253754qtc.17.2022.02.23.10.14.55
for <bitcoin-dev@lists.linuxfoundation.org>
(version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128);
Wed, 23 Feb 2022 10:14:55 -0800 (PST)
Content-Type: multipart/alternative;
boundary="------------WpH0pYKlCrw4OUBJInezHs1w"
Message-ID: <af77712d-fd9e-b8f3-8541-3edb3622150c@gmail.com>
Date: Wed, 23 Feb 2022 13:14:53 -0500
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Firefox/91.0 Thunderbird/91.5.0
Content-Language: en-US
To: bitcoin-dev@lists.linuxfoundation.org
References: <CAMZUoK=pkZuovtifBzdqhoyegzG+9hRTFEc7fG9nZPDK4KbU3w@mail.gmail.com>
<87leymuiu8.fsf@rustcorp.com.au>
<CAD5xwhgP2_51Dvar0f1tsMrCXZ61W9-HnLgR45D-54Oc7-X1ag@mail.gmail.com>
<0100017ee6472e02-037d355d-4c16-43b0-81d2-4a82b580ba99-000000@email.amazonses.com>
<i710HUIxNHIqCNhkh07dzlShyDp9ZkoEokw9ZBezCFvsk05ZUy5fXK1xx_IQifLh4f3RYb8FJM_MFm7hAaQFaUM3Jy3E8QhfSzkaogAu1Gs=@protonmail.com>
From: Paul Sztorc <truthcoin@gmail.com>
In-Reply-To: <i710HUIxNHIqCNhkh07dzlShyDp9ZkoEokw9ZBezCFvsk05ZUy5fXK1xx_IQifLh4f3RYb8FJM_MFm7hAaQFaUM3Jy3E8QhfSzkaogAu1Gs=@protonmail.com>
Subject: Re: [bitcoin-dev] Recursive covenant opposition,
or the absence thereof,
was Re: TXHASH + CHECKSIGFROMSTACKVERIFY in lieu of CTV and ANYPREVOUT
X-BeenThere: bitcoin-dev@lists.linuxfoundation.org
X-Mailman-Version: 2.1.15
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: Wed, 23 Feb 2022 18:15:00 -0000
This is a multi-part message in MIME format.
--------------WpH0pYKlCrw4OUBJInezHs1w
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: base64
T24gMi8yMy8yMDIyIDY6MjggQU0sIFptblNDUHhqIHZpYSBiaXRjb2luLWRldiB3cm90ZToN
Cg0KPiAuLi4gRHJpdmVjaGFpbnMgaXMgaW1wbGVtZW50YWJsZSBvbiBhIFR1cmluZy1jb21w
bGV0ZQ0KPiBsYW5ndWFnZS4NCj4gQW5kIHdlIGhhdmUgYWxyZWFkeSByZWplY3RlZCBEcml2
ZWNoYWlucywgZm9yIHRoZSBmb2xsb3dpbmcgcmVhc29uOg0KPg0KPiAxLiAgU2lkZWNoYWlu
IHZhbGlkYXRvcnMgYW5kIG1haW5jaGFpbiBtaW5lcnMgaGF2ZSBhIHN0cm9uZyBpbmNlbnRp
dmUgdG8NCj4gICAgICBtZXJnZSB0aGVpciBidXNpbmVzc2VzLg0KPiAyLiAgTWFpbmNoYWlu
IG1pbmVycyBlbmQgdXAgdmFsaWRhdGluZyBhbmQgY29tbWl0aW5nIHRvIHNpZGVjaGFpbiBi
bG9ja3MuDQo+IDMuICBFcmdvLCBzaWRlY2hhaW5zIG9uIERyaXZlY2hhaW5zIGJlY29tZSBh
IGJsb2NrIHNpemUgaW5jcmVhc2UuDQoNCklzIHRoaXMgaW5kZWVkIHRoZSByZWFzb24/IEJl
Y2F1c2UgaXQgaXMgbm90IGEgZ29vZCBvbmUuDQoNCkZpcnN0LCAoYXMgYWx3YXlzKSB3ZSBt
dXN0IGlnbm9yZSBCSVAgMzAxKi4gKFNpbmNlIGl0IHdhcyBpbnZlbnRlZCB0byBjYW5jZWwg
cG9pbnQgMS4gV2hpY2ggaXQgZG9lcyAtLSBieSBnaXZpbmcgYW4gaW5jZW50aXZlIGZvciBz
aWRlLXZhbGlkYXRvcnMgYW5kIG1haW4tbWluZXJzIHRvIFVOLW1lcmdlIHRoZWlyIGJ1c2lu
ZXNzZXMuKQ0KDQpXaXRoIHRoYXQgb3V0IG9mIHRoZSB3YXksIGxldCdzIHN3YXAgImJsb2Nr
c2l6ZSBpbmNyZWFzZSIgZm9yICJtaW5pbmcgdmlhIG5hdHVyYWwgZ2FzIGZsYXJpbmciIDoN
Cg0KMS4gT2lsIGRyaWxsZXJzIGFuZCBtYWluY2hhaW4gbWluZXJzIGhhdmUgYSBzdHJvbmcg
aW5jZW50aXZlKiogdG8gbWVyZ2UgdGhlaXIgYnVzaW5lc3Nlcy4NCjIuIE1haW5jaGFpbiBt
aW5lcnMgZW5kIHVwIGRyaWxsaW5nIGZvciBvaWwuDQozLiBFcmdvLCBzaWRlY2hhaW5zIG9u
IERyaXZlY2hhaW5zIGJlY29tZSBhIHJlcXVpcmVtZW50LCB0aGF0IGZ1bGwgbm9kZXMgbWlu
ZSBmb3Igb2lsLg0KDQpUaGUgYWJvdmUgbG9naWMgaXMgZmxhd2VkLCBiZWNhdXNlIGZ1bGwg
bm9kZXMgY2FuIGlnbm9yZSB0aGUgbWluaW5nIHByb2Nlc3MuIE5vZGVzIG91dHJhbmsgbWlu
ZXJzLg0KDQpNZXJnZWQgbWluaW5nIGlzLCBpbiBwcmluY2lwbGUsIG5vIGRpZmZlcmVudCBm
cm9tIGFueSBvdGhlciBzb3VyY2Ugb2YgbWluaW5nIHByb2ZpdGFiaWxpdHkuIEkgYmVsaWV2
ZSB0aGVyZSBpcyBhbiBpcnJhdGlvbmFsIHByZWp1ZGljZSBhZ2FpbnN0IG1lcmdlZCBtaW5p
bmcsIGJlY2F1c2UgTU0gdGFrZXMgdGhlIGZvcm0gb2Ygc29mdHdhcmUuIEl0IHdvdWxkIGJl
IGxpa2UgYW4gTkZMIHJlZmVyZWUgd2hvIHJlZnVzZXMgdG8gYWxsb3cgdGhlaXIgY2hpbGQg
dG8gcGxheSBhbiBORkwgdmlkZW9nYW1lLCBvbiB0aGUgZ3JvdW5kcyB0aGF0IHRoZSByZWZm
aW5nIGluIHRoZSBnYW1lIGlzIGRpZmZlcmVudCBmcm9tIGhvdyB0aGUgcGFyZW50IHdvdWxk
IHJlZi4gQnV0IHRoYXQgbWFrZXMgbm8gZGlmZmVyZW5jZSB0byBhbnl0aGluZy4gVGhlIG9u
bHkgcmVsZXZhbnQgaXNzdWUgaXMgaWYgdGhlIGNoaWxkIGhhcyBmdW4gcGxheWluZyB0aGUg
dmlkZW9nYW1lLg0KDQooQW5kIG9mIGNvdXJzZSwgbWVyZ2VkIG1pbmluZyBsb25nIHByZWRh
dGVzIGRyaXZlY2hhaW4sIGFuZCBtaW5lcnMgYXJlIE1NaW5nIG5vdywgYW5kIGhhdmUgYmVl
biBmb3IgeWVhcnMuIEl0IHdhcyBTYXRvc2hpIHdobyBjby1pbnZlbnRlZCBtZXJnZWQgbWlu
aW5nLCBzbyB0aGUgbW9kZXJuIHByZWp1ZGljZSBhZ2FpbnN0IGl0IGlzIGFsbCB0aGUgbW9y
ZSBteXN0ZXJpb3VzLikNCg0KPiBBbHNvOg0KPg0KPiAxLiAgVGhlIHNpZGVjaGFpbi10by1t
YWluY2hhaW4gcGVnIGRlZ3JhZGVzIHRoZSBzZWN1cml0eSBvZiBzaWRlY2hhaW4NCj4gICAg
ICB1c2VycyBmcm9tIGNvbnNlbnN1cyAiZXZlcnlvbmUgbXVzdCBhZ3JlZSB0byB0aGUgcnVs
ZXMiIHRvIGRlbW9jcmFjeQ0KPiAgICAgICJpZiBlbm91Z2ggZW5mcmFuY2hpc2VkIHZvdGVy
cyBzYXkgc28sIHRoZXkgY2FuIGJlYXQgeW91IHVwIGFuZCBzdGVhbA0KPiAgICAgIHlvdXIg
bW9uZXkiLg0KPg0KPiBJbiB0aGlzIHdyaXRlLXVwLCBJIHdpbGwuLi4NCg0KVGhpcyBpcyBh
bHNvIGEgbWlzY2hhcmFjdGVyaXphdGlvbi4NCg0KRHJpdmVjaGFpbiB3aWxsIG5vdCB3b3Jr
IGlmIDUxJSBoYXNocmF0ZSBpcyBhdHRhY2tpbmcgdGhlIG5ldHdvcmsuIEJ1dCB0aGF0IGlz
IHRoZSBjYXNlIGZvciBldmVyeXRoaW5nLCBpbmNsdWRpbmcgdGhlIExpZ2h0bmluZyBOZXR3
b3JrKioqLg0KDQpTbyB0aGVyZSBpcyBubyBzZW5zZSBpbiB3aGljaCB0aGUgc2VjdXJpdHkg
aXMgImRlZ3JhZGVkIi4gVG8gZXN0YWJsaXNoIHRoYXQsIG9uZSB3b3VsZCBuZWVkIGFyZ3Vt
ZW50cyBhYm91dCB3aGF0IHdpbGwgcHJvYmFibHkgaGFwcGVuIGFuZCB3aHkuIFdoaWNoIGlz
IGV4YWN0bHkgd2hhdCBteSBvcmlnaW5hbCBOb3YgMjAxNSBhcnRpY2xlIGNvbnRhaW5zOiB0
cnV0aGNvaW4uaW5mby9ibG9nL2RyaXZlY2hhaW4vI2RyaXZlY2hhaW5zLXNlY3VyaXR5ICwg
YXMgZG9lcyBteSBQZWVyIFJldmlldyBzZWN0aW9uIDpodHRwczovL3d3dy5kcml2ZWNoYWlu
LmluZm8vcGVlci1yZXZpZXcvcGVlci1yZXZpZXctbmV3LyAgDQoNCihBbmQsIHRvZGF5IExh
cmdlYmxvY2tlci10eXBlcyBkbyBub3QgaGF2ZSBhbnkgImV2ZXJ5b25lIG11c3QgYWdyZWUg
dG8gdGhlIHJ1bGVzIiBjb25zZW5zdXMsIGF0IGFsbC4gQW55b25lIHdobyB3YW50cyB0byB1
c2UgYSBzaWRlY2hhaW4tZmVhdHVyZSB0b2RheSwgbXVzdCBvYnRhaW4gaXQgdmlhIEFsdGNv
aW4gb3IgdmlhIHJlYWwtd29ybGQgdHJ1c3QuIFNvIHRoZSBjdXJyZW50IHNlY3VyaXR5IGlz
ICJub3RoaW5nIiBhbmQgc28gaXQgaXMgaGFyZCB0byBzZWUgaG93IHRoYXQgY291bGQgYmUg
ImRlZ3JhZGVkIi4pDQoNCi0tDQoNCkkgYW0gbm90IHN1cmUgaXQgaXMgYSBnb29kIHVzZSBv
ZiBteSB0aW1lIHRvIHRhbGsgdG8gdGhpcyBsaXN0IGFib3V0IERyaXZlY2hhaW4uIE15IE5v
diAyMDE1IGFydGljbGUgYW50aWNpcGF0ZWQgYWxsIG9mIHRoZSByZWxldmFudCBtaXN1bmRl
cnN0YW5kaW5ncy4gQWxtb3N0IG5vdGhpbmcgaGFzIGNoYW5nZWQgc2luY2UgdGhlbi4NCg0K
QXMgZmFyIGFzIEkgYW0gY29uY2VybmVkLCBEcml2ZWNoYWluIHdhcyBzaW1wbHkgYWhlYWQg
b2YgaXRzIHRpbWUuIEV2ZW50dWFsbHksIG9uZSBvciBtb3JlIG9mIHRoZSBmb2xsb3dpbmcg
LS10aGUgcHJvYmxlbSBvZiBBbHRjb2lucywgdGhlIGh1bWFuIGRlc2lyZSBmb3IgZnJlZWRv
bSBhbmQgY3JlYXRpdml0eSwgdGhlIG1ldGEtY29uc2Vuc3VzL3VwZ3JhZGUvb3NzaWZpY2F0
aW9uIHByb2JsZW0sIHRoZSBwcm9ibGVtIG9mIHBlcnNpc3RlbnRseSBsb3cgc2VjdXJpdHkg
YnVkZ2V0LCBhbmQvb3IgdGhlIGV4cHJlc3NpdmVuZXNzIG9mIEJpdGNvaW4gc21hcnQgY29u
dHJhY3RzLS0gd2lsbCBmb3JjZSBCaXRjb2luZXJzIHRvIHJlbGVhcm4gZHJpdmVjaGFpbi1s
b3JlIGFuZCBldmVudHVhbGx5IGFkb3B0IHNvbWV0aGluZyBkcml2ZWNoYWluLWxpa2UuIEF0
IHdoaWNoIHBvaW50IEkgd2lsbCB3cml0ZSB0byBoaXN0b3JpYW5zIHRvIGRlbWFuZCBjcmVk
aXQuIFRoYXQgaXMgbXkgcGxhbiBzbyBmYXIsIGF0IGxlYXN0Lg0KDQotLQ0KDQpBcyB0byB0
aGUgYWN0dWFsIGNvbnRlbnQgb2YgeW91ciBwb3N0LCBpdCBzZWVtcyBwcm8tRHJpdmVjaGFp
bi4NCg0KQWZ0ZXIgYWxsLCB5b3UgYXJlIHNheWluZyB0aGF0IFJlY3Vyc2l2ZSBDb3ZlbmFu
dHMgLS0+IFR1cmluZyBDb21wbGV0ZW5lc3MgLS0+IERyaXZlY2hhaW4uIFNvLCB3aGljaCB3
b3VsZCB5b3UgcmF0aGVyIGhhdmU/IFRoZSBoYWNreSwgYml6emFybywgY292ZW5hbnQtRHJp
dmVjaGFpbiwgb3IgbXkgcHVyZSBvcHRpbWl6ZWQgdHJhbnNwYXJlbnQgQmlwMzAwLURyaXZl
Y2hhaW4/IFNlZW1zIHRoYXQgdGhpcyBpcyBleGFjdGx5IHdoYXQgSSBwcmVkaWN0ZWQ6IHBl
b3BsZSBldmVudHVhbGx5IHJlaW52ZW50aW5nIERyaXZlY2hhaW4uDQoNCk9uIHRoaXMgdG9w
aWMsIGluIDIwMTUtMjAxNiBJIHdyb3RlIGEgZmV3IHBhcGVycyBhbmQgZ2F2ZSBhIGZldyBy
ZWNvcmRlZCB0YWxrcyoqKiosIGluIHdoaWNoIEkgY29tcGFyZWQgdGhlIHVuY29udHJvbGxh
YmxlIGRlc3RydWN0aXZlIGNoYW9zIG9mIFR1cmluZyBDb21wbGV0ZW5lc3MsIHRvIGEgImNh
dGVnb3JpY2FsIiBUdXJpbmcgQ29tcGxldGVuZXNzIHdoZXJlIGNvbnRyYWN0cyBhcmUgc29y
dGVkIGJ5IGNhdGVnb3J5IChpZSwgYWxsIG9mIHRoZSBCaXROYW1lIGNvbnRyYWN0cyBpbiB0
aGUgTmFtZWNvaW4tc2lkZWNoYWluLCBhbGwgb2YgdGhlIG9yYWNsZSBjb250cmFjdHMgaW4g
dGhlIG9yYWNsZSBzaWRlY2hhaW4sIGV0YykuIFRoZSBjYXRlZ29yaWNhbCBzdHJhdGVneSBh
bGxvd3MsIHBhcmFkb3hpY2FsbHkgKGFuZCBwZXJoYXBzIGNvdW50ZXJpbnR1aXRpdmVseSks
IGZvciBtb3JlIGV4cHJlc3NpdmUgY29udHJhY3RzLCBzaW5jZSB5b3UgY2FuIHByZXZlbnQg
c21hcnQgY29udHJhY3RzIGZyb20gYXR0YWNraW5nIGVhY2ggb3RoZXIuIChUaGV5IG11c3Qg
aGF2ZSBhIGNhdGVnb3J5LCBzbyBpZiB0aGV5IGFyZW4ndCBOYW1lLWNvbnRyYWN0cyB0aGV5
IGNhbm5vdCBsaXZlIGluIHRoZSBOYW1lY29pbi1zaWRlY2hhaW4gLS0gdGhleSB1bHRpbWF0
ZWx5IG11c3QgbGl2ZSBpbiBhbiAiRXZpbCBTaWRlY2hhaW4iLCB3aGljaCB0aGUgbWluZXJz
IGhhdmUgbW90aXZlIGFuZCBvcHBvcnR1bml0eSB0byBzaW1wbHkgZGlzYWJsZS4pIElmIHBl
b3BsZSBhcmUgbm93IHRhbGtpbmcgYWJvdXQgaG93IFR1cmluZyBDb21wbGV0ZW5lc3MgY2Fu
IGxlYWQgdG8gc21hcnQgY29udHJhY3RzIGF0dGFja2luZyBlYWNoIG90aGVyLCB0aGVuIEkg
c3VwcG9zZSBJIHdhcyB5ZWFycyBhaGVhZC1vZi1teS10aW1lIHdpdGggdGhhdCwgYXMgd2Vs
bC4gSW5jaWRlbnRhbGx5LCBteSBjb25jbHVzaW9uIHdhcyB0aGF0IHRoaXMgcHJvYmxlbSBp
cyBCRVNUIHNvbHZlZCBieSBhbGxvd2luZyBtaW5lcnMgdG8gY2Vuc29yIGNvbnRyYWN0LWNh
dGVnb3JpZXMgKGFrYSBjZW5zb3Igc2lkZWNoYWluLWNhdGVnb3JpZXMsIGFrYSAnYmVhdCBw
ZW9wbGUgdXAnIGFzIHlvdSBwdXQgaXQpLCB3aGljaCBpcyBob3cgSSBpbnZlbnRlZCBkcml2
ZWNoYWluIGluIHRoZSBmaXJzdCBwbGFjZS4NCg0KKlNocnVnKiwNClBhdWwNCg0KDQoNCipB
IHNtYWxsIHRhYmxlIHdoaWNoIGV4cGxhaW5zIGhvdyB0aGlzIHdvcmtzOmh0dHBzOi8vZ2l0
aHViLmNvbS9iaXRjb2luL2JpcHMvYmxvYi9tYXN0ZXIvYmlwLTAzMDEubWVkaWF3aWtpI25v
dGF0aW9uLWFuZC1leGFtcGxlDQoNCioqRG91YnRsZXNzIG1hbnkgb2YgeW91IGhhdmUgaGVh
cmQgb2YgdGhpcyBuZXcgdHJlbmQ6IG9pbCBkcmlsbGVycyBlbmNvdW50ZXIgdW53YW50ZWQg
bmF0dXJhbCBnYXMsIGluIGFyZWFzIHdoZXJlIHRoZXJlIGFyZSBubyBuYXR1cmFsIGdhcyBj
dXN0b21lcnMuIEluc3RlYWQgb2Ygd2FzdGUgdGhpcyBnYXMsIHRoZXkgaGF2ZSBiZWd1biBz
ZWxsaW5nIGl0IHRvIG1pbmVycy5odHRwczovL2Vjb25vbWljdGltZXMuaW5kaWF0aW1lcy5j
b20vbmV3cy9pbnRlcm5hdGlvbmFsL2J1c2luZXNzL29pbC1kcmlsbGVycy1hbmQtYml0Y29p
bi1taW5lcnMtYm9uZC1vdmVyLW5hdHVyYWwtZ2FzL2FydGljbGVzaG93LzgyODI4ODc4LmNt
cyAgLg0KDQoqKipBcyBpcyB3ZWxsIGtub3duLCBpdCBpcyBlYXN5IGZvciA1MSUgaGFzaHJh
dGUgdG8gZG91YmxlLXNwZW5kIGluIHRoZSBMTiwgYnkgY2Vuc29yaW5nICdqdXN0aWNlIHRy
YW5zYWN0aW9ucycuIE1vcmVvdmVyLCBtaW5lcnMgc2VlbSBsaWtlbHkgdG8gZXZhZGUgcmV0
cmlidXRpb24gaWYgdGhleSBkbyB0aGlzLCBhcyB0aGV5IGNhbiByZXN0cmFpbiB0aGUgc2Nh
bGUsIHRpbWluZywgdmljdGltcywgY2lyY3Vtc3RhbmNlcyBldGMgb2YgdGhlIGF0dGFjay4N
Cg0KKioqKmh0dHBzOi8vd3d3LnlvdXR1YmUuY29tL3dhdGNoP3Y9eEd1MG84SEgxMFUmbGlz
dD1QTHc4LTZBUmx5VmNpTUg3OVp5TE9wSW1zTXVnM0xnTmM0JmluZGV4PTENCmh0dHBzOi8v
d3d3LnRydXRoY29pbi5pbmZvL2Jsb2cvY29udHJhY3RzLW9yYWNsZXMtc2lkZWNoYWlucy8N
Cmh0dHBzOi8vd3d3LnRydXRoY29pbi5pbmZvL2Jsb2cvZHJpdmVjaGFpbi1vcC1jb2RlLw0K
aHR0cHM6Ly93d3cudHJ1dGhjb2luLmluZm8vYmxvZy93aXNlLWNvbnRyYWN0cy8NCg0KDQoN
Cg0K
--------------WpH0pYKlCrw4OUBJInezHs1w
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
<html>
<head>
<meta http-equiv=3D"Content-Type" content=3D"text/html; charset=3DUTF=
-8">
</head>
<body>
<div class=3D"moz-cite-prefix">
<pre>
On 2/23/2022 6:28 AM, ZmnSCPxj via bitcoin-dev wrote:
</pre>
</div>
<blockquote type=3D"cite"
cite=3D"mid:i710HUIxNHIqCNhkh07dzlShyDp9ZkoEokw9ZBezCFvsk05ZUy5fXK1xx_IQi=
fLh4f3RYb8FJM_MFm7hAaQFaUM3Jy3E8QhfSzkaogAu1Gs=3D@protonmail.com">
<pre class=3D"moz-quote-pre" wrap=3D"">... Drivechains is implement=
able on a Turing-complete
language.
And we have already rejected Drivechains, for the following reason:
1. Sidechain validators and mainchain miners have a strong incentive to
merge their businesses.
2. Mainchain miners end up validating and commiting to sidechain blocks.=
3. Ergo, sidechains on Drivechains become a block size increase.
</pre>
</blockquote>
<pre class=3D"moz-quote-pre" wrap=3D"">
Is this indeed the reason? Because it is not a good one.
First, (as always) we must ignore BIP 301*. (Since it was invented to can=
cel point 1. Which it does -- by giving an incentive for side-validators =
and main-miners to UN-merge their businesses.)
With that out of the way, let's swap "blocksize increase" for "mining via=
natural gas flaring" :
1. Oil drillers and mainchain miners have a strong incentive** to merge t=
heir businesses.
2. Mainchain miners end up drilling for oil.
3. Ergo, sidechains on Drivechains become a requirement, that full nodes =
mine for oil.
The above logic is flawed, because full nodes can ignore the mining proce=
ss. Nodes outrank miners.
Merged mining is, in principle, no different from any other source of min=
ing profitability. I believe there is an irrational prejudice against mer=
ged mining, because MM takes the form of software. It would be like an NF=
L referee who refuses to allow their child to play an NFL videogame, on t=
he grounds that the reffing in the game is different from how the parent =
would ref. But that makes no difference to anything. The only relevant is=
sue is if the child has fun playing the videogame.
(And of course, merged mining long predates drivechain, and miners are MM=
ing now, and have been for years. It was Satoshi who co-invented merged m=
ining, so the modern prejudice against it is all the more mysterious.)
<blockquote type=3D"cite"><pre class=3D"moz-quote-pre" wrap=3D"">Also:
1. The sidechain-to-mainchain peg degrades the security of sidechain
users from consensus "everyone must agree to the rules" to democracy
"if enough enfranchised voters say so, they can beat you up and steal=
your money".
In this write-up, I will...
</pre></blockquote>
This is also a mischaracterization.
Drivechain will not work if 51% hashrate is attacking the network. But th=
at is the case for everything, including the Lightning Network***.
So there is no sense in which the security is "degraded". To establish th=
at, one would need arguments about what will probably happen and why. Whi=
ch is exactly what my original Nov 2015 article contains: truthcoin.info/=
blog/drivechain/#drivechains-security , as does my Peer Review section : =
<a class=3D"moz-txt-link-freetext" href=3D"https://www.drivechain.info/pe=
er-review/peer-review-new/">https://www.drivechain.info/peer-review/peer-=
review-new/</a>=20
(And, today Largeblocker-types do not have any "everyone must agree to th=
e rules" consensus, at all. Anyone who wants to use a sidechain-feature t=
oday, must obtain it via Altcoin or via real-world trust. So the current =
security is "nothing" and so it is hard to see how that could be "degrade=
d".)
--
I am not sure it is a good use of my time to talk to this list about Driv=
echain. My Nov 2015 article anticipated all of the relevant misunderstand=
ings. Almost nothing has changed since then.
As far as I am concerned, Drivechain was simply ahead of its time. Eventu=
ally, one or more of the following --the problem of Altcoins, the human d=
esire for freedom and creativity, the meta-consensus/upgrade/ossification=
problem, the problem of persistently low security budget, and/or the exp=
ressiveness of Bitcoin smart contracts-- will force Bitcoiners to relearn=
drivechain-lore and eventually adopt something drivechain-like. At which=
point I will write to historians to demand credit. That is my plan so fa=
r, at least.
--
As to the actual content of your post, it seems pro-Drivechain.
After all, you are saying that Recursive Covenants --> Turing Complete=
ness --> Drivechain. So, which would you rather have? The hacky, bizza=
ro, covenant-Drivechain, or my pure optimized transparent Bip300-Drivecha=
in? Seems that this is exactly what I predicted: people eventually reinve=
nting Drivechain.
On this topic, in 2015-2016 I wrote a few papers and gave a few recorded =
talks****, in which I compared the uncontrollable destructive chaos of Tu=
ring Completeness, to a "categorical" Turing Completeness where contracts=
are sorted by category (ie, all of the BitName contracts in the Namecoin=
-sidechain, all of the oracle contracts in the oracle sidechain, etc). Th=
e categorical strategy allows, paradoxically (and perhaps counterintuitiv=
ely), for more expressive contracts, since you can prevent smart contract=
s from attacking each other. (They must have a category, so if they aren'=
t Name-contracts they cannot live in the Namecoin-sidechain -- they ultim=
ately must live in an "Evil Sidechain", which the miners have motive and =
opportunity to simply disable.) If people are now talking about how Turin=
g Completeness can lead to smart contracts attacking each other, then I s=
uppose I was years ahead-of-my-time with that, as well. Incidentally, my =
conclusion was that this problem is BEST solved by allowing miners to cen=
sor contract-categories (aka censor sidechain-categories, aka 'beat peopl=
e up' as you put it), which is how I invented drivechain in the first pla=
ce.
*Shrug*,
Paul
*A small table which explains how this works: <a class=3D"moz-txt-link-fr=
eetext" href=3D"https://github.com/bitcoin/bips/blob/master/bip-0301.medi=
awiki#notation-and-example">https://github.com/bitcoin/bips/blob/master/b=
ip-0301.mediawiki#notation-and-example</a>
**Doubtless many of you have heard of this new trend: oil drillers encoun=
ter unwanted natural gas, in areas where there are no natural gas custome=
rs. Instead of waste this gas, they have begun selling it to miners. <a c=
lass=3D"moz-txt-link-freetext" href=3D"https://economictimes.indiatimes.c=
om/news/international/business/oil-drillers-and-bitcoin-miners-bond-over-=
natural-gas/articleshow/82828878.cms">https://economictimes.indiatimes.co=
m/news/international/business/oil-drillers-and-bitcoin-miners-bond-over-n=
atural-gas/articleshow/82828878.cms</a> .
***As is well known, it is easy for 51% hashrate to double-spend in the L=
N, by censoring 'justice transactions'. Moreover, miners seem likely to e=
vade retribution if they do this, as they can restrain the scale, timing,=
victims, circumstances etc of the attack.
****<a class=3D"moz-txt-link-freetext" href=3D"https://www.youtube.com/wa=
tch?v=3DxGu0o8HH10U&list=3DPLw8-6ARlyVciMH79ZyLOpImsMug3LgNc4&ind=
ex=3D1">https://www.youtube.com/watch?v=3DxGu0o8HH10U&list=3DPLw8-6AR=
lyVciMH79ZyLOpImsMug3LgNc4&index=3D1</a>
<a class=3D"moz-txt-link-freetext" href=3D"https://www.truthcoin.info/blo=
g/contracts-oracles-sidechains/">https://www.truthcoin.info/blog/contract=
s-oracles-sidechains/</a>
<a class=3D"moz-txt-link-freetext" href=3D"https://www.truthcoin.info/blo=
g/drivechain-op-code/">https://www.truthcoin.info/blog/drivechain-op-code=
/</a>
<a class=3D"moz-txt-link-freetext" href=3D"https://www.truthcoin.info/blo=
g/wise-contracts/">https://www.truthcoin.info/blog/wise-contracts/</a>
</pre>
<font face=3D"monospace">
</font>
<pre>
</pre>
</body>
</html>
--------------WpH0pYKlCrw4OUBJInezHs1w--
|