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
|
Return-Path: <jl2012@xbt.hk>
Received: from smtp1.linuxfoundation.org (smtp1.linux-foundation.org
[172.17.192.35])
by mail.linuxfoundation.org (Postfix) with ESMTPS id 41DDDD1F
for <bitcoin-dev@lists.linuxfoundation.org>;
Mon, 17 Dec 2018 20:16:25 +0000 (UTC)
X-Greylist: from auto-whitelisted by SQLgrey-1.7.6
Received: from sender-of-o51.zoho.com (sender-of-o51.zoho.com [135.84.80.216])
by smtp1.linuxfoundation.org (Postfix) with ESMTPS id D7B077A4
for <bitcoin-dev@lists.linuxfoundation.org>;
Mon, 17 Dec 2018 20:16:24 +0000 (UTC)
ARC-Seal: i=1; a=rsa-sha256; t=1545077778; cv=none; d=zoho.com; s=zohoarc;
b=hfOIqMujkBzKGW8cvkjcbNO5UpPuVdal0fRyFFwR3XliFOfCWwR4WSFCkj5uR3PBRFbqSK10Pu7QpS/BTPZivUN68T0G4CcrKIlkq8rV8n4dKLBANQC6kZbNSy0d/uF7Gj5H2bip0rmnnyGR2UDlU+JMFTjUBNK4bCGIQJgMzlY=
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zoho.com;
s=zohoarc; t=1545077778;
h=Content-Type:Cc:Date:From:In-Reply-To:MIME-Version:Message-ID:References:Subject:To:ARC-Authentication-Results;
bh=pxVK9NHo8XcWQYZM/mDukZwWwlLRBVAABDw9UdyibIM=;
b=fzotADqo5n3iocYYjswo4YjqYcGLW3lcMq6taZNjG7v7hIzcOD/az/smHXn6pbCyshLvRbvji6HtzbrrM6TEtFMt3MtNRcX5B2dMslcntJOIIdawHLKPmNXudLM+S9yiR6FcIIecxogM1UTq8WulG/eB4M6Nbdsy2znzFRU6pn0=
ARC-Authentication-Results: i=1; mx.zoho.com; dkim=pass header.i=xbt.hk;
spf=pass smtp.mailfrom=jl2012@xbt.hk;
dmarc=pass header.from=<jl2012@xbt.hk> header.from=<jl2012@xbt.hk>
Received: from [10.8.0.105] (n218103234118.netvigator.com [218.103.234.118])
by mx.zohomail.com with SMTPS id 1545077776019416.37756662637923;
Mon, 17 Dec 2018 12:16:16 -0800 (PST)
From: Johnson Lau <jl2012@xbt.hk>
Message-Id: <E07C0182-1656-44B0-AD2E-8EAF9552ECC1@xbt.hk>
Content-Type: multipart/alternative;
boundary="Apple-Mail=_F5963007-F928-4EAA-9851-BDB567540227"
Mime-Version: 1.0 (Mac OS X Mail 12.0 \(3445.100.39\))
Date: Tue, 18 Dec 2018 04:16:12 +0800
In-Reply-To: <CAMZUoKnSi+8W7znTNv4BcjrrTDJubDeWeJ8ynUtzs04ES2z6AQ@mail.gmail.com>
To: Russell O'Connor <roconnor@blockstream.io>,
bitcoin-dev <bitcoin-dev@lists.linuxfoundation.org>
References: <20181214104839.ur4lde3dzncadmr4@erisian.com.au>
<CAMZUoKnSi+8W7znTNv4BcjrrTDJubDeWeJ8ynUtzs04ES2z6AQ@mail.gmail.com>
X-Mailer: Apple Mail (2.3445.100.39)
X-ZohoMailClient: External
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,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: Tue, 18 Dec 2018 02:18:17 +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: Mon, 17 Dec 2018 20:16:25 -0000
--Apple-Mail=_F5963007-F928-4EAA-9851-BDB567540227
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain;
charset=utf-8
> On 16 Dec 2018, at 7:38 AM, Russell O'Connor via bitcoin-dev =
<bitcoin-dev@lists.linuxfoundation.org> wrote:
>=20
> On Fri, Dec 14, 2018 at 8:39 AM Anthony Towns via bitcoin-dev =
<bitcoin-dev@lists.linuxfoundation.org =
<mailto:bitcoin-dev@lists.linuxfoundation.org>> wrote:
> 5. if there's exactly one, non-zero item on the stack; succeed
>=20
> 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.
> _______________________________________________
> bitcoin-dev mailing list
> bitcoin-dev@lists.linuxfoundation.org
> https://lists.linuxfoundation.org/mailman/listinfo/bitcoin-dev
I proposed the same in BIP114. I wish Satoshi had designed that way. But =
I=E2=80=99m not sure if that would do more harm than good. For example, =
people might lose money by copying an existing script template. But they =
might also lose money in the same way as CHECKMULTISIG is disabled. So =
I=E2=80=99m not sure.
Another related thing I=E2=80=99d like to bikeshed is to pop the stack =
after OP_CLTV and OP_CSV. The same pros and cons apply.=
--Apple-Mail=_F5963007-F928-4EAA-9851-BDB567540227
Content-Transfer-Encoding: quoted-printable
Content-Type: text/html;
charset=utf-8
<html><head><meta http-equiv=3D"Content-Type" content=3D"text/html; =
charset=3Dutf-8"></head><body style=3D"word-wrap: break-word; =
-webkit-nbsp-mode: space; line-break: after-white-space;" class=3D""><br =
class=3D""><div><br class=3D""><blockquote type=3D"cite" class=3D""><div =
class=3D"">On 16 Dec 2018, at 7:38 AM, Russell O'Connor via bitcoin-dev =
<<a href=3D"mailto:bitcoin-dev@lists.linuxfoundation.org" =
class=3D"">bitcoin-dev@lists.linuxfoundation.org</a>> wrote:</div><br =
class=3D"Apple-interchange-newline"><div class=3D""><div dir=3D"ltr" =
class=3D""><div class=3D"gmail_quote"><div dir=3D"ltr" class=3D"">On =
Fri, Dec 14, 2018 at 8:39 AM Anthony Towns via bitcoin-dev <<a =
href=3D"mailto:bitcoin-dev@lists.linuxfoundation.org" =
class=3D"">bitcoin-dev@lists.linuxfoundation.org</a>> wrote:<br =
class=3D""></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"> 5. if there's =
exactly one, non-zero item on the stack; succeed<br =
class=3D""></blockquote><div class=3D""><br class=3D""></div><div =
class=3D"">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.<br =
class=3D""></div></div></div>
_______________________________________________<br class=3D"">bitcoin-dev =
mailing list<br class=3D""><a =
href=3D"mailto:bitcoin-dev@lists.linuxfoundation.org" =
class=3D"">bitcoin-dev@lists.linuxfoundation.org</a><br =
class=3D"">https://lists.linuxfoundation.org/mailman/listinfo/bitcoin-dev<=
br class=3D""></div></blockquote></div><br class=3D""><div class=3D"">I =
proposed the same in BIP114. I wish Satoshi had designed that way. But =
I=E2=80=99m not sure if that would do more harm than good. For example, =
people might lose money by copying an existing script template. But they =
might also lose money in the same way as CHECKMULTISIG is disabled. So =
I=E2=80=99m not sure.</div><div class=3D""><br class=3D""></div><div =
class=3D"">Another related thing I=E2=80=99d like to bikeshed is to pop =
the stack after OP_CLTV and OP_CSV. The same pros and cons =
apply.</div></body></html>=
--Apple-Mail=_F5963007-F928-4EAA-9851-BDB567540227--
|
