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
|
Delivery-date: Thu, 03 Jul 2025 01:54:15 -0700
Received: from mail-oa1-f61.google.com ([209.85.160.61])
by mail.fairlystable.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256
(Exim 4.94.2)
(envelope-from <bitcoindev+bncBDBNTKFG4EDRBLEKTHBQMGQEL3EZVUQ@googlegroups.com>)
id 1uXFhu-0004VC-Kz
for bitcoindev@gnusha.org; Thu, 03 Jul 2025 01:54:15 -0700
Received: by mail-oa1-f61.google.com with SMTP id 586e51a60fabf-2efe2648f13sf2886269fac.2
for <bitcoindev@gnusha.org>; Thu, 03 Jul 2025 01:54:14 -0700 (PDT)
ARC-Seal: i=2; a=rsa-sha256; t=1751532848; cv=pass;
d=google.com; s=arc-20240605;
b=Wl+D41QOLOaMLc4M3gA6VWwWALp1Hg9f83d8MkGCiKCANIQ9A1DjXF1yyXypmt8YyI
81t//FD3dIXm6NEM/fOyau4Wo/uUjQ6VP8bIvl9xmsz0R5ISbOHB3Sne/iI2w32gsmxm
jqdrdIbBOaV9MXPxgnEvlTa0myRHZNSQhwmrLmXTXdT79WVNQmhFPJeURtka6YblANyr
NMqqljs0N5zylP38GaQARNohPk3yuNIFcxEQ3xwe+YaI5bST7BNlC6blpBdxoUpGRK1W
ok3m9rp4E3PvMyBrgf4rwKwhg+8ZziUSWxG0mYZtyEEAj6boTlc7JTfO3zXEEM05Hb1V
NRXw==
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:in-reply-to:content-disposition
:mime-version:references:message-id:subject:cc:to:from:date:sender
:dkim-signature;
bh=Qvcg2M79nF9TvVYN7OcvMnx73ppfdA/ZMgfCSlQ+toY=;
fh=fFLKsriAC0OQxs4uAjLWCzzotUlLo5RjYy7U6OADV38=;
b=XUKpeYqA7eGjCBXbKitAXDzBsoD4u8ppYYMuG8LRI9Yu3YUtYgMXH2oMS4iCLXomc9
XhkzsRgXSdo0M1kvQbu+BzTfGosK2DHInriZevTS+zfrHDm8zSasBbNHPwwhkM7xwKCV
fhipViHLaV/DX7hOo3zsKUckN1gYkMZdUU09d4Sn2Pns9BQT+OkT98NuCbXNdxvrE177
N3WieB8KUWMSQMzPTcVV+g/NFI05k3AjJIMc0K2aS4uSwXKW4jQom2q++JOEaD5LRE9C
+R1NOXHzTAGMkKnJ0q13xWZ1Dq5FOe+Tam8KGj1LMR3aQ1x15Elh8QEfhNhZetWmfMwJ
QZMg==;
darn=gnusha.org
ARC-Authentication-Results: i=2; gmr-mx.google.com;
spf=pass (google.com: domain of aj@erisian.com.au designates 172.104.61.193 as permitted sender) smtp.mailfrom=aj@erisian.com.au
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=googlegroups.com; s=20230601; t=1751532848; x=1752137648; 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:in-reply-to:content-disposition:mime-version
:references:message-id:subject:cc:to:from:date:sender:from:to:cc
:subject:date:message-id:reply-to;
bh=Qvcg2M79nF9TvVYN7OcvMnx73ppfdA/ZMgfCSlQ+toY=;
b=tJuZj99/9DibVo1ZJ+lEZRMx90ojt+ZksQna43/mz8mS5z8UOBD/nebYVTQcxRr/Pd
ibM45AuKC3RO99AI6/Z3dl7uhJt15uBVsU/wH9CN+VQPy9zt5mkqWrloxL/8L8kFQ+Ph
7CagqEtZ+BYj81dKTBqmBIq+Yj3m8rwJm0vC7cKzMAEBYmbxYTVOM71uhkeCYAXORXXM
nVOUvstzm4BZ1XzZRPTSlBJsSICYyE6SSdjjksHaABbwEVFMuvAbdsATOEXYWdxWhBhj
JJImGosNpl2C/8a/It4/xB+/0jD292NGopw5+1WclIy4zE6CJU6pRnj9DU2PZWLKDrt7
eHxg==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=1e100.net; s=20230601; t=1751532848; x=1752137648;
h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post
:list-id:mailing-list:precedence:x-original-authentication-results
:x-original-sender:in-reply-to:content-disposition:mime-version
:references:message-id:subject:cc:to:from:date:x-beenthere
:x-gm-message-state:sender:from:to:cc:subject:date:message-id
:reply-to;
bh=Qvcg2M79nF9TvVYN7OcvMnx73ppfdA/ZMgfCSlQ+toY=;
b=mkb6WVqHo+xX+lu4iXevdZT6ZlQeUw3fEHtwhXwuINoeVm/WpwlPUuSfJ+eI4lIhVM
gSLiYC1Hadagy1L+BJx4mSw4iEdrPGwEL4jSsB/ZfDF+VPUPKzHcm64uEP24Fkpsocl9
NoznCAG82z/BLivoJ5x/g0stzrZ7FX4un49jG3/HwCxnB7cAp88TqT+3kAxia5XMAe9E
XwZw2RJ8TSreAKsJpTroMYQ+Fy9uZ+dEGuZ8xoT2+1SBO3r0TJWaVs1pFjjVz9G9Qd5N
g4pgCokJR8ngwZIlGZXJGr3VlDUMw6bs/j1patJM6I/3plPXqu4L2vhCtQCGiS+w0VHJ
90XQ==
Sender: bitcoindev@googlegroups.com
X-Forwarded-Encrypted: i=2; AJvYcCXzZ3KcbmtqFCcUlSBsTZyiKh4v3bigCoYYpJY5nA7EiOtJE4p/QPjtMLVRrCEkfqb5wyhDJHA+hUSq@gnusha.org
X-Gm-Message-State: AOJu0YzX0F0L2YLTcoKESHUJfG5Pz0IwV78G1fE11mR8NLyRybUwdGqD
XhczErQ5VtYxbmae1ooDqa8J+y0CdY9fhNoFUsdwiHNJBxj3hBjhpP5y
X-Google-Smtp-Source: AGHT+IEiGHn2UrWHrXDAtjMuBe9qbL/6DQQ/dlAsZE1bTU9k8HfR1xhxenZsR+Jurjasri4D3VVkQA==
X-Received: by 2002:a05:6808:1811:b0:406:76e4:c4f with SMTP id 5614622812f47-40bf1523e20mr1348118b6e.18.1751532847886;
Thu, 03 Jul 2025 01:54:07 -0700 (PDT)
X-BeenThere: bitcoindev@googlegroups.com; h=AZMbMZePQdYmRrESG458toC0YRYvMtQzh7qLk7hg0jPlrIMwiA==
Received: by 2002:a05:6820:5088:b0:611:76bf:58b6 with SMTP id
006d021491bc7-61200084455ls404470eaf.1.-pod-prod-06-us; Thu, 03 Jul 2025
01:54:03 -0700 (PDT)
X-Forwarded-Encrypted: i=2; AJvYcCV/Mj6T2LPbxF2Z6XOLzQy3M8S7dU4yRxdO0MerJVFR07ha7kYy/q71dHF5O3mbVy13WfQ40oyp2Bm8@googlegroups.com
X-Received: by 2002:a05:6808:d52:b0:40b:3816:6637 with SMTP id 5614622812f47-40bf152546dmr2035556b6e.24.1751532843742;
Thu, 03 Jul 2025 01:54:03 -0700 (PDT)
Received: by 2002:a05:6808:1688:b0:403:484c:9068 with SMTP id 5614622812f47-40b32910ee0msb6e;
Wed, 2 Jul 2025 20:55:39 -0700 (PDT)
X-Forwarded-Encrypted: i=2; AJvYcCXn1eHkdxiHoJ83/a86yfWMKYBkQ3N7YHAv35l0OwskJ2unF4ChO4UO4EFcbUHnYEKUsFS0aWdoH8Qv@googlegroups.com
X-Received: by 2002:a05:6871:5292:b0:2d5:230f:b34a with SMTP id 586e51a60fabf-2f76c7141d5mr1830096fac.9.1751514938316;
Wed, 02 Jul 2025 20:55:38 -0700 (PDT)
ARC-Seal: i=1; a=rsa-sha256; t=1751514938; cv=none;
d=google.com; s=arc-20240605;
b=gX8zZemIgwbOhVA3cxIYk7JiKeaLKCGIfdBmc25Z8hl3Kz34aULOXM3Mn0Q/FQY5f2
M2O7GtR7xj60AZcope+ONAGG7jp5PrXDDCAuQXu8AyFziLLAbpwg2i+W16RB68xw0XgQ
bhTCFQHyuPBqhLk+obPwkzqgq10k7xMYz0UFa4dm7LpnJxQxpyvTdt2jeJeqKjT/YdSd
oio9TTyeoqogkyNQsUaS8hInJlsRxWWTNBWkNgEwHMsiESS+3nz7OlTEO4N9BXWZ5daB
i4cyUtbYfiOY7XM6+8rBgygPzfJTdKIslBgiVd8BbWL+Wd+nDwU+e8vmNXZLdfkXIulW
XBdA==
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20240605;
h=in-reply-to:content-disposition:mime-version:references:message-id
:subject:cc:to:from:date;
bh=0sXwcxzK4b8bpx/FRfiE1mFPmq1+mtwrMcXKXwbfQkI=;
fh=utekUrWgarsMKG1Ve1Ub6jerzb4Ft12nIPb5EnRSce8=;
b=kK8mB8YCG+hxw7OtGv5wqFoBvQxoi24sDmYviTtzWaXlnUWdeBUILOVsBZLYDzi1jk
77+DKd3Xnx8+53z8WDrJlGHn9s4EKERmroZTDYSROB/AlSyGk/zXEOOmDErWcT4xUBRa
zurC+NptJuhDBM/nO81sFlwNdI/AIT+vWC+6NjIpy5vV9oxBJjOxaOstz75wLaEj8/6w
4dXeSozCiZJ7pIBbE8biC1F0yjUSDz0BVOhzptEYOqYqQyQiadKGUcPH77bmqY8cAZvw
JWLyNGN0tvNoUloMW3nJi3JYhPDHXTkS4ezK3Ae5RPyEFOGpiwfT/rMgFyMT69+rHBmU
aJWg==;
dara=google.com
ARC-Authentication-Results: i=1; gmr-mx.google.com;
spf=pass (google.com: domain of aj@erisian.com.au designates 172.104.61.193 as permitted sender) smtp.mailfrom=aj@erisian.com.au
Received: from cerulean.erisian.com.au (azure.erisian.com.au. [172.104.61.193])
by gmr-mx.google.com with ESMTPS id 586e51a60fabf-2efd4eab508si865641fac.1.2025.07.02.20.55.37
for <bitcoindev@googlegroups.com>
(version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);
Wed, 02 Jul 2025 20:55:37 -0700 (PDT)
Received-SPF: pass (google.com: domain of aj@erisian.com.au designates 172.104.61.193 as permitted sender) client-ip=172.104.61.193;
Received: from aj@azure.erisian.com.au
by cerulean.erisian.com.au with esmtpsa (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384
(Exim 4.96)
(envelope-from <aj@erisian.com.au>)
id 1uXB2p-0001GE-1J;
Thu, 03 Jul 2025 13:55:33 +1000
Received: by email (sSMTP sendmail emulation); Thu, 03 Jul 2025 13:55:28 +1000
Date: Thu, 3 Jul 2025 13:55:28 +1000
From: Anthony Towns <aj@erisian.com.au>
To: Matt Corallo <lf-lists@mattcorallo.com>
Cc: Antoine Poinsot <darosior@protonmail.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: <aGX_MNORQVQT_lp4@erisian.com.au>
References: <F5vsDVNGXP_hmCvp4kFnptFLBCXOoRxWk9d05kSInq_kXj0ePqVAJGADkBFJxYIGkjk8Pw1gzBonTivH6WUUb4f6mwNCmJIwdXBMrjjQ0lI=@protonmail.com>
<8a9a2299-ab4b-45a4-8b9d-95798e6bb62a@mattcorallo.com>
MIME-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Content-Disposition: inline
In-Reply-To: <8a9a2299-ab4b-45a4-8b9d-95798e6bb62a@mattcorallo.com>
X-Spam_score: 0.0
X-Spam_bar: /
X-Original-Sender: aj@erisian.com.au
X-Original-Authentication-Results: gmr-mx.google.com; spf=pass
(google.com: domain of aj@erisian.com.au designates 172.104.61.193 as
permitted sender) smtp.mailfrom=aj@erisian.com.au
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.8 (/)
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.
|
