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
|
Delivery-date: Wed, 09 Jul 2025 14:53:50 -0700
Received: from mail-oo1-f63.google.com ([209.85.161.63])
by mail.fairlystable.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256
(Exim 4.94.2)
(envelope-from <bitcoindev+bncBDPNNGGJS4LBBZGJXPBQMGQEIAYFBYY@googlegroups.com>)
id 1uZcje-0008Q1-7n
for bitcoindev@gnusha.org; Wed, 09 Jul 2025 14:53:50 -0700
Received: by mail-oo1-f63.google.com with SMTP id 006d021491bc7-6118b00040asf321931eaf.0
for <bitcoindev@gnusha.org>; Wed, 09 Jul 2025 14:53:49 -0700 (PDT)
ARC-Seal: i=2; a=rsa-sha256; t=1752098024; cv=pass;
d=google.com; s=arc-20240605;
b=XwyA3DaEJgM78co48eDIo7CP4rr0KkJkcuBGGgUIjpUXLKbNq2fULKQ7nmx3flS7dX
FkxgYQZ7ZWyM0/IfoUQ8gatGuLzYKoCLPduFXIeXCCZlMO7H5LTrjUjpLl8p84jXxEcm
hKbVceuiKolvbZqAuMTFM9YvaHv9zdJZ4moVOWB/kNhUmElEXodYD8VMsN3XWY9j8ipi
/4nwIUwNEFEbJivi4ISp/m94IyZH2WwsD/vABos9jkWblpo+lEH+2yWGBLg/JyUkn6yT
CewBmbEh8HobhkBQPGSxncMSqMmfL7Gx1CRKkyIM/LrTkKzCaTs3xrZYsnsm6pWHykLE
Vy3g==
ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20240605;
h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post
:list-id:mailing-list:precedence:cc:to:subject:message-id:date:from
:in-reply-to:references:mime-version:sender:dkim-signature
:dkim-signature;
bh=dODf8DEo7/ugOkhzQAmzqsaKPauJX3RSjPAWsqca9mc=;
fh=Hw0ifPJgTICzNJ+/4qFQBSXgTq0eCb4eiuTMKVrYCPA=;
b=lg/REmgVIAAvb+KvJh3MVAHFOqwXkg4NLcHfpMZPnQbWZsgCy8IJcFZQeXMeL7SqPH
cLEU+Z8ZLScDIDYyMszfT4NXT5pjUgZrVFvln1iCqEmkEb9GdnkBT4rt9HFmJuQTGDlW
0/dtS5GxHmxNARe4OnGH63D4xxU0cXiL28Kg25g4y756QFsL84hDdvLbvbsY0kN+6Ls6
8GjMa6NN3dgJconFTe+0gGQQbduYHUUkU2SXQGldd9rtxHhE5a6plS1ZYiAIRvpK80yZ
MMB3IzhOt7M/T7dmLbfcO5ESy/MS8vNd9Wn5PXGjpCT/sdSvxDgwVFnAemBtWDyLsq3k
+p/Q==;
darn=gnusha.org
ARC-Authentication-Results: i=2; gmr-mx.google.com;
dkim=pass header.i=@gmail.com header.s=20230601 header.b=QDCYoxQi;
spf=pass (google.com: domain of ademan555@gmail.com designates 2a00:1450:4864:20::336 as permitted sender) smtp.mailfrom=ademan555@gmail.com;
dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com;
dara=pass header.i=@googlegroups.com
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=googlegroups.com; s=20230601; t=1752098023; x=1752702823; darn=gnusha.org;
h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post
:list-id:mailing-list:precedence:x-original-authentication-results
:x-original-sender:cc:to:subject:message-id:date:from:in-reply-to
:references:mime-version:sender:from:to:cc:subject:date:message-id
:reply-to;
bh=dODf8DEo7/ugOkhzQAmzqsaKPauJX3RSjPAWsqca9mc=;
b=iD+Imia4wrzOQGB1dsVY3Urgsg0HkK4UPWQ14oeFsnR4G3mruDUE3iwQY1Q6Go2e8Q
XG1LhKJ6RiBWou7gCD2qmVndPmZ7rgwJKF+5Of8H5hHzB6XwAAWJI5FGlTu6A97VTSVy
NPYrNFoDgNV3GPNgI+OreyS8mdRusJxMFFc5/zge2sTXEiKAE7oM17CnOqFJrl7CsJGv
wPrlvhIWFAcRjyrUG7E2O2TuKwN6z5AUjIK2r397CASNqaaGmxWJq6//luKzxE7IQM+I
vxrJFDl32eo+B5OeO0H3Bvz5ll0ltdf41lFCElSiUCR0bFvMM3RwLfSxxhjoXTtl8q7B
xjjQ==
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=gmail.com; s=20230601; t=1752098024; x=1752702824; darn=gnusha.org;
h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post
:list-id:mailing-list:precedence:x-original-authentication-results
:x-original-sender:cc:to:subject:message-id:date:from:in-reply-to
:references:mime-version:from:to:cc:subject:date:message-id:reply-to;
bh=dODf8DEo7/ugOkhzQAmzqsaKPauJX3RSjPAWsqca9mc=;
b=SSLDYMuo/wco+jbvcDbpFEQaIEcIfoBgycchtOQMkCGWiJHE4wxkwzbg95gCcpkxOP
IuqMVcILodevnSuSkio6IdffrsDA3/c2pguFZgwbF6Y6dG9JbedUs+T8nD8Yz1YMLH3a
/pGnmJX/cAno3s5Ma92A2XQ8P5v2HPAsfvzM6GDUO5O0YfDnhuqCSbKLGrhiydeyTAdH
PBbsxDKxYUCmepSDlox23sO67ZNN1Y2t+TX6ZAlFwGxnCqWfyHtixPASMt4Nqvzz/c7d
wMky3UMRegYt0SCXmiZHiapzfnJ7WWYQOeEU+QDoyMvMcVetPFZz8i/Mfitu5eyXfTqt
EKvg==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=1e100.net; s=20230601; t=1752098024; x=1752702824;
h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post
:list-id:mailing-list:precedence:x-original-authentication-results
:x-original-sender:cc:to:subject:message-id:date:from:in-reply-to
:references:mime-version:x-beenthere:x-gm-message-state:sender:from
:to:cc:subject:date:message-id:reply-to;
bh=dODf8DEo7/ugOkhzQAmzqsaKPauJX3RSjPAWsqca9mc=;
b=MEOBAupddA+N6UbgHEOr4xDQ1wq5kpNjRh2Tbq32m2KVbCHJmPvntQfbt/XSOFQwaO
4DT6KLxWrMwuSx7w8eZcciFh0XFE1N2mAmQBh8MyjcvHUIfBqnc21Qu+465XNT465FwU
cXlcoPWtioBGKgz5liNDKl8bIb7OcMv3ZF1xtyS/HrokalKgz+cSbn4rJ6GR0Kvp5eUT
EYqOax+T4E7bbwawU/escQ7Bkz3nviVw6jzWQs97oqm0pbZjvCkiwscRbZeP2J494FLl
Rv5R31F6mnyReptdygAiz8jOoJHYzACIRlODkd6SJkKYT+kYaqIGLBJhi6bIkQOKogNy
OMgg==
Sender: bitcoindev@googlegroups.com
X-Forwarded-Encrypted: i=2; AJvYcCXEbGykbADxujL32rfykxnDC2L8SCA4xSVzs97ODWrJLDI0fFkahlq0RAiYoVKsbPariYiJS6kWi4Q7@gnusha.org
X-Gm-Message-State: AOJu0Yw21RDE580HDZ3TOyEVgcfA72EYusqiDX8m+Bra0NELVWlsDACW
yUIo0lVg2vTwd15Ld8IABIm/Rs6/KuppGfsvzPx/zx/iegFA7awo/NSy
X-Google-Smtp-Source: AGHT+IHGsgh9ju3XYHikTWjlmTyfDus/Xp/LrHKrFMUuq7w/YbnZXWIBhO03FB4l6B9CTj3AOENb0Q==
X-Received: by 2002:a4a:edc3:0:b0:611:bbad:7b62 with SMTP id 006d021491bc7-613cce6c2famr3034245eaf.3.1752098023525;
Wed, 09 Jul 2025 14:53:43 -0700 (PDT)
X-BeenThere: bitcoindev@googlegroups.com; h=AZMbMZfgMTNuEG3qMVVOyev1CiuOGf/nob6SOK1UqA97l2lgFA==
Received: by 2002:a05:6820:2e8b:b0:611:8f05:9296 with SMTP id
006d021491bc7-613d7cf6562ls83037eaf.2.-pod-prod-03-us; Wed, 09 Jul 2025
14:53:40 -0700 (PDT)
X-Forwarded-Encrypted: i=2; AJvYcCVDcamXjn5FWqyOEp5b6tVuIneYFpfCgwVdJmc2mbQZBpnXYt7akMgtEfnL7gfgZYV9qodSUwzHS4/u@googlegroups.com
X-Received: by 2002:a05:6808:1687:b0:406:1e0c:3196 with SMTP id 5614622812f47-412bc763265mr3013210b6e.28.1752098020496;
Wed, 09 Jul 2025 14:53:40 -0700 (PDT)
Received: by 2002:a05:600c:6089:b0:450:ce23:93de with SMTP id 5b1f17b1804b1-4538ed863cams5e9;
Wed, 9 Jul 2025 13:14:17 -0700 (PDT)
X-Forwarded-Encrypted: i=2; AJvYcCWyJ4nrqNe0OT0IX1l+cbf0MKIuw9QNZbOlRitUYvMqsXMrMrGx+/XvhQwnyCgRZAgOvzQvEtE8CadV@googlegroups.com
X-Received: by 2002:adf:9dc5:0:b0:3a5:27ba:47a8 with SMTP id ffacd0b85a97d-3b5e86d230amr68161f8f.52.1752092055464;
Wed, 09 Jul 2025 13:14:15 -0700 (PDT)
ARC-Seal: i=1; a=rsa-sha256; t=1752092055; cv=none;
d=google.com; s=arc-20240605;
b=ShxZ9njG49hw+rkcO5q3uwnzwfl0U31smM3VS4k/v8WjxE4VRwDAWcNUQa8mKwjhhk
YuR6E4F/QTTJqXOxU1gphu3e92zEgYafR6Lgqi6ANobYKE+5bxKPRzfbc+IgY2/QiQmx
oGIFTaGxRdTe/IWlZiyEmteudeDIjlRhrBt3vyDxQKtU40Ss0BUlMAhYUm48Q7fZV71A
W3Pk0hUkACbuyr9rPZRB1OI/PL9+nDNQOnuriuBZoON32WZ0DW7AcjLF+Gb2rOSjBJD7
tgEt6FmDDNftJwEGhJVN+TMXoTnHLYaBVR8hL6IG+VBtxqDbG6lXzh9MXdRMo7tbL558
1GOw==
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20240605;
h=cc:to:subject:message-id:date:from:in-reply-to:references
:mime-version:dkim-signature;
bh=eJHntMlj3BscvV8DwcLQdeQPvI8MIcL82Z0OgQtwzy8=;
fh=NsPTln4xNd7mSJdbl40zrXCM7FWk04d/eMifu29OdEE=;
b=a/kX2fLEpZBJhjWroqZyB/Tx/X0k93So6Zz8OH9THlbrV9M5PduEuNdHcxYfj05MIy
2i6dAA4t5y1KXvmnmyQMD60srCQEheF8k5DEleRsEePvXNsiWigDYZdrIx9O/h+5b0Z5
LL9o0Au+CejB/WKsWR4GdqwmEMXKGQkk6JT02WM/BC7ao1VhcluUQ0i/xVByrFHUqVnZ
5XXrVlmD0b8VDp1ebJmS47mhym9L4HDkO8Ncd8+cb4+kA888A/r/5sKpL5fy1RxqjcFJ
35pQ3zMTT9CWry1VpNlmZ2pBDHXv9wqMJWnwXsdqPrZ4svA+j2SIyLUw2ubMjqqk7qrd
OWKA==;
dara=google.com
ARC-Authentication-Results: i=1; gmr-mx.google.com;
dkim=pass header.i=@gmail.com header.s=20230601 header.b=QDCYoxQi;
spf=pass (google.com: domain of ademan555@gmail.com designates 2a00:1450:4864:20::336 as permitted sender) smtp.mailfrom=ademan555@gmail.com;
dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com;
dara=pass header.i=@googlegroups.com
Received: from mail-wm1-x336.google.com (mail-wm1-x336.google.com. [2a00:1450:4864:20::336])
by gmr-mx.google.com with ESMTPS id ffacd0b85a97d-3b47156a702si258788f8f.4.2025.07.09.13.14.15
for <bitcoindev@googlegroups.com>
(version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128);
Wed, 09 Jul 2025 13:14:15 -0700 (PDT)
Received-SPF: pass (google.com: domain of ademan555@gmail.com designates 2a00:1450:4864:20::336 as permitted sender) client-ip=2a00:1450:4864:20::336;
Received: by mail-wm1-x336.google.com with SMTP id 5b1f17b1804b1-451d7b50815so1898245e9.2
for <bitcoindev@googlegroups.com>; Wed, 09 Jul 2025 13:14:15 -0700 (PDT)
X-Forwarded-Encrypted: i=1; AJvYcCUqeL5M9NImyGjdSx8NjTw7r43nfGz1NyLpr6OhKIxVF1I/rZ4SrNoMDUk1+2l+IRvGZ1l+Xmn3JkNn@googlegroups.com
X-Gm-Gg: ASbGnctc9184HB5wXiS4tYRXU8YSWaOvFKy0sZQ6/YyHecSnMFuzNWuLoMDuxH1Gbzf
DtaqOJ5fWv4z8vdwG7oXTbJaeKMar+jDdGI8Rs6pk/x6DWAfRnPDKQAVlw9ZGEz3M9StcGjn1qt
omP1f/erjPtY1FFSTwa8dUEqOZOOyahml7Ilzphq4XD/g=
X-Received: by 2002:a05:600c:1c8b:b0:43c:f513:9591 with SMTP id
5b1f17b1804b1-454db7f693emr10502065e9.14.1752092054532; Wed, 09 Jul 2025
13:14:14 -0700 (PDT)
MIME-Version: 1.0
References: <26b96fb1-d916-474a-bd23-920becc3412cn@googlegroups.com> <682337FB-F451-459F-8B4C-56E61C49FA4F@gmail.com>
In-Reply-To: <682337FB-F451-459F-8B4C-56E61C49FA4F@gmail.com>
From: Ademan <ademan555@gmail.com>
Date: Wed, 9 Jul 2025 15:14:02 -0500
X-Gm-Features: Ac12FXwVtjioeDA6vqx3VlAUrtpi9MzUitLFi4y4xS_tmMFxfYNQKRqTwmC6EO0
Message-ID: <CAKwYL5GjrOp5QbwMF+vS6dDYPjc7tBNPAZsqVBzb1DcY_h4FpQ@mail.gmail.com>
Subject: Re: [bitcoindev] A Taproot-native (re-)bindable transaction bundle proposal
To: Rijndael <rot13maxi@gmail.com>
Cc: Greg Sanders <gsanders87@gmail.com>,
Bitcoin Development Mailing List <bitcoindev@googlegroups.com>
Content-Type: multipart/alternative; boundary="000000000000863935063984b8f5"
X-Original-Sender: ademan555@gmail.com
X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass
header.i=@gmail.com header.s=20230601 header.b=QDCYoxQi; spf=pass
(google.com: domain of ademan555@gmail.com designates 2a00:1450:4864:20::336
as permitted sender) smtp.mailfrom=ademan555@gmail.com; dmarc=pass
(p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com; dara=pass header.i=@googlegroups.com
Precedence: list
Mailing-list: list bitcoindev@googlegroups.com; contact bitcoindev+owners@googlegroups.com
List-ID: <bitcoindev.googlegroups.com>
X-Google-Group-Id: 786775582512
List-Post: <https://groups.google.com/group/bitcoindev/post>, <mailto:bitcoindev@googlegroups.com>
List-Help: <https://groups.google.com/support/>, <mailto:bitcoindev+help@googlegroups.com>
List-Archive: <https://groups.google.com/group/bitcoindev
List-Subscribe: <https://groups.google.com/group/bitcoindev/subscribe>, <mailto:bitcoindev+subscribe@googlegroups.com>
List-Unsubscribe: <mailto:googlegroups-manage+786775582512+unsubscribe@googlegroups.com>,
<https://groups.google.com/group/bitcoindev/subscribe>
X-Spam-Score: -0.5 (/)
--000000000000863935063984b8f5
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Isn't it indirectly committed to by sha_sequences?
On Wed, Jul 9, 2025 at 3:09=E2=80=AFPM Rijndael <rot13maxi@gmail.com> wrote=
:
> Hey Greg,
>
> The CTV commitment includes the number of inputs. I notice that the
> TEMPLATEHASH commitment does not. What=E2=80=99s the rationale there?
>
> Thanks,
>
> Rijndael
>
> On Jul 9, 2025, at 2:19=E2=80=AFPM, Greg Sanders <gsanders87@gmail.com> w=
rote:
>
> Hello all,
>
> This is a bit of a follow-up from "What's a good stopping point? ...
> CTV/CSFS..." from [^1]
>
> > There has been several objections to this proposal, which we can group
> into three categories:
> exploration of alternatives, demonstration of usage, and design of the
> operations to achieve these capabilities
>
> For this e-mail I would like to address the third point proactively:
> design of the operations to achieve these capabilities.
>
> Antoine Poinsot, Steven Roose, and I have been working on a familiar, yet
> concrete technical proposal that focuses on three well-understood
> capabilities:
>
> 1. "Next transaction" capability, ala BIP119
> 2. "Verify signature of message on stack", ala BIP348
> 3. "Push taproot internal key onto stack", ala BIP349
>
> These first two capabilities can offer radical simplifications
> to well-understood systems when combined. The third is a simple
> update that dovetails with the first two.
>
> The BIP text is here(
> https://github.com/instagibbs/bips/blob/bip_op_templatehash/bip-templateh=
ash-csfs-ik.md)
> and PR here(https://github.com/instagibbs/bips/pull/1), with full
> motivation for this particular bundle and rationale discussing
> alternatives. Our main contribution is a fully specified `OP_TEMPLATEHASH=
`
> as a drop-in replacement for BIP119 `OP_CHECKTEMPLATEVERIFY`.
> `OP_TEMPLATEHASH` is a simpler and more modern implementation of the "nex=
t
> transaction" capability. It differs in committing to the Taproot annex an=
d
> being otherwise Taproot native, which allows us to:
>
> - Use the `OP_SUCCESS` upgrade hooks in place of legacy `OP_NOP`s and be
> able to push the template hash on the stack making the flagship use case =
of
> rebindable signatures more efficient.
> - Re-use the existing pre-computed Taproot sighash fields only instead of
> introducing new ones (substantially simplifying the implementation and
> review of the specifications).
> - Not commit to the spending transaction's scriptSigs (which are both
> unecessary and may incentivize ad-hoc uses of legacy input scripts as
> programs).
> - Not unnecessarily modify the less well-understood legacy Script.
>
> Another notable difference is the lack of "bare CTV" analogue, which is
> implemented here(https://github.com/instagibbs/bitcoin/tree/p2th) but
> left out of the bundle due to lack of demonstrated utility.
>
> The BIP for `OP_TEMPLATEHASH` is here(
> https://github.com/instagibbs/bips/blob/bip_op_templatehash/bip-templateh=
ash.md)
> and a complete implementation is provided here(
> https://github.com/instagibbs/bitcoin/pull/3). The bundle itself is
> heavily inspired by "LNHANCE"(
> https://delvingbitcoin.org/t/lnhance-bips-and-implementation/376).
>
> We are hopeful that an opcode/implementation-focused discussion can be he=
ld
> concurrently with other efforts such as discussions as to whether
> or not this capability set is a good stopping point, including whether
> this bundle is worth implementing on its own at all, as well as what
> level of assurances we should have as far as tooling and proof of concept=
s
> is concerned.
>
> Best,
> Greg
>
> (1) https://groups.google.com/g/bitcoindev/c/-qJc1EWQzY0
>
> --
> You received this message because you are subscribed to the Google Groups
> "Bitcoin Development Mailing List" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to bitcoindev+unsubscribe@googlegroups.com.
> To view this discussion visit
> https://groups.google.com/d/msgid/bitcoindev/26b96fb1-d916-474a-bd23-920b=
ecc3412cn%40googlegroups.com
> <https://groups.google.com/d/msgid/bitcoindev/26b96fb1-d916-474a-bd23-920=
becc3412cn%40googlegroups.com?utm_medium=3Demail&utm_source=3Dfooter>
> .
>
>
> --
> You received this message because you are subscribed to the Google Groups
> "Bitcoin Development Mailing List" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to bitcoindev+unsubscribe@googlegroups.com.
> To view this discussion visit
> https://groups.google.com/d/msgid/bitcoindev/682337FB-F451-459F-8B4C-56E6=
1C49FA4F%40gmail.com
> <https://groups.google.com/d/msgid/bitcoindev/682337FB-F451-459F-8B4C-56E=
61C49FA4F%40gmail.com?utm_medium=3Demail&utm_source=3Dfooter>
> .
>
--=20
You received this message because you are subscribed to the Google Groups "=
Bitcoin Development Mailing List" group.
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to bitcoindev+unsubscribe@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/bitcoindev/=
CAKwYL5GjrOp5QbwMF%2BvS6dDYPjc7tBNPAZsqVBzb1DcY_h4FpQ%40mail.gmail.com.
--000000000000863935063984b8f5
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
<div dir=3D"ltr">Isn't it indirectly committed to by sha_sequences?</di=
v><br><div class=3D"gmail_quote gmail_quote_container"><div dir=3D"ltr" cla=
ss=3D"gmail_attr">On Wed, Jul 9, 2025 at 3:09=E2=80=AFPM Rijndael <<a hr=
ef=3D"mailto:rot13maxi@gmail.com">rot13maxi@gmail.com</a>> wrote:<br></d=
iv><blockquote class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;bord=
er-left:1px solid rgb(204,204,204);padding-left:1ex"><div>Hey Greg,<div><br=
></div><div>The CTV commitment includes the number of inputs. I notice that=
the TEMPLATEHASH commitment does not. What=E2=80=99s the rationale there?<=
/div><div><br></div><div>Thanks,=C2=A0</div><div><br></div><div>Rijndael<br=
id=3D"m_2949184547047721100lineBreakAtBeginningOfMessage"><div><br><blockq=
uote type=3D"cite"><div>On Jul 9, 2025, at 2:19=E2=80=AFPM, Greg Sanders &l=
t;<a href=3D"mailto:gsanders87@gmail.com" target=3D"_blank">gsanders87@gmai=
l.com</a>> wrote:</div><br><div>Hello all,<br><br>This is a bit of a fol=
low-up from "What's a good stopping point? ... CTV/CSFS..." f=
rom [^1]<br><br>> There has been several objections to this proposal, wh=
ich we can group into three categories:<br>exploration of alternatives, dem=
onstration of usage, and design of the operations to achieve these capabili=
ties<br><br>For this e-mail I would like to address the third point proacti=
vely: design of the operations to achieve these capabilities.<br><br>Antoin=
e Poinsot, Steven Roose, and I have been working on a familiar, yet concret=
e technical proposal that focuses on three well-understood capabilities:<br=
><br>1. "Next transaction" capability, ala BIP119<br>2. "Ver=
ify signature of message on stack", ala BIP348<br>3. "Push taproo=
t internal key onto stack", ala BIP349<br><br>These first two capabili=
ties can offer radical simplifications<br>to well-understood systems when c=
ombined. The third is a simple<br>update that dovetails with the first two.=
<br><br>The BIP text is here(<a href=3D"https://github.com/instagibbs/bips/=
blob/bip_op_templatehash/bip-templatehash-csfs-ik.md" target=3D"_blank">htt=
ps://github.com/instagibbs/bips/blob/bip_op_templatehash/bip-templatehash-c=
sfs-ik.md</a>) and PR here(<a href=3D"https://github.com/instagibbs/bips/pu=
ll/1" target=3D"_blank">https://github.com/instagibbs/bips/pull/1</a>), wit=
h full motivation for this particular bundle and rationale discussing alter=
natives. Our main contribution is a fully specified `OP_TEMPLATEHASH` as a =
drop-in replacement for BIP119 `OP_CHECKTEMPLATEVERIFY`. `OP_TEMPLATEHASH` =
is a simpler and more modern implementation of the "next transaction&q=
uot; capability. It differs in committing to the Taproot annex and being ot=
herwise Taproot native, which allows us to:<div><br>- Use the `OP_SUCCESS` =
upgrade hooks in place of legacy `OP_NOP`s and be able to push the template=
hash on the stack making the flagship use case of rebindable signatures mo=
re efficient.<br>- Re-use the existing pre-computed Taproot sighash fields =
only instead of introducing new ones (substantially simplifying the impleme=
ntation and review of the specifications).<br>- Not commit to the spending =
transaction's scriptSigs (which are both unecessary and may incentivize=
ad-hoc uses of legacy input scripts as programs).<br>- Not unnecessarily m=
odify the less well-understood legacy Script.<br><br>Another notable differ=
ence is the lack of "bare CTV" analogue, which is implemented her=
e(<a href=3D"https://github.com/instagibbs/bitcoin/tree/p2th" target=3D"_bl=
ank">https://github.com/instagibbs/bitcoin/tree/p2th</a>) but left out of t=
he bundle due to lack of demonstrated utility.<br><br>The BIP for `OP_TEMPL=
ATEHASH` is here(<a href=3D"https://github.com/instagibbs/bips/blob/bip_op_=
templatehash/bip-templatehash.md" target=3D"_blank">https://github.com/inst=
agibbs/bips/blob/bip_op_templatehash/bip-templatehash.md</a>) and a complet=
e implementation is provided here(<a href=3D"https://github.com/instagibbs/=
bitcoin/pull/3" target=3D"_blank">https://github.com/instagibbs/bitcoin/pul=
l/3</a>). The bundle itself is heavily inspired by "LNHANCE"(<a h=
ref=3D"https://delvingbitcoin.org/t/lnhance-bips-and-implementation/376" ta=
rget=3D"_blank">https://delvingbitcoin.org/t/lnhance-bips-and-implementatio=
n/376</a>).<br><br>We are hopeful that an opcode/implementation-focused dis=
cussion can be held<br>concurrently with other efforts such as discussions =
as to whether<br>or not this capability set is a good stopping point, inclu=
ding whether<br>this bundle is worth implementing on its own at all, as wel=
l as what<br>level of assurances we should have as far as tooling and proof=
of concepts<br>is concerned.<br><br>Best,<br>Greg<br><br>(1) <a href=3D"ht=
tps://groups.google.com/g/bitcoindev/c/-qJc1EWQzY0" target=3D"_blank">https=
://groups.google.com/g/bitcoindev/c/-qJc1EWQzY0</a></div><div><br></div>
-- <br>
You received this message because you are subscribed to the Google Groups &=
quot;Bitcoin Development Mailing List" group.<br>
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to <a href=3D"mailto:bitcoindev+unsubscribe@googlegroups.com" target=
=3D"_blank">bitcoindev+unsubscribe@googlegroups.com</a>.<br>
To view this discussion visit <a href=3D"https://groups.google.com/d/msgid/=
bitcoindev/26b96fb1-d916-474a-bd23-920becc3412cn%40googlegroups.com?utm_med=
ium=3Demail&utm_source=3Dfooter" target=3D"_blank">https://groups.googl=
e.com/d/msgid/bitcoindev/26b96fb1-d916-474a-bd23-920becc3412cn%40googlegrou=
ps.com</a>.<br>
</div></blockquote></div><br></div></div>
<p></p>
-- <br>
You received this message because you are subscribed to the Google Groups &=
quot;Bitcoin Development Mailing List" group.<br>
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to <a href=3D"mailto:bitcoindev+unsubscribe@googlegroups.com" target=
=3D"_blank">bitcoindev+unsubscribe@googlegroups.com</a>.<br>
To view this discussion visit <a href=3D"https://groups.google.com/d/msgid/=
bitcoindev/682337FB-F451-459F-8B4C-56E61C49FA4F%40gmail.com?utm_medium=3Dem=
ail&utm_source=3Dfooter" target=3D"_blank">https://groups.google.com/d/=
msgid/bitcoindev/682337FB-F451-459F-8B4C-56E61C49FA4F%40gmail.com</a>.<br>
</blockquote></div>
<p></p>
-- <br />
You received this message because you are subscribed to the Google Groups &=
quot;Bitcoin Development Mailing List" group.<br />
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to <a href=3D"mailto:bitcoindev+unsubscribe@googlegroups.com">bitcoind=
ev+unsubscribe@googlegroups.com</a>.<br />
To view this discussion visit <a href=3D"https://groups.google.com/d/msgid/=
bitcoindev/CAKwYL5GjrOp5QbwMF%2BvS6dDYPjc7tBNPAZsqVBzb1DcY_h4FpQ%40mail.gma=
il.com?utm_medium=3Demail&utm_source=3Dfooter">https://groups.google.com/d/=
msgid/bitcoindev/CAKwYL5GjrOp5QbwMF%2BvS6dDYPjc7tBNPAZsqVBzb1DcY_h4FpQ%40ma=
il.gmail.com</a>.<br />
--000000000000863935063984b8f5--
|