Date: Wed, 6 Mar 2019 18:08:00 +0000
From: Andrew Poelstra <apoelstra@wpsoftware.net>
To: bitcoin-dev@lists.linuxfoundation.org
Message-ID: <20190306180800.GC10453@boulet>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
User-Agent: Mutt/1.10.1 (2018-07-13)
Subject: [bitcoin-dev] BIP174 / PSBT extensions
Precedence: list

Hi all,


I'd like to start initial discussion about an extension to BIP174 [1] to add
some fields that I've found myself wanting when using PSBT in practice. For
now I'll just list the things that I'd like to see, and if we can come up
with a stable list then I'll try to write up a more formal draft.

Basically I'd just like to add some more fixed data fields.

1. Add an field to PSBT_GLOBAL_UNSIGNED_TX to the global table which contai=
ns
   just a txid of the unsigned transaction, for bandwidth savings in case
   signers have already seen the tx or can construct it themselves.

   This field would be fixed 32 bytes.

   (This would actually be a breaking change since the current PSBT rules r=
equire
   PSBT_GLOBAL_UNSIGNED_TX to always be present. Maybe this is a no-go for =
that
   reason alone.)

2. Add a version field to the global table.

3. Add fields to the per-input tables for
   (a) confirmed depth of the referenced txout; this is useful for finalize=
rs
       trying to create optimized witnesses, for e.g. cases when CSV timeou=
ts
       expire and some signatures become unnecessary.

       This field must be a varint.

   (b) a map from SHA2 hashes to their 32-byte preimages; this field must be
       fixed 32 bytes. This, plus the CSV thing, would allow writing finali=
zers
       that work with all of Miniscript [2].

   (c) a map from public keys to 32-byte "tweaks" that are used in the pay-=
to-contract
       construction. Selfishly I'd like this to be a variable-length bytest=
ring
       with the semantics that (a) the first 33 bytes represent an untweaked
       pubkey; (b) the HMAC-SHA256 of the whole thing, when multiplied by G=
 and
       added to the untweaked pubkey, result in the target key. This matche=
s the
       algorithm in [3] which is deployed in Blockstream's Liquid, but I'd =
be
       happy with a more efficient scheme which e.g. used SHA256 rather than
       HMAC-SHA256.

   (d) maps from public keys to partial nonce commitments, partial nonces, =
and
       partial signatures, for MuSig [4] support.

   (e) a map from signatures (or signature nonces?) to sign-to-contract twe=
aks.
       Same semantics as (c) above.

   The last two suggestions are probably premature and need further develop=
ment
   and standardization of the related protocols. But I'm throwing them in t=
o see
   if other people have strong feelings about this.

4. Add fields to the per-output tables for pay-to-contract, like in (c) abo=
ve.

5. Add a field (or rather, family of fields) to every table which is "propr=
ietary
   use" and guaranteed not to be defined by any future PSBT extension. Spec=
ifically
   every field with key-type 0xFF could be considered "proprietary".

5a. The special field in the global table whose key is only 0xFF should be a
    "proprietary version field" with unspecified semantics but an understan=
ding
    that specific users might stick a GUID or something in there as a way to
    recognize their own PSBTs.

[1] https://github.com/bitcoin/bips/blob/master/bip-0174.mediawiki#Encoding
[2] http://bitcoin.sipa.be/miniscript/miniscript.html
[3] https://github.com/ElementsProject/elements/blob/elements-0.14.1/src/va=
lidation.cpp
[4] https://eprint.iacr.org/2018/068


--=20
Andrew Poelstra
Director of Research, Blockstream
Email: apoelstra at wpsoftware.net
Web:   https://www.wpsoftware.net/andrew

"There are some mornings when the sky looks like a road
 There are some dragons who were built to have and hold
 And some machines are dropped from great heights lovingly
 And some great bellies ache with many bumblebees
 And they sting so terribly"
       --Joanna Newsom