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
|
Delivery-date: Fri, 07 Mar 2025 14:25:06 -0800
Received: from mail-qv1-f62.google.com ([209.85.219.62])
by mail.fairlystable.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256
(Exim 4.94.2)
(envelope-from <bitcoindev+bncBDBNTKFG4EDRBOXEVW7AMGQE5LPTPJI@googlegroups.com>)
id 1tqg7u-0007pl-70
for bitcoindev@gnusha.org; Fri, 07 Mar 2025 14:25:06 -0800
Received: by mail-qv1-f62.google.com with SMTP id 6a1803df08f44-6e19e09cc20sf38600446d6.2
for <bitcoindev@gnusha.org>; Fri, 07 Mar 2025 14:25:06 -0800 (PST)
ARC-Seal: i=2; a=rsa-sha256; t=1741386300; cv=pass;
d=google.com; s=arc-20240605;
b=FaHXLwS/jE2sgR10PfDb3bymPUxz+Xs/AnXsvNx3b6ZkPOw4KeD1446g0Ri76F3IDH
MgmZicxfOysGQ1TIlEgTPcRtTleuinXNjcn4qg3ycFwvVextVGG/UeHSqKbmYEpG0ggV
0mSIH88t0WE97QfY3fLdjdKvJRaXclJrb82qlYg4kzb/Lv2Jf5slzI7zEvnVitVPZHkl
lqAHJ6gmZ+vsjdsc4R1/ulptQlu84AWBNkPExGXbdhBa/FbLiNy9d7DxYf576lf9ccbP
bpz0Wjiw9k2XOWuZh/isxQgv/YTZSOJ8aGo98p4BbdHW2xbqwEIS8ft0q4FHWs0MFZR7
M05g==
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=1P/xs8xbK9evf0rrjPkpSZW211ucLhW31NQb1+tATTk=;
fh=U+ca4y5Z4iFCLxmdGRe0lMnddE4jOHq0XeqGyd2nJmk=;
b=QKFBDERmFQiRkr4jn+9PGb4m3LAVf9O/OdMVBtMXozkrvnFfwDO81LnuQo8/BFKFPA
gOOBITRpMiExL1qd/Az/9zxcbX1HoqV28Lw+Akkm+5rNin2v6B1uviplYBMXi9BEW7Ad
KcMk5FRzvBn8PjQ9r+yr0ixMXR8wHFt0+syswjaedXcgIpbW1+IDOx8v471uiZ1i2+SB
zwJ6+Hv9lKWETdGkcl+TzZDXW+6+67p5Z0b0nxbf5TWwpdGNCRnurAYGREh0W6yiMJKt
g1nDqVvkhj0dnXEtHoVxeqe07wiJFiVrrgDNoR06rqx4S1FNbKfSYgy72kjCmzWJLiyd
+OqA==;
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=1741386300; x=1741991100; 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=1P/xs8xbK9evf0rrjPkpSZW211ucLhW31NQb1+tATTk=;
b=nlPOIWUrwQQuBNdYZNZafHFMVy3SenchEsReJMnXzDAetsfCxmmNuP5yZRI23yp/+/
jozBWzPtL+JsiF6fomtdVIsZfrPNmXEBRvqDlWIHj9U9pYRsTRHcPK/r1/4qn1YMVBiX
FB5I7Xlw6VHc2FXzyHVxznCvMBotj1SwQHGe8KxYH+brDVo1S8Lq+//2aeQJpwnyqwh3
KMvCFiB2dEVjCylCNJsm67SQ8N1ZOTtQm110SPpuegSrpPv9lPu86dmUJJj5ValMqBEi
9k+DpL8A5NSiyqFkyDq8a93JiWEWMxnVhCzANCBboeZMWQWIlMi5Si8ed1J6gXecvmN8
6BUg==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=1e100.net; s=20230601; t=1741386300; x=1741991100;
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=1P/xs8xbK9evf0rrjPkpSZW211ucLhW31NQb1+tATTk=;
b=HJ1pzL9+w1m9h6f1fpJ+0ve7g+E9hXVLvuSG9NVSBlwmBvtUEMeCvpjLAAC+Bvk6gJ
RVHFy7I5EXWEzko5h6S8SijodE7R3JzhFjJQyxnt4C0uj9MtpgLHddaaYVR+PsYBDKns
R8xaDNlIbRc7uDTFNgo7q1tkOOTPGSyZdq4NzrQRWYTpy/RuzCMqA68VNu5DfThyIkgx
Vw3Cfg92YBz+KZxrOAEq2ZiAYsY84DAZ8Sdmeu2JWaJgI6aHXTpyKUTML/gXbGMX46u5
XZ/V1R9hEl0eDIelV0otmGFH/TWouDMz6rlVuv18eEIfA5jDYBtjhcTyBEYDrqIJSbvJ
gwlQ==
Sender: bitcoindev@googlegroups.com
X-Forwarded-Encrypted: i=2; AJvYcCVsT8DF18QU6cycYOhk1U3BpqUH6IyPhgz/v0KqkcuEntjrDulgnBxaheB8REwiDtjjEn2fmL+yZtFE@gnusha.org
X-Gm-Message-State: AOJu0YwQxiKJxlO7HTsNuhb9ual1RjYkv479xBzsPhocUOgiR2cMPN4h
8QOxHO94rjuUingRUUSSzFyDBfESFtvOc/pyegfcn0IoAdLTyWlZ
X-Google-Smtp-Source: AGHT+IHiI90XH8DyPcHj/yLRKmHqQbImW21FfrpFebkaUW8/aja1nSZDRCM1HRzi+ruicSF40D+c/g==
X-Received: by 2002:a05:6214:19ec:b0:6e8:f6d2:e074 with SMTP id 6a1803df08f44-6e9006adbdemr77477116d6.28.1741386300339;
Fri, 07 Mar 2025 14:25:00 -0800 (PST)
X-BeenThere: bitcoindev@googlegroups.com; h=Adn5yVHudk6kKq5pFH6JuVfbTx0RMiAo+88zd0CN72bsWFHcAw==
Received: by 2002:a0c:f911:0:b0:6e8:ea1c:4db2 with SMTP id 6a1803df08f44-6e8f4d7f4e7ls14563426d6.0.-pod-prod-05-us;
Fri, 07 Mar 2025 14:24:57 -0800 (PST)
X-Received: by 2002:a05:620a:a919:b0:7c5:3b3b:c9d8 with SMTP id af79cd13be357-7c53b3bcb01mr249910885a.45.1741386297743;
Fri, 07 Mar 2025 14:24:57 -0800 (PST)
Received: by 2002:a05:620a:a96:b0:7c0:9619:31e1 with SMTP id af79cd13be357-7c3d874d862ms85a;
Fri, 7 Mar 2025 13:36:48 -0800 (PST)
X-Received: by 2002:a05:620a:601c:b0:7c3:9d9a:304a with SMTP id af79cd13be357-7c4e6175f43mr785315685a.46.1741383407174;
Fri, 07 Mar 2025 13:36:47 -0800 (PST)
ARC-Seal: i=1; a=rsa-sha256; t=1741383407; cv=none;
d=google.com; s=arc-20240605;
b=gKc0Oz/J9Qt81zjVLhwzju51jyK2PDP3RExtC1WdzwaUQvXEcqTzu7e8SZv/KLILV8
a+49n47AqfdcpDXBBbzjpFOZEKm9xx3Rh0tJAhqeoNyOn16vz2z/U+p1JxC/16b2Qw5d
feDi3XQhR3RYXgszLRop2SmnSrDn5ORdrDoOejn++BJHEnRDSjEeSTt3zMAp7EitwtgP
Q4iQJMMhEACNfTy/er/eqvvHKrC+CqXhtDJpclWTQTevzmrWdNYumW/6iLVrwfVY1cMQ
K0lEnj3qqjIjwcCVxANi6jFOJM3Do5KUN6PueMpxkbYEomsXwl3nSsMggTn0Eqdlfaqq
LvvA==
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=dz7ZjLHzgem+6ZGFcIM+pRHOqoMcUHyRPflL2NThM8k=;
fh=sjkP8zjFS5lFlY+fNUHD47XPXx06dShKmNgWs4F+if8=;
b=P0CUXGmalQ7GduNshYCdhJPBJsQGViDwqgYYLtBWh9bQkpLbrxz//mleBal2aYXBGC
CPa56ZiJLljlpkJ3sH43qEHosYizKyd4xeUSgGm2s7qFCFD/oHn/oGS8/oqLFrAxSRg2
sNHiGBHWmcZB8l/zF1Vf8U7V7fsUbWllkxll05lPUOTN92K19OLKeY3Qd+vjsHOspnwu
RCjbPMzqUjrPZk9V6hWeIhD6HmBJRECa+l6funld+lpaQqIJKyR1Utr5b2ZAWJnPIt48
ErzF1lfdAAuJnFzh67ILEjIN88FfFASVn6/5XkjyVG+qjtZSQyPXoP9C/Z+CJXfpKIAS
F70A==;
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 d75a77b69052e-4751d96d3bfsi2552191cf.2.2025.03.07.13.36.47
for <bitcoindev@googlegroups.com>
(version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);
Fri, 07 Mar 2025 13:36:47 -0800 (PST)
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 1tqfN5-0006Rt-0n;
Sat, 08 Mar 2025 07:36:44 +1000
Received: by email (sSMTP sendmail emulation); Sat, 08 Mar 2025 07:36:41 +1000
Date: Sat, 8 Mar 2025 07:36:41 +1000
From: Anthony Towns <aj@erisian.com.au>
To: Greg Sanders <gsanders87@gmail.com>
Cc: Bitcoin Development Mailing List <bitcoindev@googlegroups.com>
Subject: Re: [bitcoindev] "Recursive covenant" with CTV and CSFS
Message-ID: <Z8tm6VmhtQxmc2gO@erisian.com.au>
References: <Z8eUQCfCWjdivIzn@erisian.com.au>
<CAO3Pvs-1H2s5Dso0z5CjKcHcPvQjG6PMMXvgkzLwXgCHWxNV_Q@mail.gmail.com>
<1JkExwyWEPJ9wACzdWqiu5cQ5WVj33ex2XHa1J9Uyew-YF6CLppDrcu3Vogl54JUi1OBExtDnLoQhC6TYDH_73wmoxi1w2CwPoiNn2AcGeo=@protonmail.com>
<17e7eb49-77b7-4f2f-be40-a6649e610ce5n@googlegroups.com>
MIME-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Content-Disposition: inline
In-Reply-To: <17e7eb49-77b7-4f2f-be40-a6649e610ce5n@googlegroups.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 Thu, Mar 06, 2025 at 09:17:41AM -0800, Greg Sanders wrote:
> > Of course it depends on the specifics, but rewriting a clean interpreter
> > that we can actually reason about does not strike me as a necessarily
> > riskier approach than "just changing a few lines of code" in an interpreter
> > that hardly anyone knows how it really behaves in all cases.
> It's certainly something to consider when weighing further off Bitcoin
> Script updates: From here is something like "Great Script Restoration" ever
> the right choice vs a from scratch overhaul? I am less persuaded that
> consensus risk is particularly high for very narrowly scoped changes,
> ignoring the "fixed" costs of changing consensus, maintenance burden, MEVil
> risks, etc. The risk-reward ratio may be suboptimal of course.
I think "narrowly scoped changes" is doing a lot of work there. Was
tapscript a narrowly scoped change? I would have said so. However,
one thing it did was remove the limit on sript size/opcodes, which
necessitated a change to how OP_IF/OP_ELSE were implemented to avoid
potential quadratic execution time in the length of the script.
https://github.com/bitcoin/bitcoin/pull/16902
On the other hand, treating the current interpreter code as an artifact
of wise ancients, whose knowledge of how to safely modify it has been
lost to time doesn't really seem like a great approach to me, either.
Cheers,
aj
--
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/Z8tm6VmhtQxmc2gO%40erisian.com.au.
|
