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
|
Return-Path: <roconnor@blockstream.io>
Received: from smtp1.linuxfoundation.org (smtp1.linux-foundation.org
[172.17.192.35])
by mail.linuxfoundation.org (Postfix) with ESMTPS id F1179B4A
for <bitcoin-dev@lists.linuxfoundation.org>;
Sat, 15 Dec 2018 23:39:00 +0000 (UTC)
X-Greylist: whitelisted by SQLgrey-1.7.6
Received: from mail-io1-f47.google.com (mail-io1-f47.google.com
[209.85.166.47])
by smtp1.linuxfoundation.org (Postfix) with ESMTPS id C0434E7
for <bitcoin-dev@lists.linuxfoundation.org>;
Sat, 15 Dec 2018 23:38:59 +0000 (UTC)
Received: by mail-io1-f47.google.com with SMTP id l14so7332773ioj.5
for <bitcoin-dev@lists.linuxfoundation.org>;
Sat, 15 Dec 2018 15:38:59 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=blockstream.io; s=google;
h=mime-version:references:in-reply-to:from:date:message-id:subject:to;
bh=bbYBr92hWxXyTthYEa4Q75QXpAQjiKhWA3hC+WpJsyU=;
b=Dew3dPnvFDjN3BWgzbtuIxQkRIJqvQQ2QR7SvNnVg1cZhuu0MmysKX6kS1nMF+9jAD
6O0IBPuUwerxJ3vWLBwD/OAlZzSm96CInQ09Dn2IS1GsImUXlY9ydXwDfXKopASN+opJ
91Fk2lQ+sb5e6R0xyVUjPfrzuJvtB0f5JeVcc=
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;
bh=bbYBr92hWxXyTthYEa4Q75QXpAQjiKhWA3hC+WpJsyU=;
b=D/vCgvehVZerq9udoOaGggXlEVupOj7f+SbN5l0vnDYaJpyHYfmuFkwqC7xbnjr4NZ
uHNtCLHNVJHi/CUQctx6Jr2Ct0IUfgbgNojRXDexl/kM8wBpulJ2AyyFe8zP2lgfdzs/
KRIjaPznmZeQCpR4rWYT7pNowHSrACMlxxZrWVx/ftyiejRFj04Bs0GhBcQVoxEGhbXv
EEbVfD/IJwM275KFX9JEP/pA3ULnhw+nid9deuMbu8LCmeK8ojp2K2F8TPEmg6dNKKyy
7N5eU7QV4kYUBFG2bvvHSzBUWFE5fr+QdnhYxnPm/9/EEmiEhJi26EzzZcQAi48+PE5D
fP4Q==
X-Gm-Message-State: AA+aEWYJezuTbFd4OCpkEb1hm7wYjjmE6iuEIeKAvREkKKSn8SZ3+ZQ9
7qEvCizYxvvvpmxibFb/ZLDdnM8N7jr8j0fd/Aga/QSY
X-Google-Smtp-Source: AFSGD/UKU51MyT3A12fYcSO5uSojzyeeuzuO2D14AEdjZdc61Nhz9OPNkQDxzPgZygU//5fLe7YfIkRX25ap09KQhQw=
X-Received: by 2002:a5d:9257:: with SMTP id e23mr7687508iol.112.1544917138772;
Sat, 15 Dec 2018 15:38:58 -0800 (PST)
MIME-Version: 1.0
References: <20181214104839.ur4lde3dzncadmr4@erisian.com.au>
In-Reply-To: <20181214104839.ur4lde3dzncadmr4@erisian.com.au>
From: "Russell O'Connor" <roconnor@blockstream.io>
Date: Sat, 15 Dec 2018 18:38:46 -0500
Message-ID: <CAMZUoKnSi+8W7znTNv4BcjrrTDJubDeWeJ8ynUtzs04ES2z6AQ@mail.gmail.com>
To: Anthony Towns <aj@erisian.com.au>,
Bitcoin Protocol Discussion <bitcoin-dev@lists.linuxfoundation.org>
Content-Type: multipart/alternative; boundary="00000000000043b40f057d180df7"
X-Spam-Status: No, score=-2.0 required=5.0 tests=BAYES_00,DKIM_SIGNED,
DKIM_VALID, DKIM_VALID_AU, HTML_MESSAGE,
RCVD_IN_DNSWL_NONE autolearn=ham version=3.3.1
X-Spam-Checker-Version: SpamAssassin 3.3.1 (2010-03-16) on
smtp1.linux-foundation.org
X-Mailman-Approved-At: Mon, 17 Dec 2018 16:09:42 +0000
Subject: Re: [bitcoin-dev] Schnorr and taproot (etc) upgrade
X-BeenThere: bitcoin-dev@lists.linuxfoundation.org
X-Mailman-Version: 2.1.12
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, 15 Dec 2018 23:39:01 -0000
--00000000000043b40f057d180df7
Content-Type: text/plain; charset="UTF-8"
On Fri, Dec 14, 2018 at 8:39 AM Anthony Towns via bitcoin-dev <
bitcoin-dev@lists.linuxfoundation.org> wrote:
> 5. if there's exactly one, non-zero item on the stack; succeed
>
Unless it is too much bikeshedding, I'd like to propose that to succeed the
stack must be exactly empty. Script is more composable that way, removing
the need for special logic to handle top-level CHECKSIG, vs mid-level
CHECKSIGVERIFY.
--00000000000043b40f057d180df7
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">On Fri, Dec 14=
, 2018 at 8:39 AM Anthony Towns via bitcoin-dev <<a href=3D"mailto:bitco=
in-dev@lists.linuxfoundation.org">bitcoin-dev@lists.linuxfoundation.org</a>=
> wrote:<br></div><blockquote class=3D"gmail_quote" style=3D"margin:0px =
0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">=C2=
=A0 =C2=A0 =C2=A0 5. if there's exactly one, non-zero item on the stack=
; succeed<br></blockquote><div><br></div><div>Unless it is too much bikeshe=
dding, I'd like to propose that to succeed the stack must be exactly em=
pty.=C2=A0 Script is more composable that way, removing the need for specia=
l logic to handle top-level CHECKSIG, vs mid-level CHECKSIGVERIFY.<br></div=
></div></div>
--00000000000043b40f057d180df7--
|
