summaryrefslogtreecommitdiff
path: root/fa/62a530b47cb0313f65772290a4d9e47985169d
blob: 9c31841b0fea79f939c9dad20d4b15b32aa6c795 (plain)
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&#39;Connor &lt;<a href=3D"m=
ailto:roconnor@blockstream.com">roconnor@blockstream.com</a>&gt; 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&#39;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&#39;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--