Return-Path: Received: from smtp1.linuxfoundation.org (smtp1.linux-foundation.org [172.17.192.35]) by mail.linuxfoundation.org (Postfix) with ESMTPS id 4BBADC6E for ; Thu, 27 Jun 2019 05:08:01 +0000 (UTC) X-Greylist: whitelisted by SQLgrey-1.7.6 Received: from mail-yb1-f170.google.com (mail-yb1-f170.google.com [209.85.219.170]) by smtp1.linuxfoundation.org (Postfix) with ESMTPS id 0BCD23D0 for ; Thu, 27 Jun 2019 05:07:59 +0000 (UTC) Received: by mail-yb1-f170.google.com with SMTP id j15so808274ybh.11 for ; Wed, 26 Jun 2019 22:07:59 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=bitcoinbank.co.jp; s=google; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=q2k25HIg7Prh5GzRFwfELsxVMYtAjnDA1V3hhMnG82g=; b=WrNyUBeYmAvMLy7xMzbRuBDKeJeTbNp2rM1qdaKEASJdEZs/AkqwsMsw3NqmMsZN9H zaafpd6NYBjAwOoku+dyIv/yEvuYAw3W7JKxFDvm7UNEtBa5HBWJ4sKRYkGTuUm8+/NH /CJCbIJNeSNc024rfzB4cFyo7cHYZ2rOC504sTVc4VBkjnx9gPhEhrqQI2TQ1p+I50y8 Gg85ICwP9vPfL/upaJsfQi0jjclCk5sMDaCC++NQwIo7bfsran9YQlaKeFMMWWbLFCC9 xjeEFmOy0Y80fsXo7p0YIPYH3YtGzcp7+gJY8UrdAakDlYW+TDY0khC7A80u63DUPvd/ t8Ig== 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:cc; bh=q2k25HIg7Prh5GzRFwfELsxVMYtAjnDA1V3hhMnG82g=; b=eCyc2I31lqO8i/0iez/+KV7Ae+Ya+iGrALr5Ghd/cW4cAvvWgY8xTAZ4eaVcSEffM4 viwxCkz4sZI/XqCgDRfuOHeWUHHfa23vmMg3arTNwZaGNaBGWeBLW7P2jmort5x9riq5 B8P7n4A1FKwY20i/HjxjzUcK3OEhv92cPHMjz+g3u1rqXGa6YHdmagAYI1J6FxEOqAyz PYxLQWpp/1grLUe0Xx0nQdxioOX6nJNk7t2T7eGp/kGVw5fxBCSqPO8Esfa3bIya/pk7 7JWlcz4LDxO8HvzgpOhu59J9oHLkhjyjkZNiabdDYQ0/+7Dighd/CpbFPz6TOGTvPjbr 534w== X-Gm-Message-State: APjAAAXt49XY96mkCLG1UGbQS9r6nPr1svqB/gY/pjC3fY05WG0Zp3+L jXC2cMKrk9kW/lLZHTbIoIjm+PKCyjRfpyWLBnuRBrHlIqvq X-Google-Smtp-Source: APXvYqy62B9EgC366Cj1o2kOZTpF8Zs3Y6kjfZCXEEu49f/QPD1eVeGhWz08wPDll6uM8Nsu25ehldAFoJksSappe8U= X-Received: by 2002:a25:da50:: with SMTP id n77mr1241790ybf.52.1561612078984; Wed, 26 Jun 2019 22:07:58 -0700 (PDT) MIME-Version: 1.0 References: <20190627095031.4d5817b8@simplexum.com> In-Reply-To: <20190627095031.4d5817b8@simplexum.com> From: Jonathan Underwood Date: Thu, 27 Jun 2019 14:07:47 +0900 Message-ID: To: Dmitry Petukhov Content-Type: multipart/alternative; boundary="0000000000003ecb99058c47252a" 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: Thu, 27 Jun 2019 05:14:36 +0000 Cc: Bitcoin development mailing list Subject: Re: [bitcoin-dev] BIP174 extension proposal (Global Type: PSBT_GLOBAL_XPUB_SIGNATURE) X-BeenThere: bitcoin-dev@lists.linuxfoundation.org X-Mailman-Version: 2.1.12 Precedence: list List-Id: Bitcoin Protocol Discussion List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 27 Jun 2019 05:08:01 -0000 --0000000000003ecb99058c47252a Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Thanks for the reply. The way we would do it is: Let's say we have 3 cold keys for multisig: A B and C Whose xpubs are: xA xB and xC We all sign each other's xpubs, whose signatures are: sAxB sAxC sBxA sBxC sCxA sCxB We can then create a wallet that says "when verifying change with 0x01 global type proposed by Andrew Chow, if the change is multisig, we MUST require the other pubkeys to have signatures via my 0x02 proposal" This way, all my PSBTs for my cold will have: 1. an 0x01 entry to tell me how to get my change. 2. All 6 of the signatures above. And the signer will then look at the change, check my pubkey by deriving the xpub and checking equality to the BIP_DERIVATION of the output... it will then check the OTHER pubkeys via BIP32_DERIVATION to master fingerprint, then link that fingerprint to a 0x02 sig from MY key, verifying all pubkeys. So this proposal of mine would not only fix the "send to address verification" problem for HD, but also the multisig change problem with 0x01. Cool. Only thing that is kind of sad is having to include n! (of m-of-n) signatures in every PSBT... but tbh, the PSBT size is not of much concern. Thanks for the reply. - Jonathan 2019=E5=B9=B46=E6=9C=8827=E6=97=A5(=E6=9C=A8) 13:49 Dmitry Petukhov : > Hi! > > I wonder how your scheme handles multisig ? > > As I understand, you sign individual xpubs with cold keys, so that cold > keys can check destination addresses are trusted. > > I seems to me that if you sign individual xpubs of a multisig warm > wallet, and one key from that multisig is compromized, attackers can > then create a single-sig destination address that they control, and > move the coins in a chain of two transactions, first to this single-sig > address, and then to an address that they independently control. > > My idea to prevent this [1] is to sign the whole 'xpub package' of the > multisig wallet, but there is also an issue of 'partial compromize', > where some of the keys in a multisig warm wallet is compromized, and > you do not want to regard a particular 'xpub package' as trusted. My > idea was [2] to use an auxiliary message that would be signed along with > the 'xpub package', and that message can include specific 'epoch' word > that hardware wallet can show prominently before signing, or have > 'serial number' for xpub packages (but that will require to store last > known serial inside hw wallet, making it stateful). > > I like the idea to extend PSBT to accomodate these schemes, but given > that the huge number of possible schemes that each may probably > require its own PSBT field type, I think that this is better dealt with > outside of PSBT, as 'PSBT metainformation', or using some form of > 'vendor-specific', or 'metainformation-specific' PSBT field. This way > each usecase can be independently described in its own documentation, > that would include the particulars of the format for the > metainformation. This would also make it easier to implement PSBT for > simple cases, because the 'core specification' would not grow that big. > > [1] > > https://lists.linuxfoundation.org/pipermail/bitcoin-dev/2019-May/016917.h= tml > > [2] > > https://lists.linuxfoundation.org/pipermail/bitcoin-dev/2019-May/016926.h= tml > > > =D0=92 Thu, 27 Jun 2019 11:11:23 +0900 Jonathan Underwood via bitcoin-dev > wrote: > > > Hello all, > > > > Just wanted to pick your brains about an idea for PSBT extension. > > > > One problem we try to solve with cold -> warm and warm -> hot sends > > for our exchange wallet is "How do I know that the address I am > > sending to is not a hacker's address that was swapped in between > > unsigned tx creation and first signature?" > > > > We have a proprietary JSON based encoding system which we are looking > > to move towards PSBT, but PSBT is missing this key functionality. > > > > BIP32_DERIVATION does allow us to verify the address is from a certain > > XPUB, but, for example, it can not allow us to verify a signature of > > that xpub. > > > > I have made a rough draft of the proposed key value specification. > > > https://github.com/junderw/bips/blob/addXpubSig/bip-0174.mediawiki#specif= ication > > > > The signing key path used in the spec is just randomly chosen 31 x 4 > > bits shown as numbers with hardened paths. > > > > Since this issue seems similar to the change address issue, I started > > from that as a base. With the HW wallet case, I can verify the xpub > > by just deriving it locally and comparing equality, however, in our > > case, we need to verify an xpub that we do not have access to via > > derivation from our cold key(s) (since we don't want to import our > > warm private key into our cold signer) > > > > So the flow would be: > > 1. Securely verify the xpub of the warm / hot wallet. > > 2. Using the airgap signing tool, sign the xpub with all cold keys. > > 3. Upload the signature/xpub pairs to the online unsigned transaction > > generator. > > 4. Include one keyval pair per coldkey/xpub pairing. > > 5. When offline signing, if the wallet detects there is a global > > keyval XPUB_SIGNATURE with its pubkey in the key, it must verify that > > all outputs have BIP32_DERIVATION and that it can verify the outputs > > through the derivation, to the xpub, and to the signature. > > > > In my attempt to fitting this into PSBT, I am slightly altering our > > current system, so don't take this as an indication 100% of how we > > work in the backend. > > > > However, I would like to hear any feedback on this proposal. > > > > Thanks, > > Jonathan > > > > --=20 ----------------- Jonathan Underwood =E3=83=93=E3=83=83=E3=83=88=E3=83=90=E3=83=B3=E3=82=AF=E7=A4=BE =E3=83=81= =E3=83=BC=E3=83=95=E3=83=93=E3=83=83=E3=83=88=E3=82=B3=E3=82=A4=E3=83=B3=E3= =82=AA=E3=83=95=E3=82=A3=E3=82=B5=E3=83=BC ----------------- =E6=9A=97=E5=8F=B7=E5=8C=96=E3=81=97=E3=81=9F=E3=83=A1=E3=83=83=E3=82=BB=E3= =83=BC=E3=82=B8=E3=82=92=E3=81=8A=E9=80=81=E3=82=8A=E3=81=AE=E6=96=B9=E3=81= =AF=E4=B8=8B=E8=A8=98=E3=81=AE=E5=85=AC=E9=96=8B=E9=8D=B5=E3=82=92=E3=81=94= =E5=88=A9=E7=94=A8=E4=B8=8B=E3=81=95=E3=81=84=E3=80=82 =E6=8C=87=E7=B4=8B: 0xCE5EA9476DE7D3E45EBC3FDAD998682F3590FEA3 --0000000000003ecb99058c47252a Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Thanks for the reply.

