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
|
Return-Path: <jeremy.l.rubin@gmail.com>
Received: from smtp1.osuosl.org (smtp1.osuosl.org [140.211.166.138])
by lists.linuxfoundation.org (Postfix) with ESMTP id 81FB6C000B
for <bitcoin-dev@lists.linuxfoundation.org>;
Sat, 29 Jan 2022 17:02:52 +0000 (UTC)
Received: from localhost (localhost [127.0.0.1])
by smtp1.osuosl.org (Postfix) with ESMTP id 5A1A183E19
for <bitcoin-dev@lists.linuxfoundation.org>;
Sat, 29 Jan 2022 17:02:52 +0000 (UTC)
X-Virus-Scanned: amavisd-new at osuosl.org
X-Spam-Flag: NO
X-Spam-Score: -2.098
X-Spam-Level:
X-Spam-Status: No, score=-2.098 tagged_above=-999 required=5
tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1,
DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001,
HTML_MESSAGE=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001,
SPF_PASS=-0.001] autolearn=ham autolearn_force=no
Authentication-Results: smtp1.osuosl.org (amavisd-new);
dkim=pass (2048-bit key) header.d=gmail.com
Received: from smtp1.osuosl.org ([127.0.0.1])
by localhost (smtp1.osuosl.org [127.0.0.1]) (amavisd-new, port 10024)
with ESMTP id 5wcvjIIg46Sp
for <bitcoin-dev@lists.linuxfoundation.org>;
Sat, 29 Jan 2022 17:02:51 +0000 (UTC)
X-Greylist: whitelisted by SQLgrey-1.8.0
Received: from mail-lf1-x130.google.com (mail-lf1-x130.google.com
[IPv6:2a00:1450:4864:20::130])
by smtp1.osuosl.org (Postfix) with ESMTPS id 9A3A083E17
for <bitcoin-dev@lists.linuxfoundation.org>;
Sat, 29 Jan 2022 17:02:51 +0000 (UTC)
Received: by mail-lf1-x130.google.com with SMTP id z4so18034656lft.3
for <bitcoin-dev@lists.linuxfoundation.org>;
Sat, 29 Jan 2022 09:02:51 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112;
h=mime-version:references:in-reply-to:from:date:message-id:subject:to;
bh=3Q9T9a3OQ9X1M63XF52eG9pH980qPbvqrPgG2xltHEQ=;
b=lG3snBiB1JmnfD3m5Ozoy+rOzdu4xvr9ubM/JwVQL8wJCpic5LQ1oTdxNjzIVTnbl7
x7RweGTLheT4GFKbWdRRbk/nQ337svAzif6inMA2zvfqB+YzJQlzhCL0kzeIJ9Ax8Y+M
vQbquYaVwa9O4USKqqjwu1OLRYpLXM6+NlJdc2W7x/5g7i5k0IEfCA+mHVeDXTCu+WYY
JAUCmnk9cdZu+dcl3obygtri/ngsxdzy58gsHXxpwYdkzz7TBSZMxRqKRwNTi8VhTFXO
vZtC0/pZH705NNjpqtmnNeih9hQ4XYogguYROrqQmSbd6jgPePLDDxEKJsJLO/Gryqta
qu5Q==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=1e100.net; s=20210112;
h=x-gm-message-state:mime-version:references:in-reply-to:from:date
:message-id:subject:to;
bh=3Q9T9a3OQ9X1M63XF52eG9pH980qPbvqrPgG2xltHEQ=;
b=V0s+C0yCm5tc10xDxCizxC10N+4Mo8ZQRjamSFaw5UaJvRKreIMRXSQwEB79A5wBj9
VLP5N5qccADNs9PUGKLQhT7lFayEzN/G+GSnKhzlJyyeDvSFHMO+iUnuB9kgqQp5ErdZ
563xU7rmbWCQ63r9Hj9GJYmzDsKsrPH1V5C2bIy6VDT9RuRiWdrOaOVCjtJzklg0vbdF
rM29sW/hTdOyKb8YW9Ufhrz3MpNDtveu61Qe6UD5wui55yIrrpULl7yTIs1W5ghiYVVn
qaBFiHD1sMyoRMkN6OxIWBQWK8oVD8h6LY+SvWiqdMXqTd6Y8O2g7GRmNM8ssqgUghJJ
fMhQ==
X-Gm-Message-State: AOAM530V2ywEsG6m0OnhNRh0MtEaCZfDQRsHIbjD4ByjLYVNml5qnWjP
TJH5VEhaCfmAMjjmFczH2LJuDdHr1/GuR4G9e90=
X-Google-Smtp-Source: ABdhPJzmLOOFnRNF2GwXiQElICH2W5RPx1MjTYfY2ei9Y/qTMydqdiBTpHp4ozwnzjiIH2T2o41UgQ2lulzmXoxOmhw=
X-Received: by 2002:ac2:5fc7:: with SMTP id q7mr9611162lfg.175.1643475769254;
Sat, 29 Jan 2022 09:02:49 -0800 (PST)
MIME-Version: 1.0
References: <CAMZUoK=pkZuovtifBzdqhoyegzG+9hRTFEc7fG9nZPDK4KbU3w@mail.gmail.com>
<CAD5xwhhwqJ_AETAb3p_zUZmRX-Dzh8J9G984zwEs=KFsGN8aNQ@mail.gmail.com>
<CAMZUoKmU1cwUAQaBv5m8oo8H3TWBvgsZ_OkQaMC0n0+3cpFtWg@mail.gmail.com>
<CAPfvXfLr4n6RsS6VbEZR59=MRwAx41Crx88ko8-qnRXW4nFYGA@mail.gmail.com>
<CAMZUoKkvoJs0WtN71A_qRSwToP4YnY707WdW3C-KJYGXsmkjSw@mail.gmail.com>
<CAPfvXfLWtDvgJYwQCaxnww5jyQkqFsi6aG0OUxtp3Okx_ab7Hw@mail.gmail.com>
<CAMZUoKkqEx5mh9Aq9XFc=7YPKmfObMzEipECFuWm4e3q_tVEEQ@mail.gmail.com>
In-Reply-To: <CAMZUoKkqEx5mh9Aq9XFc=7YPKmfObMzEipECFuWm4e3q_tVEEQ@mail.gmail.com>
From: Jeremy Rubin <jeremy.l.rubin@gmail.com>
Date: Sat, 29 Jan 2022 09:02:37 -0800
Message-ID: <CAD5xwhjsVA7k7ZQ_QdrcZOxdi+L6L7dvqAj1Mhx+zmBA3DM5zw@mail.gmail.com>
To: "Russell O'Connor" <roconnor@blockstream.com>,
Bitcoin Protocol Discussion <bitcoin-dev@lists.linuxfoundation.org>
Content-Type: multipart/alternative; boundary="0000000000006c662505d6bb857a"
Subject: Re: [bitcoin-dev] TXHASH + CHECKSIGFROMSTACKVERIFY in lieu of CTV
and ANYPREVOUT
X-BeenThere: bitcoin-dev@lists.linuxfoundation.org
X-Mailman-Version: 2.1.15
Precedence: list
List-Id: Bitcoin Protocol Discussion <bitcoin-dev.lists.linuxfoundation.org>
List-Unsubscribe: <https://lists.linuxfoundation.org/mailman/options/bitcoin-dev>,
<mailto:bitcoin-dev-request@lists.linuxfoundation.org?subject=unsubscribe>
List-Archive: <http://lists.linuxfoundation.org/pipermail/bitcoin-dev/>
List-Post: <mailto:bitcoin-dev@lists.linuxfoundation.org>
List-Help: <mailto:bitcoin-dev-request@lists.linuxfoundation.org?subject=help>
List-Subscribe: <https://lists.linuxfoundation.org/mailman/listinfo/bitcoin-dev>,
<mailto:bitcoin-dev-request@lists.linuxfoundation.org?subject=subscribe>
X-List-Received-Date: Sat, 29 Jan 2022 17:02:52 -0000
--0000000000006c662505d6bb857a
Content-Type: text/plain; charset="UTF-8"
Perhaps there is some misunderstanding. TXHASH + CSFSV doesn't allow for
complex or recursive covenants. Typically CAT is needed, at minimum, to
create those sorts of things. TXHASH still amounts to deploying a
non-recursive covenant construction.
This seems false to me.
<Only hash a single input scriptpubkey> txhash <only hash a single output
scriptpubkey> txhash equalverify
Is that not a recursive covenant? With a little extra work you can also
control for amounts and stuff.
--0000000000006c662505d6bb857a
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
<div dir=3D"auto"><div style=3D"color:rgb(80,0,80);font-size:12.8px" dir=3D=
"auto"><div dir=3D"auto"><div class=3D"elided-text"><blockquote style=3D"ma=
rgin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:=
1ex"><div dir=3D"ltr"><div class=3D"elided-text"><div><br><br></div><div>Pe=
rhaps there is some misunderstanding.=C2=A0 TXHASH=C2=A0+ CSFSV doesn't=
allow for complex or recursive covenants.=C2=A0 Typically CAT is needed, a=
t minimum, to create those sorts of things.=C2=A0 TXHASH still amounts to d=
eploying a non-recursive covenant construction.<br></div><div><br></div><di=
v></div></div></div></blockquote></div></div><div dir=3D"auto"><div class=
=3D"elided-text"><blockquote style=3D"margin:0px 0px 0px 0.8ex;border-left:=
1px solid rgb(204,204,204);padding-left:1ex"><div dir=3D"ltr"><div class=3D=
"elided-text"><div></div></div></div></blockquote></div></div><div dir=3D"a=
uto"><br></div></div><div dir=3D"auto" style=3D"font-size:12.8px">This seem=
s false to me.=C2=A0</div><div dir=3D"auto" style=3D"font-size:12.8px"><br>=
</div><div dir=3D"auto" style=3D"font-size:12.8px"><Only hash a single i=
nput scriptpubkey> txhash <only hash a single output scriptpubkey>=
txhash equalverify</div><div dir=3D"auto" style=3D"font-size:12.8px"><br><=
/div><div dir=3D"auto" style=3D"font-size:12.8px">Is that not a recursive c=
ovenant? With a little extra work you can also control for amounts and stuf=
f.</div></div>
--0000000000006c662505d6bb857a--
|
