summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAnthony Towns <aj@erisian.com.au>2025-03-08 07:36:41 +1000
committerbitcoindev <bitcoindev@googlegroups.com>2025-03-07 14:25:06 -0800
commitf01d8889de60969a994aa3e30a8dc64bacb028d7 (patch)
tree016b3e8095e9b1631f919c34b50d7e040e212539
parent96efd367c45d3c2162d8f434341a1b7871fb0aef (diff)
downloadpi-bitcoindev-f01d8889de60969a994aa3e30a8dc64bacb028d7.tar.gz
pi-bitcoindev-f01d8889de60969a994aa3e30a8dc64bacb028d7.zip
Re: [bitcoindev] "Recursive covenant" with CTV and CSFS
-rw-r--r--37/2fa700948fa725e3e84a1b33d293b886ebce3a177
1 files changed, 177 insertions, 0 deletions
diff --git a/37/2fa700948fa725e3e84a1b33d293b886ebce3a b/37/2fa700948fa725e3e84a1b33d293b886ebce3a
new file mode 100644
index 000000000..f4eb92643
--- /dev/null
+++ b/37/2fa700948fa725e3e84a1b33d293b886ebce3a
@@ -0,0 +1,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.
+