The way we would = do it is:

Let's say we have 3 cold keys for multisig: A B and C<= br>
Whose xpubs are: xA xB and xC

We all sign each ot= her's xpubs, whose signatures are:
sAxB
sAxC
sBxAsBxC
sCxA
sCxB

We can then = create a wallet that says "when verifying change with 0x01 global type= proposed by Andrew Chow, if the change is multisig, we MUST require the ot= her pubkeys to have signatures via my 0x02 proposal"

This way, = all my PSBTs for my cold will have:
1. an 0x01 entry to tell me how to g= et my change.
2. All 6 of the signatures above.

And the signer wi= ll then look at the change, check my pubkey by deriving the xpub and checki= ng equality to the BIP_DERIVATION of the output... it will then check the O= THER pubkeys via BIP32_DERIVATION to master fingerprint, then link that fin= gerprint to a 0x02 sig from MY key, verifying all pubkeys.

So this p= roposal of mine would not only fix the "send to address verification&q= uot; problem for HD, but also the multisig change problem with 0x01.
<= div>
Cool.

Only thing that is kind of sad is having to= include n! (of m-of-n) signatures in every PSBT... but tbh, the PSBT size = is not of much concern.

Thanks for the reply.
- Jonathan


2019=E5=B9=B46=E6=9C=8827=E6=97= =A5(=E6=9C=A8) 13:49 Dmitry Petukhov <dp@simplexum.com>:
Hi!

