From mboxrd@z Thu Jan 1 00:00:00 1970 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 ) 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 ; 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 (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 ) 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 To: Greg Sanders Cc: Bitcoin Development Mailing List Subject: Re: [bitcoindev] "Recursive covenant" with CTV and CSFS Message-ID: References: <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: X-Google-Group-Id: 786775582512 List-Post: , List-Help: , List-Archive: , List-Unsubscribe: , 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.