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
|
Return-Path: <mark@friedenbach.org>
Received: from smtp1.linuxfoundation.org (smtp1.linux-foundation.org
[172.17.192.35])
by mail.linuxfoundation.org (Postfix) with ESMTPS id 5F672BAD
for <bitcoin-dev@lists.linuxfoundation.org>;
Fri, 22 Sep 2017 22:07:36 +0000 (UTC)
X-Greylist: whitelisted by SQLgrey-1.7.6
Received: from mail-pg0-f45.google.com (mail-pg0-f45.google.com [74.125.83.45])
by smtp1.linuxfoundation.org (Postfix) with ESMTPS id E2F3042D
for <bitcoin-dev@lists.linuxfoundation.org>;
Fri, 22 Sep 2017 22:07:35 +0000 (UTC)
Received: by mail-pg0-f45.google.com with SMTP id d8so1262906pgt.4
for <bitcoin-dev@lists.linuxfoundation.org>;
Fri, 22 Sep 2017 15:07:35 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=friedenbach-org.20150623.gappssmtp.com; s=20150623;
h=mime-version:subject:from:in-reply-to:date:cc
:content-transfer-encoding:message-id:references:to;
bh=Dyfij+lcwEbq0mkXaXQi0tb4MWILyIPrrrOZE/hhmvw=;
b=bY5+XrEIDNeYTeEMpdF6Bli5vspNi4R+rd55C14BmTwRMbQkbKk9eFGhkIX6dGoMG3
L/UFgCGSkJhZSy56/JA1MRgO545x7sih1z4X7kjP0f3eGyaMyQQxNRGJonwMoGF4NtgN
5bTiDfqgIwpk3ZCsaxnUm7C73vDzC+dXb3xuouydTN7WUdt26Q2/zIzJoMwDY1XgHwNC
KZSrErUXv8qCLsxN2qSQV3JF3/xKKDiYG/meTOTGECbnVzpHpr5aKwuNJF3rdOcMyyha
0CqrHNxtqEcKCJpnh/vPseCeOeOzi8ESCopmFKBISqDf7Gy7m3E9t9WZidcBzNsERvQM
8t+Q==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=1e100.net; s=20161025;
h=x-gm-message-state:mime-version:subject:from:in-reply-to:date:cc
:content-transfer-encoding:message-id:references:to;
bh=Dyfij+lcwEbq0mkXaXQi0tb4MWILyIPrrrOZE/hhmvw=;
b=goMo/mxCBJ1XhZwvUe5myNhTmy4+EsncE1UmVb5t74qq2RYEOxXy1bO/RwsugS95ga
iGvEn+BiVuXeT1yziU+Xex0Qkk9EQkzEoOBXE8hA1x8yLIDF10YXLwku5sbO05U09Vac
OUUxQnkYEttn/RyM75vRbXuRqQfHoM1KB4Bh7u5j0bIBzZEUKOrvXYpAGoogmoWE1oWt
X3aUJ+XJzFfYoaaFo01kOvyJ5TU+cQYSAi0V+wmKVDeLVYCfUAUvaXct0PW3qBVvGgF0
3KZtChvcDayhXAg3IoFTXReDMiPF1rK5kgObTrCoB5wYIIm1jB5np7PMm1UZK2Uaz/ov
7a9g==
X-Gm-Message-State: AHPjjUirZzL9h5EPCsVrIjO1/Bn9fWLlV5UKW00qUNkh3hjjvvXubRzA
+ZQV2c/q4kDjz05CSZLC9I1RKQ==
X-Google-Smtp-Source: AOwi7QDrxaoJiHsMZevP1aErPsA/DGshJ8gSC86pjUtKQqc4AisxWJKs3iARMdgKmrbW79IZQEoWEA==
X-Received: by 10.101.74.207 with SMTP id c15mr442952pgu.259.1506118055523;
Fri, 22 Sep 2017 15:07:35 -0700 (PDT)
Received: from ?IPv6:2601:640:103:3033:edb5:fcc6:47a5:7449?
([2601:640:103:3033:edb5:fcc6:47a5:7449])
by smtp.gmail.com with ESMTPSA id n2sm874614pgq.30.2017.09.22.15.07.34
(version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128);
Fri, 22 Sep 2017 15:07:34 -0700 (PDT)
Content-Type: text/plain; charset=us-ascii
Mime-Version: 1.0 (Mac OS X Mail 10.3 \(3273\))
From: Mark Friedenbach <mark@friedenbach.org>
In-Reply-To: <CAKzdR-r6u4J+_T5X516A=-tLWZ8zFFFsRokReiJndDE_S64OqQ@mail.gmail.com>
Date: Fri, 22 Sep 2017 15:07:33 -0700
Content-Transfer-Encoding: quoted-printable
Message-Id: <971464E1-5AB8-44FD-BAE8-897DC4C5D970@friedenbach.org>
References: <5B6756D0-6BEF-4A01-BDB8-52C646916E29@friedenbach.org>
<C623794E-F061-4C7A-B05D-378798ED2BF7@friedenbach.org>
<201709190309.08669.luke@dashjr.org>
<CAA2B000-6C54-4AD7-B931-43C99D615A61@friedenbach.org>
<CAKzdR-phAarTY16BOnC95BPN0qMNEE_XZ9H-XmFeeaBc2V1U5w@mail.gmail.com>
<3385CE20-C1BA-40DD-8FC3-8F53F3350717@friedenbach.org>
<CAKzdR-pnvystx5H+P+OCXm73aVmWdyesCymerSgx=pCuXx+YGA@mail.gmail.com>
<9FD4AF03-28A5-4B8A-9C12-CBCB1BC2E22C@friedenbach.org>
<CAKzdR-r6u4J+_T5X516A=-tLWZ8zFFFsRokReiJndDE_S64OqQ@mail.gmail.com>
To: Sergio Demian Lerner <sergio.d.lerner@gmail.com>
X-Mailer: Apple Mail (2.3273)
X-Spam-Status: No, score=0.0 required=5.0 tests=DKIM_SIGNED,DKIM_VALID,
RCVD_IN_DNSWL_NONE autolearn=disabled version=3.3.1
X-Spam-Checker-Version: SpamAssassin 3.3.1 (2010-03-16) on
smtp1.linux-foundation.org
X-Mailman-Approved-At: Fri, 22 Sep 2017 22:08:14 +0000
Cc: Bitcoin Protocol Discussion <bitcoin-dev@lists.linuxfoundation.org>
Subject: Re: [bitcoin-dev] cleanstack alt stack & softfork improvements
(Was: Merkle branch verification & tail-call semantics for generalized
MAST)
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: Fri, 22 Sep 2017 22:07:36 -0000
There is no harm in the value being a maximum off by a few bytes.
> On Sep 22, 2017, at 2:54 PM, Sergio Demian Lerner =
<sergio.d.lerner@gmail.com> wrote:
>=20
> If the variable size increase is only a few bytes, then three =
possibilities arise:
>=20
> - one should allow signatures to be zero padded (to reach the maximum =
size) and abandon strict DER encoding
>=20
> - one should allow spare witness stack elements (to pad the size to =
match the maximum size) and remove the cleanstack rule. But this is =
tricky because empty stack elements must be counted as 1 byte.
>=20
> - signers must loop the generation of signatures until the signature =
generated is of its maximum size.
|
