MIME-Version: 1.0
References: <CABaSBaxgdfeyPrnaJD+Gs-5agV4sX+b66ZA6AfkjiHvuE0JSXA@mail.gmail.com>
 <CABaSBazBAfWSBYygQL4QuBbWQ5ogxhMH36pvHQBNvoJMd6RtjA@mail.gmail.com>
In-Reply-To: <CABaSBazBAfWSBYygQL4QuBbWQ5ogxhMH36pvHQBNvoJMd6RtjA@mail.gmail.com>
From: Bryan Bishop <kanzure@gmail.com>
Date: Sun, 9 Feb 2020 14:24:32 -0600
Message-ID: <CABaSBaycBpXVhh0q7hHe05_=4nsR0ExWgQOsGwmNWZJWyggBgg@mail.gmail.com>
To: Bitcoin Dev <bitcoin-dev@lists.linuxfoundation.org>,
 Bryan Bishop <kanzure@gmail.com>
Content-Type: multipart/alternative; boundary="000000000000beef85059e2a695a"
Subject: [bitcoin-dev] Taproot public NUMS optimization (Re: Taproot (and
	graftroot) complexity)
Precedence: list

--000000000000beef85059e2a695a
Content-Type: text/plain; charset="UTF-8"

The following is a message forwarded from an anonymous email that, for
whatever reason, couldn't be relayed through the mailing list without my
assistance. This is message (3/3).

This email is the third of a collection of sentiments from a group of
developers
who in aggregate prefer to remain anonymous. These emails have been sent
under a
pseudonym so as to keep the focus of discussion on the merits of the
technical
issues, rather than miring the discussion in personal politics. Our goal
isn't
to cause a schism, but rather to help figure out what the path forward is
with
Taproot. To that end, we:

1) Discuss the merits of Taproot's design versus simpler alternatives (see
thread subject, "Taproot (and Graftroot) Complexity").
2) Propose an alternative path to deploying the technologies described in
BIP-340, BIP-341, and BIP-342 (see thread subject, "An Alternative
Deployment
Path for Taproot Technologies").
3) Suggest a modification to Taproot to reduce some of the overhead (see
thread
subject, "Taproot Public NUMS Optimization").

We propose to modify Taproot's specification in BIP-341 by adding the rule:

If there is one element on the witness stack:

1) Attempt hashing it to see if it's equal to  the witness program. The
first
byte is the control byte for leaf versioning.
2) If it's not the witness program, and it's 65 bytes, try signature
validation

If there is more than one element on the witness stack:

If the control block is even, treat it as a non-Taproot MAST and get the
leaf
version as the last byte of the script (so you can pop it off before
hashing).


If greater anonymity is required, a NUMS point can still be used in
Taproot, at
the expense of the additional data. However, if NUMS points are just a
couple
well known constants this could actually decrease privacy as then the NUMS
points could differ from application to application fingerprinting wallets.
Instead, the NUMS point should only be used when a single use nonce can be
sent, so that NUMS cannot be distinguished from a normal Taproot to a third
party who doesn't know the setup (e.g., that the NUMS is H(X) for known X).


Great thanks,

The Group


- Bryan
http://heybryan.org/
1 512 203 0507

--000000000000beef85059e2a695a
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div dir=3D"ltr">The following is a message forwarded from=
 an anonymous email that, for whatever reason, couldn&#39;t be relayed thro=
ugh the mailing list without my assistance. This is message (3/3).<br></div=
><div><br></div>This email is the third of a collection of sentiments from =
a group of developers<br>who in aggregate prefer to remain anonymous. These=
 emails have been sent under a<br>pseudonym so as to keep the focus of disc=
ussion on the merits of the technical<br>issues, rather than miring the dis=
cussion in personal politics. Our goal isn&#39;t<br>to cause a schism, but =
rather to help figure out what the path forward is with<br>Taproot. To that=
 end, we:<br><br>1) Discuss the merits of Taproot&#39;s design versus simpl=
er alternatives (see<br>thread subject, &quot;Taproot (and Graftroot) Compl=
exity&quot;).<br>2) Propose an alternative path to deploying the technologi=
es described in<br>BIP-340, BIP-341, and BIP-342 (see thread subject, &quot=
;An Alternative Deployment<br>Path for Taproot Technologies&quot;).<br>3) S=
uggest a modification to Taproot to reduce some of the overhead (see thread=
<br>subject, &quot;Taproot Public NUMS Optimization&quot;).<br><br>We propo=
se to modify Taproot&#39;s specification in BIP-341 by adding the rule:<br>=
<br>If there is one element on the witness stack:<br><br>1) Attempt hashing=
 it to see if it&#39;s equal to=C2=A0 the witness program. The first<br>byt=
e is the control byte for leaf versioning.<br>2) If it&#39;s not the witnes=
s program, and it&#39;s 65 bytes, try signature validation<br><br>If there =
is more than one element on the witness stack:<br><br>If the control block =
is even, treat it as a non-Taproot MAST and get the leaf<br>version as the =
last byte of the script (so you can pop it off before hashing).<br><br><br>=
If greater anonymity is required, a NUMS point can still be used in Taproot=
, at<br>the expense of the additional data. However, if NUMS points are jus=
t a couple<br>well known constants this could actually decrease privacy as =
then the NUMS<br>points could differ from application to application finger=
printing wallets.<br>Instead, the NUMS point should only be used when a sin=
gle use nonce can be<br>sent, so that NUMS cannot be distinguished from a n=
ormal Taproot to a third<br>party who doesn&#39;t know the setup (e.g., tha=
t the NUMS is H(X) for known X).<br><br><br>Great thanks,<br><br>The Group<=
br><br><br><div dir=3D"ltr" class=3D"gmail_signature">- Bryan<br><a href=3D=
"http://heybryan.org/" target=3D"_blank">http://heybryan.org/</a><br>1 512 =
203 0507</div></div>

--000000000000beef85059e2a695a--