diff options
author | Anthony Towns <aj@erisian.com.au> | 2025-03-08 07:36:41 +1000 |
---|---|---|
committer | bitcoindev <bitcoindev@googlegroups.com> | 2025-03-07 14:25:06 -0800 |
commit | f01d8889de60969a994aa3e30a8dc64bacb028d7 (patch) | |
tree | 016b3e8095e9b1631f919c34b50d7e040e212539 | |
parent | 96efd367c45d3c2162d8f434341a1b7871fb0aef (diff) | |
download | pi-bitcoindev-f01d8889de60969a994aa3e30a8dc64bacb028d7.tar.gz pi-bitcoindev-f01d8889de60969a994aa3e30a8dc64bacb028d7.zip |
Re: [bitcoindev] "Recursive covenant" with CTV and CSFS
-rw-r--r-- | 37/2fa700948fa725e3e84a1b33d293b886ebce3a | 177 |
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. + |