MIME-Version: 1.0
From: Elichai Turkel <elichai.turkel@gmail.com>
Date: Fri, 9 Aug 2019 10:58:58 -0400
Message-ID: <CALN7hCJ7dCER9zaQbXvT4AVt95cZwBsQcTX8XvvZwF-1xa-V4w@mail.gmail.com>
To: bitcoin-dev@lists.linuxfoundation.org
Content-Type: multipart/alternative; boundary="000000000000067f27058fb06aba"
Subject: Re: [bitcoin-dev] Taproot proposal
Precedence: list

--000000000000067f27058fb06aba
Content-Type: text/plain; charset="UTF-8"

Hi,
I want to add to John Newbery's suggestion of using implicit even/odd only
public keys and tweaked public keys in taproot and suggest the following:

If everything is implicit then the only reason for the first byte of the
control block(`c[0]`) is the tapscript leaf version.
I suggest that this is moved to be the first OP_CODE of the tapscript
itself (i.e. OP_0/OP_1 etc.)
That way having the script *tells* you what does it mean without needing to
check the control block.
That way there's a separation between the tapscript+leaf version and the
control block being the merkle path to the script.
-- 
PGP: 5607C93B5F86650C

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

<div dir=3D"ltr">Hi,<div>I want to add to=C2=A0John Newbery&#39;s suggestio=
n of using implicit even/odd only public keys and tweaked public keys in ta=
proot and suggest the following:</div><div><br></div><div>If everything is =
implicit then the only reason for the first byte of the control block(`c[0]=
`) is the tapscript leaf version.</div><div>I suggest that this is moved to=
 be the first OP_CODE of the tapscript itself (i.e. OP_0/OP_1 etc.)</div><d=
iv>That way having the script *tells* you what does it mean without needing=
 to check the control block.</div><div>That way there&#39;s a separation be=
tween the tapscript+leaf version and the control block being the merkle pat=
h to the script.</div><div><div>-- <br><div dir=3D"ltr" class=3D"gmail_sign=
ature" data-smartmail=3D"gmail_signature">PGP: 5607C93B5F86650C<br><br></di=
v></div></div></div>

--000000000000067f27058fb06aba--