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
|
Return-Path: <salvatore.ingala@gmail.com>
Received: from smtp3.osuosl.org (smtp3.osuosl.org [IPv6:2605:bc80:3010::136])
by lists.linuxfoundation.org (Postfix) with ESMTP id 42691C0032
for <bitcoin-dev@lists.linuxfoundation.org>;
Mon, 7 Aug 2023 08:32:01 +0000 (UTC)
Received: from localhost (localhost [127.0.0.1])
by smtp3.osuosl.org (Postfix) with ESMTP id 16B626100C
for <bitcoin-dev@lists.linuxfoundation.org>;
Mon, 7 Aug 2023 08:32:01 +0000 (UTC)
DKIM-Filter: OpenDKIM Filter v2.11.0 smtp3.osuosl.org 16B626100C
Authentication-Results: smtp3.osuosl.org;
dkim=pass (2048-bit key) header.d=gmail.com header.i=@gmail.com
header.a=rsa-sha256 header.s=20221208 header.b=IkQWI7un
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
Received: from smtp3.osuosl.org ([127.0.0.1])
by localhost (smtp3.osuosl.org [127.0.0.1]) (amavisd-new, port 10024)
with ESMTP id gkx-G0uRwkt6
for <bitcoin-dev@lists.linuxfoundation.org>;
Mon, 7 Aug 2023 08:31:55 +0000 (UTC)
Received: from mail-il1-x132.google.com (mail-il1-x132.google.com
[IPv6:2607:f8b0:4864:20::132])
by smtp3.osuosl.org (Postfix) with ESMTPS id D04DA60F15
for <bitcoin-dev@lists.linuxfoundation.org>;
Mon, 7 Aug 2023 08:31:52 +0000 (UTC)
DKIM-Filter: OpenDKIM Filter v2.11.0 smtp3.osuosl.org D04DA60F15
Received: by mail-il1-x132.google.com with SMTP id
e9e14a558f8ab-348cd23610cso15757775ab.1
for <bitcoin-dev@lists.linuxfoundation.org>;
Mon, 07 Aug 2023 01:31:52 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=gmail.com; s=20221208; t=1691397112; x=1692001912;
h=cc:to:subject:message-id:date:from:in-reply-to:references
:mime-version:from:to:cc:subject:date:message-id:reply-to;
bh=7Qk4qqEwkSqUoIEH2U+cL+2i4BBwa/STFCDb0okf1Xs=;
b=IkQWI7unloE1pgDFxrtc7kbiZi/nquPrfQ6u0QGFwCYsgv1486F9rxJ8DcnhxexNmm
qWOHVSD6ZF8WYSxMuB04W94Se7UCnOnsNPre7jbYqplnjm60Cit+rXvO5yI+J/b8q0ES
O3xC4jUe5WHlXbBWYET8vkwY1E8DzaiI+8Ggng0VZSI1p9/QZ+ZomZCeZK5SjNEV+V08
JHovuTDLFUGQ4AfNlCYYKV8nxW1u/stWtflgBmJEUz0CdJa/1Lk6LVdh2tgU8AGEBSEl
GJqvuFci6gH8rf4pLYj7PUmTZALYMwesQJ1kxmJcSgGcS9BTHmoIdkloOsgBsnrh7xn/
uVtQ==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=1e100.net; s=20221208; t=1691397112; x=1692001912;
h=cc:to:subject:message-id:date:from:in-reply-to:references
:mime-version:x-gm-message-state:from:to:cc:subject:date:message-id
:reply-to;
bh=7Qk4qqEwkSqUoIEH2U+cL+2i4BBwa/STFCDb0okf1Xs=;
b=Ow68DeiOYRNTE5GE7wqBVEPnsIn2WlmUe6UCEjUasua/+gdD71xyeJFe7uIgtC5Z1r
u5TNp++TbCeI61Xnx6WhCN6tDzyCQKzNumHY7FXKt07p1jBYHAwo/Q/6L4g9RLUQc+tE
av9QYhsaTb9PeN1CaTAUIAhR1j4JRDB3UqaBSWcl/wh5a9hRCCwQ9vkWahCCroQstpCI
sfs2+7XueAd0KGyrCE27PVLmu4Rx1quIbqsBMb10GCfK4be+XDl92GFcN8WZBlGJa061
FBrcQ1H5D8MIzIFphTT3jZAVOVlXY8tqmp0UZDLZyvzWtftbeaZaXnz+fslB3IS8CYJB
xfIQ==
X-Gm-Message-State: AOJu0YwXcE2OmHN0uCJNHdH8h4Lsb/Rbgewe2Pzw7wSOA0DDB0MmOE3j
935xIhVDV8Jh81NXVOPGuM20TNVHRQ4kLDQU7E6zyELK7AFeMA==
X-Google-Smtp-Source: AGHT+IHHGXwGqBNnaJtIqC6z/8X7ei7McFWjwshD24brplgeNOYzOwnfHVh3F20QLU52tlo1OqF4vvWzga79EnrD36s=
X-Received: by 2002:a05:6e02:2191:b0:346:fe2:125a with SMTP id
j17-20020a056e02219100b003460fe2125amr12190072ila.26.1691397111714; Mon, 07
Aug 2023 01:31:51 -0700 (PDT)
MIME-Version: 1.0
References: <CAMhCMoFYF+9NL1sqKfn=ma3C_mfQv7mj2fqbqO5WXVwd6vyhLw@mail.gmail.com>
<99A6BB96-50B4-4894-9EFD-E36047D890E3@dtrt.org>
In-Reply-To: <99A6BB96-50B4-4894-9EFD-E36047D890E3@dtrt.org>
From: Salvatore Ingala <salvatore.ingala@gmail.com>
Date: Mon, 7 Aug 2023 10:31:40 +0200
Message-ID: <CAMhCMoEcxJc4Ov3iQyahaBtEcpGmFqN4k2Kg78_2vPXn8B8JQA@mail.gmail.com>
To: "David A. Harding" <dave@dtrt.org>
Content-Type: multipart/alternative; boundary="00000000000004986a0602511419"
X-Mailman-Approved-At: Tue, 08 Aug 2023 14:06:48 +0000
Cc: Bitcoin Protocol Discussion <bitcoin-dev@lists.linuxfoundation.org>
Subject: Re: [bitcoin-dev] Concrete MATT opcodes
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, 07 Aug 2023 08:32:01 -0000
--00000000000004986a0602511419
Content-Type: text/plain; charset="UTF-8"
Hi Dave,
I apologize for the confusion and the inconsistent use of plurals.
The reason I called it a "complete proposal" is that the opcode is
now functionally complete, unlike the previous attempt where the
approach for the output amount introspection was not yet specified.
The semantics are informally defined in the previous e-mail, and
implemented in the code [1], which is the only formal specification
at this time. I believe the code is now fairly stable and ready to
experiment with.
My own and (hopefully) others' experimentation will help in writing
a more informed BIP proposal in the next few months.
About the plurals: OP_CHECKCONTRACTVERIFY is indeed now a single
opcode that is useful on its own, but I will also be maintaining a
separate branch [2] that contains both OP_CHECKCONTRACTVERIFY and
OP_CAT, which enables the full generality of the MATT proposal.
Best,
Salvatore
[1] -
https://github.com/bitcoin-inquisition/bitcoin/compare/24.0...Merkleize:bitcoin:checkcontractverify
[2] - https://github.com/Merkleize/bitcoin/tree/matt
--00000000000004986a0602511419
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
<div dir=3D"ltr"><div>Hi Dave,</div><div><br></div><div>I apologize for the=
confusion and the inconsistent use of plurals.<br>The reason I called it a=
"complete proposal" is that the opcode is<br>now functionally co=
mplete, unlike the previous attempt where the<br>approach for the output am=
ount introspection was not yet specified.<br><br>The semantics are informal=
ly defined in the previous e-mail, and<br>implemented in the code [1], whic=
h is the only formal specification<br>at this time. I believe the code is=
=C2=A0now fairly stable and ready to<br>experiment with.<br>My own and (hop=
efully) others' experimentation will help in writing<br>a more informed=
BIP proposal in the next few months.<br><br>About the plurals: OP_CHECKCON=
TRACTVERIFY is indeed now a single<br>opcode that is useful on its own, but=
I will also be maintaining a<br>separate branch [2] that contains both OP_=
CHECKCONTRACTVERIFY and<br>OP_CAT, which enables the full generality of the=
MATT proposal.<br><br>Best,<br>Salvatore<br><br>[1] - <a href=3D"https://g=
ithub.com/bitcoin-inquisition/bitcoin/compare/24.0...Merkleize:bitcoin:chec=
kcontractverify" target=3D"_blank">https://github.com/bitcoin-inquisition/b=
itcoin/compare/24.0...Merkleize:bitcoin:checkcontractverify</a><br>[2] - <a=
href=3D"https://github.com/Merkleize/bitcoin/tree/matt" target=3D"_blank">=
https://github.com/Merkleize/bitcoin/tree/matt</a><br><br></div></div>
--00000000000004986a0602511419--
|
