From mboxrd@z Thu Jan 1 00:00:00 1970 Delivery-date: Fri, 07 Mar 2025 13:26:43 -0800 Received: from mail-qv1-f58.google.com ([209.85.219.58]) by mail.fairlystable.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256 (Exim 4.94.2) (envelope-from ) id 1tqfDO-0005SM-9B for bitcoindev@gnusha.org; Fri, 07 Mar 2025 13:26:43 -0800 Received: by mail-qv1-f58.google.com with SMTP id 6a1803df08f44-6e8caff3bacsf22715746d6.1 for ; Fri, 07 Mar 2025 13:26:42 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1741382796; cv=pass; d=google.com; s=arc-20240605; b=EYkLg19lg/H9Gc4HreWOTLPvHWxBUN6PD9mtLsnCQaM3RSHc55p/UezidJVH45cBF2 vgdZN4DYTUKBxSJdaOjawRLG3aq2aOo2txR2H6y2aIgmAgMFDS50WI09KFd+NA92Ptlj E7kMyi9FqjhM39yXYap4Q+8QQ2Ce3udJcf4PFj+GH5yNB3aIzOSBELubiKHlZCfPfrP3 JNbjvUdljpe37KzHet5sbm+nPkoeZdefT7BuyKThC6rjDFHjqbCqk4Um4t10JUd5kZTp IfMAShB/xJifTU0npjXHRzqoIphIR29QzlNxMDZ3ywSzFLaLsodqRFiJ1W+6losLA+fq yIRQ== 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=Hd3dhW9lcWgQ+BA/ZUeD/KF+A+qUKCkYZ9bcgArMPv4=; fh=n9VBwYuH+DPT2NvF+NQx5ydzLlNIASD1cDmL2sit2l0=; b=azIFBwlzhgloF71aFIU4h/chTqPzoA+sTsAztUDepbukUWzhyW+HT3rQ5OE/4nE6aV oyL+ZTbBlS1lZ0rtvzcY+pIMc7ImPl8m/Yolhyo3iAKwEOS1ajvdyfJimSakvwDPwNGw WfxbI07bN+S1eNn664u5KfXUKnajdZMcorjtdD87xBDuRh87GAw0y6rx/6nDQUWcCQBh HyB3Xw911/xm4v1YF3wLhXvDztF+Y/f65oyfo9x1KnPq0F/wL/q5WosMfWxkwnOR83DI nlM7YCjmQI1miAGkv5XCAn3eXAUhSxG63JKMHGy+Bk9vePMDGtMmbyju/w08o5IGJITE O/RQ==; 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=1741382796; x=1741987596; 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=Hd3dhW9lcWgQ+BA/ZUeD/KF+A+qUKCkYZ9bcgArMPv4=; b=gR5dH5YSfeaF1uy2jRaTY8X0023iO7wyfAGfsGRAjHnBpsNyeFHASu5rX2skzEV1Fl dDRACMda20wGmBOPFgTKm6zSWCUA99giXFZLXOEfeG9V3J5B6GHca0AZYwhGaXOFGjUC nwIkxYu3XlZ1OlfO1lp3JSc9zxxIU0UKbp38aRVFFARTxJU+Kq2vsD0mSAUsVWgEg+vt SJZgerpkw6Uv8pKuOT6Wy2jN7F2dQ8gTfzXxDe6Cjo3017BpUg+1sbokScjf3Ire0MTv EhyL4r+Dyj3Kv9noJtWNUFdEahLVIA1xuk4HFgGr/6nkI9aN6kwWvq6L9CGAjSpOaqV5 rPiw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1741382796; x=1741987596; 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=Hd3dhW9lcWgQ+BA/ZUeD/KF+A+qUKCkYZ9bcgArMPv4=; b=t5gsX9SekcS0Im66+ak+448uhzgafF+SW/xP0abKS9gDbiM7c4TypETA+qHyB/p6td 55FP36ljOrJ0HxTyaXDRnmBj4lK6SlZH9HN8GEZNtC+pW7pP32sbr7Sn5gMgaVq6QARq iPGnGNx3Jp6AEUe6AWpYPt8G5h87NkkcQcUGGMGVt9wi3+oXREWxnTwXb9QtmDFm7/tW qwbkP/Dw2BROMNqjidmiwPIMSfv7NU7qMPUzDknBoAm6oUGhndYWv1PW/NsaSa+Hwcde cPAeJhuQAN52zpTpL9G25P11q+4m6zqxfAi7KEmBzBZ3zV9cvO5eTJDkF6YSJ1FJYjyV IkfA== Sender: bitcoindev@googlegroups.com X-Forwarded-Encrypted: i=2; AJvYcCWBjuOzdlnfoHeFHsowUOL0DsGT623rDNzu6IuRYB44roOaudEgUXmuBluhp19+zbl5ABBUlVjDv+GX@gnusha.org X-Gm-Message-State: AOJu0YxtvzW5o3TmagE0L+I0H7TgbhMJvIb7LlNWYrhwvE3cOLUk8KJ8 slQK3vSeEqHj3yVeuIX8zu+IJvmKieAiXPJ0Hub5Km9jd9p+LMIu X-Google-Smtp-Source: AGHT+IHedlXjuo8iOEyafiy9y3y4eDgFpHN43wKuzPudAYvdgYM27qCsfQOcZtWeyvDMdcFmU2jXgw== X-Received: by 2002:a05:6214:76f:b0:6e4:442c:288b with SMTP id 6a1803df08f44-6e90061b67amr61042456d6.11.1741382796276; Fri, 07 Mar 2025 13:26:36 -0800 (PST) X-BeenThere: bitcoindev@googlegroups.com; h=Adn5yVEy6OJX56YGu3fSiX1B7qklzaS7/cx20b9zFpuF1oTi7A== Received: by 2002:ad4:5883:0:b0:6d8:f050:cdf8 with SMTP id 6a1803df08f44-6e8f4ef1a4bls32150566d6.1.-pod-prod-08-us; Fri, 07 Mar 2025 13:26:32 -0800 (PST) X-Received: by 2002:a05:620a:2605:b0:7c3:c869:1af8 with SMTP id af79cd13be357-7c4e1685d0amr777388885a.18.1741382792540; Fri, 07 Mar 2025 13:26:32 -0800 (PST) Received: by 2002:a05:620a:1447:b0:7b6:d2da:e6ae with SMTP id af79cd13be357-7c53d8443d3ms85a; Fri, 7 Mar 2025 13:01:48 -0800 (PST) X-Received: by 2002:a05:622a:1aa2:b0:471:9b3f:2464 with SMTP id d75a77b69052e-476109bb81fmr63790011cf.31.1741381307106; Fri, 07 Mar 2025 13:01:47 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1741381307; cv=none; d=google.com; s=arc-20240605; b=a3C/TphZZYKUBe6zBwYJyecbSjsXga9iE23mdVRaeVtiP2/Nk2gu+G1j2olD5AIMg0 8yRX05Ysv1WyYfvDTVqEEmJ33Ul/kn0l+7oqJuxRQ66dl47iPchERoLQazug2kda4SKe khevp6OaXWeEoORpQZybS06AyKhTbA167RZkIC80sDRFW9Nw7lsslThMXtv8iCDjFyP3 I1jE5MTpVb93sLMT3wZOY0XoFHeLgmBu+XaWrw0x9FFtj3wSXJOStqw8Uk9/1vNAKqdw iiJDp75DF40GnQl4Lv9HuK36Lhp3QMLYfm63SnI7JrlfQ5hRsyngYzXEXzDl588ERPbg 8+vw== 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=JsF0sImdHy0jhrNF6NsKkLTszaLtZXEiqxF08W9gvJ0=; fh=tCazLmuX0HMQAFc96JLOR/ZBOwnlobOcWRYfgsyfN4Q=; b=R3BaKDeThXdt5jSiqNEpJFKmKDVTTpCh+Yxu6eqxr+vC6XA/DQ+gmBm81PJvGpIgg8 b5e21zT2LxdMHV1JYnDJ9tjgfZmEhVXbxA8dZLQitYqLijmSbRBu5YqXF+a8zRLd9YaS CGM+OrUqfRCqLyDau3+D+ImafvPVKvGvvEaH7lUNaVh7M+wQHJAsY5eHO0mTk9V4emgD KPg+BUOEBdfyyS7742BQ5M+auWE0X6LV9LyZcgkZYflWv/V9CTlgAZ70VjKL1VyZqvDW 3VFLXgJYiK2c+NmxmbXhZ7+QxPkwIOe3TZKpHkHSVQhuMM0S8JrWyvun00CTxYkC44Yc 8Z7w==; 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-4751d96d3bfsi2516401cf.2.2025.03.07.13.01.46 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 07 Mar 2025 13:01:46 -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 1tqepC-0006Fo-0o; Sat, 08 Mar 2025 07:01:44 +1000 Received: by email (sSMTP sendmail emulation); Sat, 08 Mar 2025 07:01:39 +1000 Date: Sat, 8 Mar 2025 07:01:39 +1000 From: Anthony Towns To: Olaoluwa Osuntokun Cc: bitcoindev@googlegroups.com Subject: Re: [bitcoindev] "Recursive covenant" with CTV and CSFS Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Disposition: inline In-Reply-To: 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 Tue, Mar 04, 2025 at 10:14:59PM -0800, Olaoluwa Osuntokun wrote: > > Since BIP 119's motivation is entirely concerned with its concept of > > covenants and avoiding what it calls recursive covenants > If we look at the motivation section of BIP 119, we find this sentence: > > This BIP introduces a simple covenant called a *template* which enables a > > limited set of highly valuable use cases without significant risk. BIP-119 > > templates allow for non-recursive fully-enumerated covenants with no > > dynamic state. > You appear to have latched onto the "non-recursive" aspect, ignoring the > subsequent qualifiers of "fully-enumerated" and "with no dynamic state". > > The example that you've come up with to "directly undermine" the claimed > motivations of BIP 119 is still fully enumerated (the sole state is declared > up front), and doesn't contain dynamic state (I can't spend the contract on > chain and do something like swap in another hash H, or signature S). The reason "fully-enumerated" provides any "safety" is that it occurs when the scriptPubKey is chosen -- without the availability of CSFS, you either include the CTV hash in the scriptPubKey or the use of CTV provides no protection at all. My example does not include the CTV hash in the scriptPubKey, which is what allows the CTV hash to then commit to the scriptPubKey, which in turn allows for the unbounded recursion. If you instead did not delete the CSFS private key would allow you to swap in another hash H or signature S in future. That would perhaps allow designing an unbounded state machine where a master key can add new states in future. It's not immediately obvious to me if there's anything interesting that can be done with that. In any event, if there is some weird subset of use cases that are somehow both scary and still prevented even by the combination of CTV and CSFS the BIP should be updated to document that. > > For me, the bllsh/simplicity approach makes more sense as a design > > approach for the long term > Simplicity certainly has some brilliant devs working on it, but after all > these years it still seems to be struggling to exit research mode with some > "killer apps" on Liquid. https://github.com/ElementsProject/elements/pull/1427 suggests Simplicity's potentially going live on Liquid any day now. > The current Overton Window appears to be focused on a > small (LoC wise) package to enable a greater degree of permissionless > innovation on Bitcoin, while leaving the research landscape open for more > dramatic overhauls (bllsh/Simplicity) in the future. The concept of an "Overton window" is a political one, used for when there has been successful political pressure to exclude some subjects from discussion for reasons other than their underlying merits. That's not a good idea if you want to maintain high quality, and it's probably not compatible at all with a project that aims to be decentralised in any meaningful way. Certainly a small change (though LoC is a bad measure of that -- how many LoC does it take to drop the 21M limit, or to drop the subsidy from 3.125 BTC to 0 BTC?) is better than a large change all else being equal; but all else isn't equal: different changes enable different feature sets. The question you should be asking is whether we're getting useful feature sets from the small changes being proposed. If you want "permissionless innovation", then many small incremental consensus changes are not a good way of doing it -- as that involves asking the global network of Bitcoin users for permission for each individual change. 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/Z8tes4tXo53_DRpU%40erisian.com.au.