I wonder how your scheme handles multisig ?

As I understand, you sign individual xpubs with cold keys, so that cold
keys can check destination addresses are trusted.

I seems to me that if you sign individual xpubs of a multisig warm
wallet, and one key from that multisig is compromized, attackers can
then create a single-sig destination address that they control, and
move the coins in a chain of two transactions, first to this single-sig
address, and then to an address that they independently control.

My idea to prevent this [1] is to sign the whole 'xpub package' of = the
multisig wallet, but there is also an issue of 'partial compromize'= ,
where some of the keys in a multisig warm wallet is compromized, and
you do not want to regard a particular 'xpub package' as trusted. M= y
idea was [2] to use an auxiliary message that would be signed along with the 'xpub package', and that message can include specific 'epoc= h' word
that hardware wallet can show prominently before signing, or have
'serial number' for xpub packages (but that will require to store l= ast
known serial inside hw wallet, making it stateful).

I like the idea to extend PSBT to accomodate these schemes, but given
that the huge number of possible schemes that each may probably
require its own PSBT field type, I think that this is better dealt with
outside of PSBT, as 'PSBT metainformation', or using some form of 'vendor-specific', or 'metainformation-specific' PSBT field= . This way
each usecase can be independently described in its own documentation,
that would include the particulars of the format for the
metainformation. This would also make it easier to implement PSBT for
simple cases, because the 'core specification' would not grow that = big.

