diff options
| author | Anthony Towns <aj@erisian.com.au> | 2025-03-12 13:48:13 +1000 |
|---|---|---|
| committer | bitcoindev <bitcoindev@googlegroups.com> | 2025-03-11 22:59:47 -0700 |
| commit | abd692f8e697fc2b0320b8302ba9da7e57cc8c51 (patch) | |
| tree | 3933648b19144a117b4395048cfea4d475476727 | |
| parent | 5c5c1085e72e9f0baa44d0e649e85bb01d1837ec (diff) | |
| download | pi-bitcoindev-abd692f8e697fc2b0320b8302ba9da7e57cc8c51.tar.gz pi-bitcoindev-abd692f8e697fc2b0320b8302ba9da7e57cc8c51.zip | |
Re: [bitcoindev] "Recursive covenant" with CTV and CSFS
| -rw-r--r-- | 05/04b07f1d2fa60b3ca64693f3a7f470e5b329cb | 186 |
1 files changed, 186 insertions, 0 deletions
diff --git a/05/04b07f1d2fa60b3ca64693f3a7f470e5b329cb b/05/04b07f1d2fa60b3ca64693f3a7f470e5b329cb new file mode 100644 index 000000000..da8e87c46 --- /dev/null +++ b/05/04b07f1d2fa60b3ca64693f3a7f470e5b329cb @@ -0,0 +1,186 @@ +Delivery-date: Tue, 11 Mar 2025 22:59:48 -0700 +Received: from mail-oi1-f191.google.com ([209.85.167.191]) + by mail.fairlystable.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256 + (Exim 4.94.2) + (envelope-from <bitcoindev+bncBDBNTKFG4EDRBSWFYS7AMGQEYK4DAHY@googlegroups.com>) + id 1tsF87-0007PI-9n + for bitcoindev@gnusha.org; Tue, 11 Mar 2025 22:59:47 -0700 +Received: by mail-oi1-f191.google.com with SMTP id 5614622812f47-3f9cbcfbb7asf524701b6e.1 + for <bitcoindev@gnusha.org>; Tue, 11 Mar 2025 22:59:47 -0700 (PDT) +ARC-Seal: i=2; a=rsa-sha256; t=1741759181; cv=pass; + d=google.com; s=arc-20240605; + b=S6VYeRYS1ZuHPN0pq2HucoTqpx+4+DJcNYH8lIhWIGMOXZZBV291c1H5GTvZr6C0bA + b8Wx+JxRJ7Cv//OSVtzmjUkLe7Vm3E2+x1aCl6kzVIMWtiJiAel0RCmLzf2DLFj5mPv5 + RoCP6c4hjPZZj3Lxs79FaZjQ0OOdqtvdeQjfeXaBn+4XneM8LZs5OBf8+ktEnQAlfU9f + n5jANFHdordOyydEEnNM9xi1XtZahLzJ6YoUESXsNxBN3a3KEmskw9B4JJXuvxQfJE5S + VLSLTw/ZZ9VFjpcDV9kbiTC0vezXUwoitXqAvH6Cq9K4nA7T+WdOA3dAjZAsCULBqVyw + ChvQ== +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=/iURBEkgDBYORMassiesX2ZQIbC1PxN/sd8rdPml7Zc=; + fh=mfX41MmdLcLJFWjxe6NdFORXswZ4Cjd+c6/A4WpwlO0=; + b=YB4xkYXjUMyis29qJkpYGLMDPoOTK2KrtwKgLUIx+1oWosVf2WRi2D396G0OQuafaH + 0UOtqt8KblhyVcna77NMpDIxTPcQK3Fie6iWTxniaSwusw8jxlWA8430YwsWB+sn4WHz + Op+OKEG86qO8g4vCnfSPE3byzzvH9l6mT62R3Uq8xiMHZZpy9503YnT65oB2tXTI8mSN + 4/Zjx0A3ze8gjyQLcp3kM8HIb1oMrh38oI/AZCMDMfz/qrqWp1GSo3oEMJI5LN++Awt3 + yfI7lAlGqAxT+aUmHW6fCPBZjue1r+HBqFsRufLU/5SFBPR2FWzMO2AOkdfX1jQsnyL7 + 6wLQ==; + 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=1741759181; x=1742363981; 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=/iURBEkgDBYORMassiesX2ZQIbC1PxN/sd8rdPml7Zc=; + b=OL9i2ebNMCJJmkrf8UgL3J7q9/p7+ll+T79s9qgur0+vpCAr080fKb3Mrhed95yRfc + mF2WQpLQG38Gp6HqdeGafQwKrFdPY9bV4k/gVmHdvrWY+qBxGjkzb+Oug04pUuskkLoe + zL3Mf0YPYYDdPcQAy5w3lfSUFwhzk16V/bPGsoIKrVmupo1TOdEb89GnJP729WfaDw27 + 8076xiDG1OW4IyFHYmws84BgslEAmgZsb3mPI1RgoFJO2SVXPjQ+QTYDjzUZ0uyZ0srg + r6jMuhz2qg3Hv6+A2ag2/INog5FvK2wtKq3luY9IIvrHGBJhYR13AmoRBjujj0kB3OrN + sibg== +X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; + d=1e100.net; s=20230601; t=1741759181; x=1742363981; + 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=/iURBEkgDBYORMassiesX2ZQIbC1PxN/sd8rdPml7Zc=; + b=I3dW5tR4oErYk1kqGVG2Jpz1Qg3q3U6WUMCxB77o2PHJKQNXrN35q034Xv+X4lJA7W + V0T7GcUdmMGZsvuzVlDFVLeZ7O2Zeo0KRBJ+5atxLlbT0S0vmSH8MC3DqFow8H/EymEx + /W97yGjlI6wtKicQI5pg0rUSJ5DRVDmFxMchpw793pUdpbtqJty/Urigl87rP+GfLhpH + ACZ0lcU3+0HtA0l6r5lBAN8FV1C+wHIJmuAQ9hBgiuHx92PYdv57fRFW/hhYBPh3WLLg + jqVcsfXH/USylBhwODOP98Hjb+zDbtdgD8EJumd6PYaJBtXcQDIuwNPO6bhjgPHNBFaA + JaNA== +Sender: bitcoindev@googlegroups.com +X-Forwarded-Encrypted: i=2; AJvYcCV+xwF/QiELhpzfc/ynKuTP/fmsnl0ZHaDZAr5RUH/3ofW/ZUhrzEOC9W3RTZSbO7KWwXFYt4UHR/FM@gnusha.org +X-Gm-Message-State: AOJu0YxDyJw/4Hg5apzj+9jI6OgephPMUSfVPqKs4KT9UHJFcsucVUSM + U3i1j1g8bTs1T2/gMyF9kcUQmio9GA5dMaFY6kqLzKa6IoO/Y7rl +X-Google-Smtp-Source: AGHT+IFoBb6++BZ4KwzYTMwNcdjnQ/YsHV4+yVd8gi5WZEiV3Gw5OCrgnNHyAD4RpupVNsNy5Wk3Eg== +X-Received: by 2002:a05:6808:2f0b:b0:3f7:edd1:2a06 with SMTP id 5614622812f47-3fa2b502af5mr3557276b6e.6.1741759181291; + Tue, 11 Mar 2025 22:59:41 -0700 (PDT) +X-BeenThere: bitcoindev@googlegroups.com; h=Adn5yVGqmf5FlLfbp/Qx21ScxH/j4/Yxl0YTSaCIm/9bia98aw== +Received: by 2002:a4a:b1c8:0:b0:600:33ae:b1ae with SMTP id 006d021491bc7-6003e8a6bc8ls2369759eaf.0.-pod-prod-00-us; + Tue, 11 Mar 2025 22:59:38 -0700 (PDT) +X-Received: by 2002:a05:6808:2017:b0:3fa:10b4:6986 with SMTP id 5614622812f47-3fa2cb76046mr3133524b6e.15.1741759177940; + Tue, 11 Mar 2025 22:59:37 -0700 (PDT) +Received: by 2002:a05:6808:2993:b0:3f9:f009:458e with SMTP id 5614622812f47-3fb4e1e5534msb6e; + Tue, 11 Mar 2025 20:48:23 -0700 (PDT) +X-Received: by 2002:a17:903:181:b0:21f:1348:10e6 with SMTP id d9443c01a7336-22593d845f6mr73003865ad.13.1741751300898; + Tue, 11 Mar 2025 20:48:20 -0700 (PDT) +ARC-Seal: i=1; a=rsa-sha256; t=1741751300; cv=none; + d=google.com; s=arc-20240605; + b=VGUkEOQlXEQBfKlYY/pcb4+DDQ5xah3GgDaBKHYAoMQxwcyPlDXDzCTxry6KkzVlq0 + 7PfwLI42gHQrLPzqHyCoFuzQ82VY1MJyTE6fLZz8kq6t7JtG5YJkFAA6c4VPt73Hd5Kb + RARocIrMDCthsm8Gpy7GgXE4JQbGCTDr2AkbsE6RHYubKHmX0Ex17ptt8ZE8mXWVNTFv + urQkvMnfoHkDeAlkeHB/xbtoyS+vHc2/8rww25VWtSE5lnxUFPZZpRpHz3nxB8uDDmnA + 6k5dXmSz4sHdQ9rLCyn0c78QRrX2EM+Tni4gzGJKkjfq9pqraF8ldTVDvacascoiFKxI + P1VA== +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=TU8rHidSqj973MKTorxTe3pgwzxTLCJ6mfOLeu35mdc=; + fh=eo8AiNNTMtlb4VjR5dXRkMZ1FBos9IyftfrCQ/AS+HQ=; + b=elsazWVT9jFcWVR+wD57JV/mHN/zsng3s6/JVTm+vFsSWB0+KAK5P0e/z11xkRVvrq + 6PzP3mglgJB3seUfJW2D/jlYypBXv3yVi1+hrKX00tZGUAd8shV74R4tu5ofX2kbzH0T + i32ig+fi83CSpDeU4uKsrL35+P+GWZg/A1SoE+eE7JIkWCUleygyl6wt6xJTsEqA+LGF + xKKqoBu6AYeJNFntOWPKpD8eIq1R1NngfcQfnb1SURPsH9CXFwZDs9wdqTuoKzDHvk9d + qUK5ttJO9V7w6FxjUGcAB2xCk9abcHe78QFj8DUm2OhCG6xMQBG8ANKs4p/touJGMNCm + aFRg==; + 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 d9443c01a7336-22410ad9b3csi5391395ad.11.2025.03.11.20.48.20 + for <bitcoindev@googlegroups.com> + (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); + Tue, 11 Mar 2025 20:48:20 -0700 (PDT) +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 1tsD4r-0004xL-0t; + Wed, 12 Mar 2025 13:48:18 +1000 +Received: by email (sSMTP sendmail emulation); Wed, 12 Mar 2025 13:48:13 +1000 +Date: Wed, 12 Mar 2025 13:48:13 +1000 +From: Anthony Towns <aj@erisian.com.au> +To: Nadav Ivgi <nadav@shesek.info> +Cc: bitcoindev@googlegroups.com +Subject: Re: [bitcoindev] "Recursive covenant" with CTV and CSFS +Message-ID: <Z9ED_dez7_UHxjK0@erisian.com.au> +References: <Z8eUQCfCWjdivIzn@erisian.com.au> + <CAGXD5f3EGyUVBc=bDoNi_nXcKmW7M_-mUZ7LOeyCCab5Nqt69Q@mail.gmail.com> +MIME-Version: 1.0 +Content-Type: text/plain; charset="UTF-8" +Content-Disposition: inline +In-Reply-To: <CAGXD5f3EGyUVBc=bDoNi_nXcKmW7M_-mUZ7LOeyCCab5Nqt69Q@mail.gmail.com> +X-Spam_score: 0.1 +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 Mon, Mar 10, 2025 at 07:14:30AM +0200, Nadav Ivgi wrote: +> For some historical context, it's interesting to note that CTV originally +> had the constexpr requirement which prevented your CSFS+CTV construct by +> requiring the CTV hash to come from a literal push preceding the opcode +> (i.e. not dynamically computed/pre-verified and not from the witness). This +> was eventually removed because it was deemed an unnecessary safeguard and +> to simplify the implementation. + +I think the original COSHV implementation had the hash appear a push *after* +the CTV opcode. +https://github.com/JeremyRubin/bips/blob/op-checkoutputshashverify/bip-coshv.mediawiki + +> Also, it seems that APO alone also enables the same kind of construct as +> what you're describing. For example, a 'recursive' APO signature spending +> back to the same address could similarly be used as the basis for a BMM +> Spacechain. + +With either APO or CTV alone you can do an arbitrarily long chain of commitments +(with APO|SINGLE allowing you to add an input/output for fees and change when +using those commitments), adding CSFS and discarding the CSFS private key allows +you to have a single commitment that can be reused indefinitely. + +> Here's my go at it using Minsc: +> https://min.sc/v0.3/#gist=3aa538b384d3aaf4282d1acaf943f608 + +Nice! + +> Note however that what you described is creating 0-fee transactions, with +> no way to attach additional fees. + +Yes; I don't think you can do a good job of that on mutinynet with just +CTV/CSFS, since I don't think 0-value anchor outputs are supported. (You +could have CTV commit to two inputs, with the second input's entire +value being burnt to fees, but that's fairly annoying) + +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/Z9ED_dez7_UHxjK0%40erisian.com.au. + |