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
|
Delivery-date: Fri, 04 Jul 2025 06:08:55 -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+bncBDL4XL646QOBBXNET7BQMGQEOONJ2VI@googlegroups.com>)
id 1uXg9u-0000Nc-VP
for bitcoindev@gnusha.org; Fri, 04 Jul 2025 06:08:55 -0700
Received: by mail-oo1-f63.google.com with SMTP id 006d021491bc7-61200aa771dsf637449eaf.3
for <bitcoindev@gnusha.org>; Fri, 04 Jul 2025 06:08:54 -0700 (PDT)
ARC-Seal: i=2; a=rsa-sha256; t=1751634529; cv=pass;
d=google.com; s=arc-20240605;
b=iSOJfeCVlzKlxnkwdXbLp/wFhqEeQ1FC5NFpF+6gmoDLsjpzlB28s14EuvPT8CV0ud
9NYdrHzpNYwpNBTqhVr+aVJOCMZvlWGGNtIlyJu5sKalKlykmuHoW7bx/lQ6C1oLOhG2
U4OVqBfwVX5sNuiglMnGOAPpl/7p6TZY9fK6rH7alwDEZxAV+yzm9xet3ZO/tUFEKAej
s+un2aO4k/jWKXtH8o5AFlqGSIdX0PWGbV25aX9pg86egegumcwS6YiAN7vcdLSPGfcR
JBe3v3PZTG0QLObczbXgCNUxJSvYj/vZS87MscW22sxOyp+ll2V4Uzg6Jr32RJGw651/
TdFw==
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:reply-to:mime-version:feedback-id
:references:in-reply-to:message-id:subject:cc:from:to:date
:dkim-signature;
bh=qMi32KknY0mX3VF786+CpZ/3Fozb41S96mg60Dsk5Eg=;
fh=ODomk5dpf2EYtDoOZ1CtI0JEhAJMhGm4BSedlNIk0nY=;
b=VF7MQF+6JBww4Z2iCNIMR3NnnMJDK1gyAstW6CidzcNqfnKrY0rvDkHqMAHWyTdMBX
eCa5rlFzBiQZV9knTd1maF4RjkaU3HTOCqGnRyS+xsHhBvy79vqiNFBiIzq5iKsJVdwo
siDFjcalvUcratg8n5jmaqaUhcO95wmZ9LNHVR0xNBR3RJhwprZoFfLTHi4ZnCS5NZef
zRrc3lxFjY8tTtYfQOhA6ldIWiaNhJQqGEz8OFVnC8YSVFzNaL3Jnkk4v1S4xBlW+sNZ
51Chw17WbZ1GYAZnfBwNqAzirwfFdmIERhbCBb35anvupz0cVhXZVFEgCA19iMe5Cwa+
ByAw==;
darn=gnusha.org
ARC-Authentication-Results: i=2; gmr-mx.google.com;
dkim=pass header.i=@protonmail.com header.s=protonmail3 header.b="gd/DdGMQ";
spf=pass (google.com: domain of darosior@protonmail.com designates 185.70.43.16 as permitted sender) smtp.mailfrom=darosior@protonmail.com;
dmarc=pass (p=QUARANTINE sp=QUARANTINE dis=NONE) header.from=protonmail.com
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=googlegroups.com; s=20230601; t=1751634529; x=1752239329; darn=gnusha.org;
h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post
:list-id:mailing-list:precedence:reply-to
:x-original-authentication-results:x-original-sender:mime-version
:feedback-id:references:in-reply-to:message-id:subject:cc:from:to
:date:from:to:cc:subject:date:message-id:reply-to;
bh=qMi32KknY0mX3VF786+CpZ/3Fozb41S96mg60Dsk5Eg=;
b=UqlEbqgL50KnFx14wFlRTrUHWWgYGlU89VuG58yhtsiQdiD6EImuVgraVKK8s+nGb5
CxipXcDvd7cqG0Mr7wKTvHEIiWL2KuwHY6c+hovd6KOCatHebJVTS2O7GW++39Z71Vc6
YXXzfpUbeGWXZur+CUzoUqDePi+HQ5HAXWXce8NN1estZIirai/VvmewC7N+bwn2RTyi
4VyNJUp8gR/AXJZyvYVb4CBjsB6s55I/C0jz5zKES0tAighNjSKYU/FwbCgHtKWsNB9b
nhQfmNGwXG9Qv0R6pV3w0bEuxF7AFNSHkMqsZRbRxtj0P8EVuzgWo3xU2xKhjov2IVji
b7og==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=1e100.net; s=20230601; t=1751634529; x=1752239329;
h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post
:list-id:mailing-list:precedence:reply-to
:x-original-authentication-results:x-original-sender:mime-version
:feedback-id:references:in-reply-to:message-id:subject:cc:from:to
:date:x-beenthere:x-gm-message-state:from:to:cc:subject:date
:message-id:reply-to;
bh=qMi32KknY0mX3VF786+CpZ/3Fozb41S96mg60Dsk5Eg=;
b=eo5v56iUKJMKGjZ9LndOoaoJ/a7L38iL+wADqlPZEb6sw/5/nd92ZRuFcaIwC5W+Nx
ds3sAG1vYRq0sMX3xUZN1PpeW/tVHRpTF/bsy/aLfkcGqJA0x6zt5bKyU1PFCgR2Cmm9
mpv0UDzf716LB5s9phOZCUJ7KKtDkT/iAW6RJl3vHTiEgeEOG+pZc4qOJtI7dyyTBxcZ
jWL1INBKXu/jDoHj+FEkz/Stz5vf6IfnVdx+YnSTV/n839J/gKtNgWHesyCUopdSCHM6
LZAIJ/YGCkBBM4NPRO1oU66FusxtfPgRNC5VvqHwk47w25UXEWdroKqT8MKoVZfk7IVQ
vP0Q==
X-Forwarded-Encrypted: i=2; AJvYcCVmd5HkHmhznJUn8MBRgoiHBY2G8FX647vx4fFsfuo/mqhOB3HjH8KJa3kJT6UgcD+6//xWzwIfOGqX@gnusha.org
X-Gm-Message-State: AOJu0YycFaug//EPzWJ+cgRued7Ibf4J91lO0V/5VW3GjLkfcJ4Lppc3
fB6nZqqb4AR96x5nKN5oB4bGu9TyX3LTWcUZg45Ubld5f2fbHPvVaM4F
X-Google-Smtp-Source: AGHT+IFvVO0gP/C7TqGBRGF2zKva/5NBOhafNYvVo8AxMiVevhdsEVki9QkdDuqfGMXsXIp+c7/PyQ==
X-Received: by 2002:a05:6820:905:b0:611:b1c7:23f with SMTP id 006d021491bc7-61392358060mr1256889eaf.0.1751634528710;
Fri, 04 Jul 2025 06:08:48 -0700 (PDT)
X-BeenThere: bitcoindev@googlegroups.com; h=AZMbMZeUSqOOLw5txEwEcQ6qBc2c+wYQ2pHmie4SMYKWDcpbgg==
Received: by 2002:a05:6820:1897:b0:611:a15e:a1e5 with SMTP id
006d021491bc7-613955aa903ls151838eaf.1.-pod-prod-07-us; Fri, 04 Jul 2025
06:08:45 -0700 (PDT)
X-Forwarded-Encrypted: i=2; AJvYcCWE98cEJK5iyo51bBC/XyWlv6rv3ZkxD5gZAM9vNAHkkOK6xAzGQ03PehfOQFpS517qb9D2Ug3ULbTv@googlegroups.com
X-Received: by 2002:a05:6808:1895:b0:40a:ab2f:618 with SMTP id 5614622812f47-40d073f8a4amr1190661b6e.38.1751634525346;
Fri, 04 Jul 2025 06:08:45 -0700 (PDT)
Received: by 2002:a05:6504:2152:b0:2b1:97ca:fe9d with SMTP id a1c4a302cd1d6-2b5fb633948msc7a;
Fri, 4 Jul 2025 06:03:03 -0700 (PDT)
X-Forwarded-Encrypted: i=2; AJvYcCUn/5HwDan8kOtefKw0T3g2XBHXfD671mDc7KJaE69chfkWU8+KxAqhnRq/y2AhZ8jCrGIQwLpE964A@googlegroups.com
X-Received: by 2002:a05:6512:ea1:b0:553:3514:1a53 with SMTP id 2adb3069b0e04-556e6569ae8mr931706e87.4.1751634180181;
Fri, 04 Jul 2025 06:03:00 -0700 (PDT)
ARC-Seal: i=1; a=rsa-sha256; t=1751634180; cv=none;
d=google.com; s=arc-20240605;
b=JRZO+aKxaF6xU4B21NQWr8D7KcgrOTZsQVAfADqMgoo4b7L8mO+AyNMelUkvdChhdK
Bb571Hwsbk2iVmSrIZpNYkyTd6jNwZavAp9bEdTneHIJdFVOnWVrbh3tvi65uNGRUxWT
wq+EeZGaMSgvWa9ySnGEOwaKXN2e4bNkYYfcnXbnjUNE76J9LqRESL2SrV4OyjdYAeg6
EXV/iFqVSuKk0xqfo0fAV6NI6tPgWSNZbUVPzRW3s4PLxApO3jvkpSC7jTX0kb3owifM
Y/BAsCuHJUbOEUXBvOEz0loykH6Hir2YB7M7scB6hBMBZpz1Y+/uC/DBhHp0CfzFy8Tk
XmjQ==
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20240605;
h=content-transfer-encoding:mime-version:feedback-id:references
:in-reply-to:message-id:subject:cc:from:to:date:dkim-signature;
bh=c/zo6uh1mJZjRXb6zI0AMoijnRXG4hIXqtpd/vbhFAE=;
fh=96VGSNo43hvXIGiJOMKaCcMfnwsZhCbiujAdNg25swA=;
b=WTZeNGKtZVHBoCmp4dj3+bkkU7khEPNgK1J45e/16txQ7Jx6RwPErpjkzJjTwu2NM+
0rj3GGc3zS6ptszCFk43IRoUTwNXcKMPO1IqSUktylxVFFzNtsYycLggKFSjaAwri8yt
IP7c9vcrF6S7314JiP5QR2NUAS/awJ68uvXu3DriFE+D9DH0JQi9qj/a1nprvp7xdVZu
WTu7O2mSe6mAZ/TqCUSJZAq6kI+XHIguNrHQpISRyMGMViWsgAIOkaDyB4Fl6WJSi5Vh
M6mg2GDWdbXAGJInGOdqIn+p02za7fbePbiNCCnqReVnqtQorrQZv/3SqWy4OLwG4cs3
QVgQ==;
dara=google.com
ARC-Authentication-Results: i=1; gmr-mx.google.com;
dkim=pass header.i=@protonmail.com header.s=protonmail3 header.b="gd/DdGMQ";
spf=pass (google.com: domain of darosior@protonmail.com designates 185.70.43.16 as permitted sender) smtp.mailfrom=darosior@protonmail.com;
dmarc=pass (p=QUARANTINE sp=QUARANTINE dis=NONE) header.from=protonmail.com
Received: from mail-4316.protonmail.ch (mail-4316.protonmail.ch. [185.70.43.16])
by gmr-mx.google.com with ESMTPS id 2adb3069b0e04-55638464d1dsi39954e87.9.2025.07.04.06.02.59
for <bitcoindev@googlegroups.com>
(version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);
Fri, 04 Jul 2025 06:02:59 -0700 (PDT)
Received-SPF: pass (google.com: domain of darosior@protonmail.com designates 185.70.43.16 as permitted sender) client-ip=185.70.43.16;
Date: Fri, 04 Jul 2025 13:02:54 +0000
To: Anthony Towns <aj@erisian.com.au>
From: "'Antoine Poinsot' via Bitcoin Development Mailing List" <bitcoindev@googlegroups.com>
Cc: Matt Corallo <lf-lists@mattcorallo.com>, Bitcoin Development Mailing List <bitcoindev@googlegroups.com>
Subject: Re: [bitcoindev] What's a good stopping point? Making the case for
the capabilities enabled by CTV+CSFS
Message-ID: <4TrCdBvommfJvrK94SqEmNb_pBwsF8dW1n2dY3MYX_z0IMmy4bXoMkrhQ3SBdSnWA6gYMkCgssjzLmH0iauwKuoh_9T4_kLrs_Q5knYPXG0=@protonmail.com>
In-Reply-To: <aGX_MNORQVQT_lp4@erisian.com.au>
References: <F5vsDVNGXP_hmCvp4kFnptFLBCXOoRxWk9d05kSInq_kXj0ePqVAJGADkBFJxYIGkjk8Pw1gzBonTivH6WUUb4f6mwNCmJIwdXBMrjjQ0lI=@protonmail.com> <8a9a2299-ab4b-45a4-8b9d-95798e6bb62a@mattcorallo.com> <aGX_MNORQVQT_lp4@erisian.com.au>
Feedback-ID: 7060259:user:proton
X-Pm-Message-ID: 3682bc18f40d6cda599d700385f96dfd087fc670
MIME-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
X-Original-Sender: darosior@protonmail.com
X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass
header.i=@protonmail.com header.s=protonmail3 header.b="gd/DdGMQ";
spf=pass (google.com: domain of darosior@protonmail.com designates
185.70.43.16 as permitted sender) smtp.mailfrom=darosior@protonmail.com;
dmarc=pass (p=QUARANTINE sp=QUARANTINE dis=NONE) header.from=protonmail.com
X-Original-From: Antoine Poinsot <darosior@protonmail.com>
Reply-To: Antoine Poinsot <darosior@protonmail.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: -1.0 (-)
I agree the BitVM/CTV idea suggests inspection of other inputs can be useful for applications
leveraging connector outputs.
While it is potentially compelling, the BitVM use case was only briefly presented, with no
demonstration or even detailed description of how it would work in practice. This makes it hard to
assess the costs and benefits of this approach. Furthermore, it's hard to assess how much of an
improvement it brings to Bitcoin users as BitVM has yet to be delivered and see any meaningful
adoption.
As Greg responded when it was raised earlier in this thread[^0], as things stand today i don't think
this idea justifies the leap in expressivity.
Best,
Antoine
[^0]: https://gnusha.org/pi/bitcoindev/8d37b779-bf2e-4f63-a51c-9953434d7553n@googlegroups.com
On Thursday, July 3rd, 2025 at 4:54 AM, Anthony Towns <aj@erisian.com.au> wrote:
>
>
> On Tue, Jun 24, 2025 at 11:54:02AM -0400, Matt Corallo wrote:
>
> > > which
> > > warrants a compelling demonstration that arbitrary transaction introspection
> > > does enable important use cases not achievable with more minimal capabilities.
> > > I'm somewhat skeptical that showing this isn't rather simple,
>
>
> I think the BitVM/CTV idea posted on delving [0] is one such simple demo?
>
> I gave an example in that thread of how you'd implement the desired
> construct using bllsh's introspection primitives, but the same could
> equally well be done with Rusty's as-yet unpublished OP_TX, something
> like:
>
> DUP 0x1011 TX 0x00000002 EQUALVERIFY 0x1009 TX 0x0809 TX EQUALVERIFY
>
> where:
>
> * "0x1011 TX" pops an input index from the stack and gives the four-byte
> vout index of that input's prevout
> * "0x1009 TX" pops an input index from the stack and gives the txid of that input's
> prevout
> * "0x0809 TX" gives the txid of the current input's prevout
>
> (this encodes "this utxo can only be spent (via this path) if its sibling
> output at index 2 is also being spent in the same transaction")
>
> Cheers,
> aj
>
> [0] https://delvingbitcoin.org/t/how-ctv-csfs-improves-bitvm-bridges/1591
>
> --
> 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/aGX_MNORQVQT_lp4%40erisian.com.au.
--
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/4TrCdBvommfJvrK94SqEmNb_pBwsF8dW1n2dY3MYX_z0IMmy4bXoMkrhQ3SBdSnWA6gYMkCgssjzLmH0iauwKuoh_9T4_kLrs_Q5knYPXG0%3D%40protonmail.com.
|
