1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
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.
|