[1]
https://lists.linuxfound= ation.org/pipermail/bitcoin-dev/2019-May/016917.html

[2]
https://lists.linuxfound= ation.org/pipermail/bitcoin-dev/2019-May/016926.html


=D0=92 Thu, 27 Jun 2019 11:11:23 +0900 Jonathan Underwood via bitcoin-dev <bitcoin-dev@lists.linuxfoundation.org> wrote:

> Hello all,
>
> Just wanted to pick your brains about an idea for PSBT extension.
>
> One problem we try to solve with cold -> warm and warm -> hot se= nds
> for our exchange wallet is "How do I know that the address I am > sending to is not a hacker's address that was swapped in between > unsigned tx creation and first signature?"
>
> We have a proprietary JSON based encoding system which we are looking<= br> > to move towards PSBT, but PSBT is missing this key functionality.
>
> BIP32_DERIVATION does allow us to verify the address is from a certain=
> XPUB, but, for example, it can not allow us to verify a signature of > that xpub.
>
> I have made a rough draft of the proposed key value specification.
> https://github.= com/junderw/bips/blob/addXpubSig/bip-0174.mediawiki#specification
>
> The signing key path used in the spec is just randomly chosen 31 x 4 > bits shown as numbers with hardened paths.
>
> Since this issue seems similar to the change address issue, I started<= br> > from that as a base. With the HW wallet case, I can verify the xpub > by just deriving it locally and comparing equality, however, in our > case, we need to verify an xpub that we do not have access to via
> derivation from our cold key(s) (since we don't want to import our=
> warm private key into our cold signer)
>
> So the flow would be:
> 1. Securely verify the xpub of the warm / hot wallet.
> 2. Using the airgap signing tool, sign the xpub with all cold keys. > 3. Upload the signature/xpub pairs to the online unsigned transaction<= br> > generator.
> 4. Include one keyval pair per coldkey/xpub pairing.
> 5. When offline signing, if the wallet detects there is a global
> keyval XPUB_SIGNATURE with its pubkey in the key, it must verify that<= br> > all outputs have BIP32_DERIVATION and that it can verify the outputs > through the derivation, to the xpub, and to the signature.
>
> In my attempt to fitting this into PSBT, I am slightly altering our > current system, so don't take this as an indication 100% of how we=
> work in the backend.
>
> However, I would like to hear any feedback on this proposal.
>
> Thanks,
> Jonathan
>



--
-----------------
Jonathan Underwood
= =E3=83=93=E3=83=83=E3=83=88=E3=83=90=E3=83=B3=E3=82=AF=E7=A4=BE=E3=80=80=E3= =83=81=E3=83=BC=E3=83=95=E3=83=93=E3=83=83=E3=83=88=E3=82=B3=E3=82=A4=E3=83= =B3=E3=82=AA=E3=83=95=E3=82=A3=E3=82=B5=E3=83=BC
----------------= -

=E6=9A=97=E5=8F=B7=E5=8C=96=E3=81=97=E3=81=9F=E3= =83=A1=E3=83=83=E3=82=BB=E3=83=BC=E3=82=B8=E3=82=92=E3=81=8A=E9=80=81=E3=82= =8A=E3=81=AE=E6=96=B9=E3=81=AF=E4=B8=8B=E8=A8=98=E3=81=AE=E5=85=AC=E9=96=8B= =E9=8D=B5=E3=82=92=E3=81=94=E5=88=A9=E7=94=A8=E4=B8=8B=E3=81=95=E3=81=84=E3= =80=82

=E6=8C=87=E7=B4=8B: 0xCE5EA9476DE7D3E45EBC3= FDAD998682F3590FEA3
--0000000000003ecb99058c47252a--