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: <roconnor@blockstream.com>
Received: from smtp4.osuosl.org (smtp4.osuosl.org [IPv6:2605:bc80:3010::137])
by lists.linuxfoundation.org (Postfix) with ESMTP id E0580C000E
for <bitcoin-dev@lists.linuxfoundation.org>;
Mon, 5 Jul 2021 02:10:31 +0000 (UTC)
Received: from localhost (localhost [127.0.0.1])
by smtp4.osuosl.org (Postfix) with ESMTP id B0133403F7
for <bitcoin-dev@lists.linuxfoundation.org>;
Mon, 5 Jul 2021 02:10:31 +0000 (UTC)
X-Virus-Scanned: amavisd-new at osuosl.org
X-Spam-Flag: NO
X-Spam-Score: -1.9
X-Spam-Level:
X-Spam-Status: No, score=-1.9 tagged_above=-999 required=5
tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1,
HTML_MESSAGE=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_PASS=-0.001]
autolearn=ham autolearn_force=no
Authentication-Results: smtp4.osuosl.org (amavisd-new);
dkim=pass (2048-bit key)
header.d=blockstream-com.20150623.gappssmtp.com
Received: from smtp4.osuosl.org ([127.0.0.1])
by localhost (smtp4.osuosl.org [127.0.0.1]) (amavisd-new, port 10024)
with ESMTP id TuMlg1QaJMTT
for <bitcoin-dev@lists.linuxfoundation.org>;
Mon, 5 Jul 2021 02:10:30 +0000 (UTC)
X-Greylist: whitelisted by SQLgrey-1.8.0
Received: from mail-qv1-xf32.google.com (mail-qv1-xf32.google.com
[IPv6:2607:f8b0:4864:20::f32])
by smtp4.osuosl.org (Postfix) with ESMTPS id 422E240371
for <bitcoin-dev@lists.linuxfoundation.org>;
Mon, 5 Jul 2021 02:10:30 +0000 (UTC)
Received: by mail-qv1-xf32.google.com with SMTP id j14so7641662qvu.6
for <bitcoin-dev@lists.linuxfoundation.org>;
Sun, 04 Jul 2021 19:10:30 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=blockstream-com.20150623.gappssmtp.com; s=20150623;
h=mime-version:references:in-reply-to:from:date:message-id:subject:to
:cc; bh=CbQgUasHtmW3a5ddC8Wg/WaLSewb8sMsityccABrdQU=;
b=lOIt2J8GcMrUQVIrRAWD75WfzH1zw7ldQO5BdQRqhvprydEdqkt6miOQIsSXA6QHm1
8AzPJMGy+gFS5iu1taFkO+cRW6wZT8p9TGR0kQXtOzdjdsVI2Yy43QwgypuNB3iZogde
j25XyGuCwGBjbbKTie4vuuT258s2/Mhq2kTmpqia+HB0Z4WByY+rH+UHbwP6UfQVrrJO
3wTmUOOaiFG0vQ2+FdmqS+o+BU2z41aw7o93ASGslHkpoTyKWXDO8CixtrUNQ+zcJ0D7
EtWCxLZfdjrRI/3qRDuvdefLgOxwfXhOGug5f7z10kWXBuFOt1dMtQ1ugwEWqRvsrLcZ
b4HQ==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=1e100.net; s=20161025;
h=x-gm-message-state:mime-version:references:in-reply-to:from:date
:message-id:subject:to:cc;
bh=CbQgUasHtmW3a5ddC8Wg/WaLSewb8sMsityccABrdQU=;
b=DMvaWBtYnGFPpZd5WRKC7b0uGzqPgV7v19N3ipap6nSRl+8lLuCagBSdcTD4ij16vh
MYMn6lXtTUYVEX0OzL2TcwkYHRtzqCqImmVnwAtxAGV6JzUT6w2vq0HQZF90oFkAb5ui
mjSulg+07v5mhuJmslQcCLsM6KyPqOhkqmvGR45jkYzYMIRkCcJeZShSIj5x7MnB09uJ
nbeLsQ6JlVNkRbAECXoBzmPCWr/RrrzZnj+z13YLoJJaHf02WS3sCTsOWMu9+MLaQ0WR
Sr4JUAFTPRtGJGPu6lNX7fvaajl/0bHJ74RNP+skvRq8rWFibQIE+gM+7tcv8owBnKGn
zhRw==
X-Gm-Message-State: AOAM531YpEfIOo9r9IOlPqHTrazHvOBGkidCk9QiDv9j8iA9JYEOHiUK
VT4quFZ5zu82mfxMbxrviP6CcFJTH7DON4l0E4xWpQ==
X-Google-Smtp-Source: ABdhPJwSDq3LhWmHkNXKCqaAKXpDbeTrRgNJPcdV/uqxyBUNj/fV8YFM3dyNaH91uZOvEcGgtqOm5/mDSNmIbU+uefU=
X-Received: by 2002:a0c:eb51:: with SMTP id c17mr4548635qvq.13.1625451029027;
Sun, 04 Jul 2021 19:10:29 -0700 (PDT)
MIME-Version: 1.0
References: <CAD5xwhjmu-Eee47Ho5eA6E6+aAdnchLU0OVZo=RTHaXnN17x8A@mail.gmail.com>
<20210704011341.ddbiruuomqovrjn6@ganymede>
<CAD5xwhimPBEV_tLpSPxs9B+XGUhvPx_dnhok=8=hyksyi4=B6g@mail.gmail.com>
<20210704203230.37hlpdyzr4aijiet@ganymede>
<5keA_aPvmCO5yBh_mBQ6Z5SwnnvEW0T-3vahesaDh57f-qv4FbG1SFAzDvT3rFhre6kFl282VsxV_pynwn_CdvF7fzH2q9NW1ZQHPH1pmdo=@protonmail.com>
<CAMZUoKnVLRLgL1rcq8DYHRjM--8VEUC5kjUbzbY5S860QSbk5w@mail.gmail.com>
In-Reply-To: <CAMZUoKnVLRLgL1rcq8DYHRjM--8VEUC5kjUbzbY5S860QSbk5w@mail.gmail.com>
From: "Russell O'Connor" <roconnor@blockstream.com>
Date: Sun, 4 Jul 2021 22:10:17 -0400
Message-ID: <CAMZUoKnjAd8hUpa5nZyPWTx_uxHtLL8XOjbROxobfAC+6yMWUA@mail.gmail.com>
To: ZmnSCPxj <ZmnSCPxj@protonmail.com>,
Bitcoin Protocol Discussion <bitcoin-dev@lists.linuxfoundation.org>
Content-Type: multipart/alternative; boundary="0000000000002f71fd05c656cfb4"
Subject: Re: [bitcoin-dev] Unlimited covenants,
was Re: CHECKSIGFROMSTACK/{Verify} BIP for Bitcoin
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: Mon, 05 Jul 2021 02:10:32 -0000
--0000000000002f71fd05c656cfb4
Content-Type: text/plain; charset="UTF-8"
On Sun, Jul 4, 2021 at 9:02 PM Russell O'Connor <roconnor@blockstream.com>
wrote:
> Bear in mind that when people are talking about enabling covenants, we are
> talking about whether OP_CAT should be allowed or not.
>
> That said, recursive covenants, the type that are most worrying, seems to
> require some kind of OP_TWEAK operation, and I haven't yet seen any
> evidence that this can be simulated with CHECKSIG(FROMSTACK). So maybe we
> should leave such worries for the OP_TWEAK operation.
>
Upon further thought, you can probably make recursive covenants even with a
fixed scritpubkey by sneaking the state into a few bits of the UTXO's
amount. Or if you try really hard, you may be able to stash your state
into a sibling output that is accessed via the txid embedded in the
prevoutpoint.
--0000000000002f71fd05c656cfb4
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
<div dir=3D"ltr"><div class=3D"gmail_quote"><div dir=3D"ltr" class=3D"gmail=
_attr">On Sun, Jul 4, 2021 at 9:02 PM Russell O'Connor <<a href=3D"m=
ailto:roconnor@blockstream.com">roconnor@blockstream.com</a>> wrote:<br>=
</div><blockquote class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;b=
order-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir=3D"ltr"><d=
iv>Bear in mind that when people are talking about enabling covenants, we a=
re talking about whether OP_CAT should be allowed or not.</div><div><br></d=
iv><div>That said, recursive covenants, the type that are most worrying, se=
ems to require some kind of OP_TWEAK operation, and I haven't yet seen =
any evidence that this can be simulated with CHECKSIG(FROMSTACK).=C2=A0 So =
maybe we should leave such worries for the OP_TWEAK operation.<br></div></d=
iv></blockquote><div><br></div><div>Upon further thought, you can probably =
make recursive covenants even with a fixed scritpubkey by sneaking the stat=
e into a few bits of the UTXO's amount.=C2=A0 Or if you try really hard=
, you may be able to stash your state into a sibling output that is accesse=
d via the txid embedded in the prevoutpoint.<br></div></div></div>
--0000000000002f71fd05c656cfb4--
|