0124 - Rejected - Informational - Nov. 20, 2015 (10 years, 8 months ago)
20
2015
BIP: 124
Layer: Applications
Title: Hierarchical Deterministic Script Templates
Author: Eric Lombrozo <[email protected]>
William Swanson <[email protected]>
Comments-Summary: No comments yet.
Comments-URI: https://github.com/bitcoin/bips/wiki/Comments:BIP 124
Status: Rejected
Type: Informational
Created: 2015-11-20
License: PD
Post-History: http://lists.linuxfoundation.org/pipermail/bitcoin-dev/2015-November/011795.htmlThis BIP defines a script template format that can be used by wallets to deterministically generate scripts with specific authorization policies using the key derivation mechanism defined in BIP 32.
Currently existing wallets typically issue scripts in only a tiny handful of widely used formats. The most popular formats are pay-to-pubkey-hash and m-of-n pay-to-script-hash (BIP 16). However, different wallets tend to use mutually incompatible derivation schemes to generate signing keys and construct scripts from them. Moreover, with the advent of hashlocked and timelocked contracts (BIP 65, BIP 112), it is necessary for different wallets to be able to cooperatively generate even more sophisticated scripts.
In addition, there's a lot of ongoing work in the development of multilayered protocols that use the blockchain as a settlement layer (i.e. the Lightning Network). These efforts require sufficiently generalized templates to allow for rapidly evolving script designs.
This BIP provides a generalized format for constructing a script template that guarantees that different wallets will all produce the same scripts for a given set of derivation paths according to BIP 32.
An individual key is determined by a BIP 32 derivation path and an index. For convenience, we introduce the following notation:
A k = (derivation path for A)/k
Let m i denote distinct BIP 32 derivation paths. We define a key group of n keys as a set of key derivation paths with a free index k:
{ K k } = { m 1 /k, m 2 /k, m 3 /k, ..., m n /k }
Key groups are useful for constructing scripts that are symmetric in a set of keys. Scripts are symmetric in a set of keys if the semantics of the script is unaffected by permutations of the keys. Key groups enforce a canonical form and can improve privacy.
We define a lexicographic sorting of the keys. (TODO: specification of sorting conventions - compressed pubkeys, encoding, etc...)
Define { K k } j to be the jth element of the sorted keys for derivation index k.
We construct script templates by inserting placeholders for data into a script. To denote a placeholder, we use the following notation:
Script ( A ) = opcodes [ A ] opcodes
We extend this notation to an arbitrary number of placeholders:
Script ( X1 , X2 , ..., Xn ) = opcodes [ X1 ] opcodes [ X2 ] opcodes ... opcodes [ Xn ] opcodes
We introduce the following convenient notation for sorted key groups:
[{ K k }] = [{ K k } 1 ] [{ K k } 2 ] ... [{ K k } n ]
In some applications, we might want to insert the result of some operation performed on a key rather than the key itself into the script. For example, we might want to insert a Hash160 of key A k . We can use the following notation:
[ Hash160 ( A k )]
TODO
The script template is defined by:
Script ( X ) = 2 [ X ] 3 OP_CHECKMULTISIG
Letting K k = { m 1 /k, m 2 /k, m 3 /k }, the k th script for this key group is denoted by Script ({ K k }).
The script template is defined by:
Script
(
A
,
B
) =
OP_DUP [
A
] OP_CHECKSIG
OP_NOTIF
2 [
B
] 3 OP_CHECKMULTISIGVERIFY
OP_NOTIF
OP_ENDIF
OP_TRUE
Let
M
k
=
m
/k be a key of a
superuser that can authorize all transactions and
{
K
k
} be a key group of three users that can
only authorize transactions if at least two of them agree.
The k th script is given by Script ( M k , { K k }).
The output is payable to Alice immediately if she knows the private key for A k . Bob must know the private key for B k and also wait for a timeout t before being able to spend the output.
The script template is defined by:
Script
(
A
,
B
,
T
) =
OP_IF
OP_DUP OP_HASH160 [
Hash160
(
A
)]
OP_EQUALVERIFY OP_CHECKSIG
OP_ELSE
[
T
] OP_CHECKLOCKTIMEVERIFY
OP_DROP
OP_DUP OP_HASH160 [
Hash160
(
B
)]
OP_EQUALVERIFY OP_CHECKSIG
OP_ENDIF
The k th script with timeout t is given by Script ( A k , B k , t ).
This document is placed in the public domain.