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
|
Delivery-date: Wed, 09 Jul 2025 14:53:44 -0700
Received: from mail-oa1-f56.google.com ([209.85.160.56])
by mail.fairlystable.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256
(Exim 4.94.2)
(envelope-from <bitcoindev+bncBCQ2LBONTACBBXGJXPBQMGQEHS54GRY@googlegroups.com>)
id 1uZcjX-0008PY-IJ
for bitcoindev@gnusha.org; Wed, 09 Jul 2025 14:53:44 -0700
Received: by mail-oa1-f56.google.com with SMTP id 586e51a60fabf-2eb881b55c0sf216206fac.2
for <bitcoindev@gnusha.org>; Wed, 09 Jul 2025 14:53:43 -0700 (PDT)
ARC-Seal: i=2; a=rsa-sha256; t=1752098017; cv=pass;
d=google.com; s=arc-20240605;
b=PTLA3K+tKrdecQ/KsYuqqLvHe1xD8xvOVZNxvedAs4lQRDEpr3IpDOVC3jOdSs8aub
7yFh21WMu+eIK82vYgZiIwLDgVGjBeE2cfmAtasi16VAMnMoMbVTEPhOqlYHONJ91S4o
S2FYzbY6qhT/JCQfgDyrG62rDIqt7oS1hcQK2B8zEZ079msQCLgRWnaLcfXcjnpIwHoH
n6LFnpb9hfkSHjUnogAJGum5ckQ8cRDmYqexPcu2mg4Hg3TBMVaHpcMR0ibu4LljqfIA
ZwfvNp0juAj73hzXZZSAAD4pGoOcS03+vFhxBMDmHKn/OsE3RAQDProg44r6xFEQkuyF
ogiA==
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:references:to:cc:in-reply-to:date
:subject:mime-version:message-id:from:sender:dkim-signature
:dkim-signature;
bh=3PHrm+x3wJKEU5glBXXh33reA/I1jdrid02MSH64yic=;
fh=VSu52Jdw96mxinBasAs8OvHbywVjiFo+q9oRRTO0Kn0=;
b=A8waKzU5QKwX5toi/9LzRgYy3W3VqJDvEiGT5xFju/bFXtk79WEwdlBHK/SqoKAPFC
UN9RijPyZmBvrMJwZ+9wOszirvPhL1QE9mhaELfjM3CB2jfCfBqH/1QG3x6v4Z88xrm1
9w7ayVWz4G+AuM5bbrHoHWZ5YYzCVDKGvauJaGpfGh2kLhJOs78TKB0mXcK8Zl+jnUmt
nJp3e0FkpoglE23yqWxCvDs6eBu7pfnYxMnwkWgu2IKXlS1N/o1YQuqoGS0Y4tYhzZ18
ksGkNqO5bQ85U4IVcdPrOf9AmvOjF/9FCIasI/AvBefV/pY0YKcFG3Mfp6MvuitgFtUR
EwFg==;
darn=gnusha.org
ARC-Authentication-Results: i=2; gmr-mx.google.com;
dkim=pass header.i=@gmail.com header.s=20230601 header.b=Xa8RaElX;
spf=pass (google.com: domain of rot13maxi@gmail.com designates 2607:f8b0:4864:20::832 as permitted sender) smtp.mailfrom=rot13maxi@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=1752098017; x=1752702817; 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:references:to:cc:in-reply-to:date:subject
:mime-version:message-id:from:sender:from:to:cc:subject:date
:message-id:reply-to;
bh=3PHrm+x3wJKEU5glBXXh33reA/I1jdrid02MSH64yic=;
b=J2WXp9onWY0abw0BHXJgufYl255sKIk8NRhgCO40BT82IMijepIvt/lMzxhSeyF2SX
egckA/OVK2OFhVH4pysUNFBKyCUeFSyUUCYCBnM0wQwRxKwt6DY1RZKMWxujYq0fzrZi
LpGN01hHvJ/v9igjAz2CnhNUkPDvJvmgiMH41A/K2e/CujJpiO+iwVycllE190ZUhcWj
9gtgQuWCz59KvIlNOIMYU5n2shrevBM1e4FPxxmX9t/RNBZVvx3Ln1E7jWJM4W/1+1jD
Y26SuZnNkMYZcnKAdlYC7guLQiKb6k/KMM1XsWWDXG9QN7hSFQ2/Rjy3Dn3SR54bLrlA
gBJA==
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=gmail.com; s=20230601; t=1752098017; x=1752702817; 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:references:to:cc:in-reply-to:date:subject
:mime-version:message-id:from:from:to:cc:subject:date:message-id
:reply-to;
bh=3PHrm+x3wJKEU5glBXXh33reA/I1jdrid02MSH64yic=;
b=EM+rAykX+FdS2aybxr0VErGqs/RwC99GCY5m7pGSQ4pgR8n8PXM4Y/68ETHtRw3JXw
cT+DM3zGTRLY9easWNBFx2S5KsDKUyAgIn4idPCIYwgkNj5pWL2a+IYCpzonhStae7l8
zEX23l2zPexcdmSdwLG5UI1gch6M7kDWJ3250/N1fC0bd8SmCMSJOAzySfxgl6mcghUy
CLZJgAKzTOvMeVpu/8kUCKrkDZ5iOO+Cjwym/kQzdXKiJHFBUPjIO3A6g3+M+qkFvYWF
47DlyfxkdaQwkfSGy6BqIh15CEyrK3PGXORK7k2BCY0tQUOARm81+trd4pP4k347taPL
KbOA==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=1e100.net; s=20230601; t=1752098017; x=1752702817;
h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post
:list-id:mailing-list:precedence:x-original-authentication-results
:x-original-sender:references:to:cc:in-reply-to:date:subject
:mime-version:message-id:from:x-beenthere:x-gm-message-state:sender
:from:to:cc:subject:date:message-id:reply-to;
bh=3PHrm+x3wJKEU5glBXXh33reA/I1jdrid02MSH64yic=;
b=NVW0a5MlbYAP9LRQBL2ygWj9zBcAN9azlrzBU2JVTS63maZKWOa7TaSxV0lT3i+QlT
5F7jmcQgo3vWOz6KLvZiI5QJgYb3vybnB4x62485J9wsyyevDpvcaCxod6I1wDjxkMHi
0Nmt4xn/koEWZntG0PQqIAxOjTmf3uRtykTtwJnJEalFznfjoSKIv1ESJkVxwbeQVIvO
vAXXD7Nk5HkX9yqvfaz+VZUlzn4Mc+CPAL6A/kX+vn2T56q5XDwteCsxUshECA5foprF
sR78mwBdZD3tPYgULeoKv66NlTxbqwv5+tBOhZF6z/k5DEGoUT+BUphrgd7jAcj4WE7b
jxRA==
Sender: bitcoindev@googlegroups.com
X-Forwarded-Encrypted: i=2; AJvYcCWUDPSsg1/5JlIN+R3pWoiMMW+foykEX6LQt9q0AWVBrWKQNy85X/yElZXLNvXypHG59r5uLnviza2e@gnusha.org
X-Gm-Message-State: AOJu0Yy1Mi+8vliJfEtyEBu7vSuIShR6ikb4Wtmtu42GEqL7lcAGv4Pu
3R79rY3+ef51hoi4f5ivGoePb4nYJqkE7d6AcGdQ+DR5iRsqnKIBKtXT
X-Google-Smtp-Source: AGHT+IGI5rV18Xm5fdx1JZUg2P/Dnw/+8YHvxeugMg5FGGBgEzwqkY3FEfef+H+3uxKnF1QlIEUq7w==
X-Received: by 2002:a05:6871:6a6:b0:2d5:a360:7df9 with SMTP id 586e51a60fabf-2fef847c02emr2983534fac.5.1752098016773;
Wed, 09 Jul 2025 14:53:36 -0700 (PDT)
X-BeenThere: bitcoindev@googlegroups.com; h=AZMbMZfwdLQCm1IZmWGGU5axQoj4TyuIdlkgCPSizh2OF/ITaQ==
Received: by 2002:a05:687c:209:b0:2ef:51df:c05d with SMTP id
586e51a60fabf-2ff0b8a91cals100493fac.0.-pod-prod-02-us; Wed, 09 Jul 2025
14:53:32 -0700 (PDT)
X-Received: by 2002:a05:6808:201d:b0:3f6:6d8f:1365 with SMTP id 5614622812f47-412ba280b4bmr2965977b6e.3.1752098012183;
Wed, 09 Jul 2025 14:53:32 -0700 (PDT)
Received: by 2002:a05:620a:bc1:b0:7c5:50d5:7703 with SMTP id af79cd13be357-7d43c685e55ms85a;
Wed, 9 Jul 2025 13:05:54 -0700 (PDT)
X-Received: by 2002:a05:6122:17a2:b0:531:215b:c6e2 with SMTP id 71dfb90a1353d-535d72a32b6mr3411542e0c.3.1752091553295;
Wed, 09 Jul 2025 13:05:53 -0700 (PDT)
ARC-Seal: i=1; a=rsa-sha256; t=1752091553; cv=none;
d=google.com; s=arc-20240605;
b=EV3fkgBucIwElMwI54MH0mjdGGLrpXJzakrgpt9GG5ZVMBAsBnhYeyhTj6Pbep0dH7
HoJs1Qa1uYA4CmVD8mgm9CkLdhS0bt4ePIdT1gxqkgTPl11RkzfTv9XK5WhLPhrRLcU8
fyawIx5AFvvqG6bjIK6bhLguvKGK8GzKJQf+oHnX1GWh1DbLLwTnQToTEkl4L9LwSUbk
6BFkfiK61FFCG8TpLmwFarqJjTjh3JDSq4mocCDzqCPo+fBnjwtDj37yh5bQSjcz2O/c
N3Ex3Wg29BgzWP66xA1P1Or/stFnV03szOiKzfr2QQ+2fwnpLHcw0otmNGAz5dzFmQQD
8fyw==
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20240605;
h=references:to:cc:in-reply-to:date:subject:mime-version:message-id
:from:dkim-signature;
bh=LisXRnyy4JhQxqArIElDxp/b2HHEfwB5D1XflZ3nSks=;
fh=uUg3An8dIpkdC3HbbsFSSi57Do9LFtxgew+pMoPTSOY=;
b=Vt9QRnsLHtJAE3G8X3KYcFvg1bEtUv7b2RqRWqfSqnEV9Fk6jySThDJrQd3doRJeDY
4eweOT6ZDf4vaJEc1Lg14YNmJUQNkAAen7PCTo2ebG9SEkGJQAVBfBdE30DXPTldP7H3
9GeVZ6Y5UFQqeYIq/IbjG9Vb1iEPeIh9fytIA6UWyLk4sTzAlGer6PVyY1Is9q1fjVWc
EDOEHuCovlCWxVUav3BbGZPtUURwZHyabIiwkgIqNqp2e4dYWiw0+q2bG6HYajIYPAkQ
sx3739wmOvQGTMLiQZJVuguxaiS+is2QJUJ8afjCK1YzdZpmhubnf6KzuI1hCkGgOSzg
Qo/w==;
dara=google.com
ARC-Authentication-Results: i=1; gmr-mx.google.com;
dkim=pass header.i=@gmail.com header.s=20230601 header.b=Xa8RaElX;
spf=pass (google.com: domain of rot13maxi@gmail.com designates 2607:f8b0:4864:20::832 as permitted sender) smtp.mailfrom=rot13maxi@gmail.com;
dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com;
dara=pass header.i=@googlegroups.com
Received: from mail-qt1-x832.google.com (mail-qt1-x832.google.com. [2607:f8b0:4864:20::832])
by gmr-mx.google.com with ESMTPS id 71dfb90a1353d-53478b9ed74si657925e0c.0.2025.07.09.13.05.53
for <bitcoindev@googlegroups.com>
(version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128);
Wed, 09 Jul 2025 13:05:53 -0700 (PDT)
Received-SPF: pass (google.com: domain of rot13maxi@gmail.com designates 2607:f8b0:4864:20::832 as permitted sender) client-ip=2607:f8b0:4864:20::832;
Received: by mail-qt1-x832.google.com with SMTP id d75a77b69052e-4a585dc5f4aso3550121cf.2
for <bitcoindev@googlegroups.com>; Wed, 09 Jul 2025 13:05:53 -0700 (PDT)
X-Gm-Gg: ASbGnct13DTCTcWj1mYL3fqiTDByU9zTl1ZKzQsjqoi4DwNQ51X43zDISMP+E242T/t
Tkl3hu2zQbfDd7K9/rxgsRumHfU6+kF4OYYzRfagAeAEa6zqLEFAPuqDr4a7gf4xWieEE5y1I2O
QQm68+haUg1P/x2nuhap2UoHAs8rkKqOiUgmbahIZxA/UW97q733QYWz0p8AAwyb8aNmqPN2dW2
2wU1azqB60cIVFMWZtOSFRhvJt8EUZK3ySm8S0UoaUXHdTBMJvM7Bzau3ZSFaT4pyS1RdYDDSwK
6R7BvQW6/T81zn+WH3V+MW7oWRKe014VKAuz1V0nO/DiYCYXDThHFCErCuRTv+DiGPWX6GjC76M
SQfbsSLl/weZbnMWqZI4sXtshwwZEWqBBdMaRYQyHRFxX4cEE46DldRhAf+Aa
X-Received: by 2002:ac8:5c88:0:b0:4a4:2c92:27e3 with SMTP id d75a77b69052e-4a9dece9bc2mr69589711cf.34.1752091552524;
Wed, 09 Jul 2025 13:05:52 -0700 (PDT)
Received: from smtpclient.apple (pool-108-44-242-56.clppva.fios.verizon.net. [108.44.242.56])
by smtp.gmail.com with ESMTPSA id d75a77b69052e-4a994a931desm103327241cf.68.2025.07.09.13.05.51
(version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128);
Wed, 09 Jul 2025 13:05:52 -0700 (PDT)
From: Rijndael <rot13maxi@gmail.com>
Message-Id: <2273A82E-F515-4288-8C94-9768B10808C2@gmail.com>
Content-Type: multipart/alternative;
boundary="Apple-Mail=_D8C9277C-A980-491C-9857-1B2FF4095095"
Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3826.600.51.1.1\))
Subject: Re: [bitcoindev] A Taproot-native (re-)bindable transaction bundle proposal
Date: Wed, 9 Jul 2025 16:05:41 -0400
In-Reply-To: <682337FB-F451-459F-8B4C-56E61C49FA4F@gmail.com>
Cc: Bitcoin Development Mailing List <bitcoindev@googlegroups.com>
To: Greg Sanders <gsanders87@gmail.com>
References: <26b96fb1-d916-474a-bd23-920becc3412cn@googlegroups.com>
<682337FB-F451-459F-8B4C-56E61C49FA4F@gmail.com>
X-Mailer: Apple Mail (2.3826.600.51.1.1)
X-Original-Sender: rot13maxi@gmail.com
X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass
header.i=@gmail.com header.s=20230601 header.b=Xa8RaElX; spf=pass
(google.com: domain of rot13maxi@gmail.com designates 2607:f8b0:4864:20::832
as permitted sender) smtp.mailfrom=rot13maxi@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 (/)
--Apple-Mail=_D8C9277C-A980-491C-9857-1B2FF4095095
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain; charset="UTF-8"
Hey Greg (again),
I think I answered my own question: the TEMPLATEHASH commitment is a subset=
of the bip341 common signature message, which does not commit to number of=
inputs so this doesnt either. The sequences commitment _should_ implicitly=
fix the number of inputs.=20
Rijndael
> On Jul 9, 2025, at 3:59=E2=80=AFPM, Rijndael <rot13maxi@gmail.com> wrote:
>=20
> Hey Greg,
>=20
> The CTV commitment includes the number of inputs. I notice that the TEMPL=
ATEHASH commitment does not. What=E2=80=99s the rationale there?
>=20
> Thanks,=20
>=20
> Rijndael
>=20
>> On Jul 9, 2025, at 2:19=E2=80=AFPM, Greg Sanders <gsanders87@gmail.com> =
wrote:
>>=20
>> Hello all,
>>=20
>> This is a bit of a follow-up from "What's a good stopping point? ... CTV=
/CSFS..." from [^1]
>>=20
>> > 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 o=
perations to achieve these capabilities
>>=20
>> For this e-mail I would like to address the third point proactively: des=
ign of the operations to achieve these capabilities.
>>=20
>> Antoine Poinsot, Steven Roose, and I have been working on a familiar, ye=
t concrete technical proposal that focuses on three well-understood capabil=
ities:
>>=20
>> 1. "Next transaction" capability, ala BIP119
>> 2. "Verify signature of message on stack", ala BIP348
>> 3. "Push taproot internal key onto stack", ala BIP349
>>=20
>> 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.
>>=20
>> The BIP text is here(https://github.com/instagibbs/bips/blob/bip_op_temp=
latehash/bip-templatehash-csfs-ik.md) and PR here(https://github.com/instag=
ibbs/bips/pull/1), with full motivation for this particular bundle and rati=
onale discussing alternatives. Our main contribution is a fully specified `=
OP_TEMPLATEHASH` as a drop-in replacement for BIP119 `OP_CHECKTEMPLATEVERIF=
Y`. `OP_TEMPLATEHASH` is a simpler and more modern implementation of the "n=
ext transaction" capability. It differs in committing to the Taproot annex =
and being otherwise Taproot native, which allows us to:
>>=20
>> - 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 o=
f rebindable signatures more efficient.
>> - Re-use the existing pre-computed Taproot sighash fields only instead o=
f introducing new ones (substantially simplifying the implementation and re=
view of the specifications).
>> - Not commit to the spending transaction's scriptSigs (which are both un=
ecessary and may incentivize ad-hoc uses of legacy input scripts as program=
s).
>> - Not unnecessarily modify the less well-understood legacy Script.
>>=20
>> 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.
>>=20
>> The BIP for `OP_TEMPLATEHASH` is here(https://github.com/instagibbs/bips=
/blob/bip_op_templatehash/bip-templatehash.md) and a complete implementatio=
n is provided here(https://github.com/instagibbs/bitcoin/pull/3). The bundl=
e itself is heavily inspired by "LNHANCE"(https://delvingbitcoin.org/t/lnha=
nce-bips-and-implementation/376).
>>=20
>> We are hopeful that an opcode/implementation-focused discussion can be h=
eld
>> 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 concep=
ts
>> is concerned.
>>=20
>> Best,
>> Greg
>>=20
>> (1) https://groups.google.com/g/bitcoindev/c/-qJc1EWQzY0
>>=20
>> --=20
>> You received this message because you are subscribed to the Google Group=
s "Bitcoin Development Mailing List" group.
>> To unsubscribe from this group and stop receiving emails from it, send a=
n email to bitcoindev+unsubscribe@googlegroups.com <mailto:bitcoindev+unsub=
scribe@googlegroups.com>.
>> To view this discussion visit https://groups.google.com/d/msgid/bitcoind=
ev/26b96fb1-d916-474a-bd23-920becc3412cn%40googlegroups.com <https://groups=
.google.com/d/msgid/bitcoindev/26b96fb1-d916-474a-bd23-920becc3412cn%40goog=
legroups.com?utm_medium=3Demail&utm_source=3Dfooter>.
>=20
--=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/=
2273A82E-F515-4288-8C94-9768B10808C2%40gmail.com.
--Apple-Mail=_D8C9277C-A980-491C-9857-1B2FF4095095
Content-Transfer-Encoding: quoted-printable
Content-Type: text/html; charset="UTF-8"
<html><head><meta http-equiv=3D"content-type" content=3D"text/html; charset=
=3Dutf-8"></head><body style=3D"overflow-wrap: break-word; -webkit-nbsp-mod=
e: space; line-break: after-white-space;">Hey Greg (again),<div><br></div><=
div>I think I answered my own question: the TEMPLATEHASH commitment is a su=
bset of the bip341 common signature message, which does not commit to numbe=
r of inputs so this doesnt either. The sequences commitment _should_ implic=
itly fix the number of inputs. </div><div><br></div><div>Rijndael</div=
><div><br></div><div><div><br><blockquote type=3D"cite"><div>On Jul 9, 2025=
, at 3:59=E2=80=AFPM, Rijndael <rot13maxi@gmail.com> wrote:</div><br =
class=3D"Apple-interchange-newline"><div><meta http-equiv=3D"content-type" =
content=3D"text/html; charset=3Dutf-8"><div style=3D"overflow-wrap: break-w=
ord; -webkit-nbsp-mode: space; line-break: after-white-space;">Hey Greg,<di=
v><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 th=
ere?</div><div><br></div><div>Thanks, </div><div><br></div><div>Rijnda=
el<br id=3D"lineBreakAtBeginningOfMessage"><div><br><blockquote type=3D"cit=
e"><div>On Jul 9, 2025, at 2:19=E2=80=AFPM, Greg Sanders <gsanders87@gma=
il.com> wrote:</div><br class=3D"Apple-interchange-newline"><div>Hello a=
ll,<br><br>This is a bit of a follow-up from "What's a good stopping point?=
... CTV/CSFS..." from [^1]<br><br>> There has been several objections t=
o this proposal, which we can group into three categories:<br>exploration o=
f alternatives, demonstration of usage, and design of the operations to ach=
ieve these capabilities<br><br>For this e-mail I would like to address the =
third point proactively: design of the operations to achieve these capabili=
ties.<br><br>Antoine Poinsot, Steven Roose, and I have been working on a fa=
miliar, yet concrete technical proposal that focuses on three well-understo=
od capabilities:<br><br>1. "Next transaction" capability, ala BIP119<br>2. =
"Verify signature of message on stack", ala BIP348<br>3. "Push taproot inte=
rnal key onto stack", ala BIP349<br><br>These first two capabilities can of=
fer radical simplifications<br>to well-understood systems when combined. Th=
e third is a simple<br>update that dovetails with the first two.<br><br>The=
BIP text is here(https://github.com/instagibbs/bips/blob/bip_op_templateha=
sh/bip-templatehash-csfs-ik.md) and PR here(https://github.com/instagibbs/b=
ips/pull/1), with full motivation for this particular bundle and rationale =
discussing alternatives. Our main contribution is a fully specified `OP_TEM=
PLATEHASH` as a drop-in replacement for BIP119 `OP_CHECKTEMPLATEVERIFY`. `O=
P_TEMPLATEHASH` is a simpler and more modern implementation of the "next tr=
ansaction" capability. It differs in committing to the Taproot annex and be=
ing otherwise Taproot native, which allows us to:<div><br>- Use the `OP_SUC=
CESS` upgrade hooks in place of legacy `OP_NOP`s and be able to push the te=
mplate hash on the stack making the flagship use case of rebindable signatu=
res more efficient.<br>- Re-use the existing pre-computed Taproot sighash f=
ields only instead of introducing new ones (substantially simplifying the i=
mplementation and review of the specifications).<br>- Not commit to the spe=
nding transaction's scriptSigs (which are both unecessary and may incentivi=
ze ad-hoc uses of legacy input scripts as programs).<br>- Not unnecessarily=
modify the less well-understood legacy Script.<br><br>Another notable diff=
erence 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 t=
o lack of demonstrated utility.<br><br>The BIP for `OP_TEMPLATEHASH` is her=
e(https://github.com/instagibbs/bips/blob/bip_op_templatehash/bip-templateh=
ash.md) and a complete implementation is provided here(https://github.com/i=
nstagibbs/bitcoin/pull/3). The bundle itself is heavily inspired by "LNHANC=
E"(https://delvingbitcoin.org/t/lnhance-bips-and-implementation/376).<br><b=
r>We are hopeful that an opcode/implementation-focused discussion can be he=
ld<br>concurrently with other efforts such as discussions as to whether<br>=
or not this capability set is a good stopping point, including whether<br>t=
his bundle is worth implementing on its own at all, as well as what<br>leve=
l of assurances we should have as far as tooling and proof of concepts<br>i=
s concerned.<br><br>Best,<br>Greg<br><br>(1) https://groups.google.com/g/bi=
tcoindev/c/-qJc1EWQzY0</div><div><br class=3D"webkit-block-placeholder"></d=
iv>
-- <br>
You received this message because you are subscribed to the Google Groups "=
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/26b96fb1-d916-474a-bd23-920becc3412cn%40googlegroups.com?utm_med=
ium=3Demail&utm_source=3Dfooter">https://groups.google.com/d/msgid/bitc=
oindev/26b96fb1-d916-474a-bd23-920becc3412cn%40googlegroups.com</a>.<br>
</div></blockquote></div><br></div></div></div></blockquote></div><br></div=
></body></html>
<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/2273A82E-F515-4288-8C94-9768B10808C2%40gmail.com?utm_medium=3Dem=
ail&utm_source=3Dfooter">https://groups.google.com/d/msgid/bitcoindev/2273A=
82E-F515-4288-8C94-9768B10808C2%40gmail.com</a>.<br />
--Apple-Mail=_D8C9277C-A980-491C-9857-1B2FF4095095--
|