bitcoin/bips
1
0
Fork 0
mirror of https://github.com/bitcoin/bips.git synced 2025-08-18 13:26:23 +00:00
Code Issues Releases Wiki Activity

Merge pull request #1871 from achow101/desc-clarifications

Browse Source 
390: clarifications on KEY expression restrictions
This commit is contained in:
Jon Atack 2025-06-19 19:20:40 -07:00 committed by GitHub
commit 1889614e54
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
10 changed files with 25 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
bip-0379.md
View File

@ -13,6 +13,7 @@
Type: Informational Type: Informational
Created: 2023-10-10 Created: 2023-10-10
License: CC0-1.0 License: CC0-1.0
Requires: 380
``` ```
## Abstract ## Abstract

1
bip-0381.mediawiki
View File

@ -10,6 +10,7 @@
Type: Informational Type: Informational
Created: 2021-06-27 Created: 2021-06-27
License: BSD-2-Clause License: BSD-2-Clause
Requires: 380
</pre> </pre>
==Abstract== ==Abstract==

1
bip-0382.mediawiki
View File

@ -10,6 +10,7 @@
Type: Informational Type: Informational
Created: 2021-06-27 Created: 2021-06-27
License: BSD-2-Clause License: BSD-2-Clause
Requires: 380
</pre> </pre>
==Abstract== ==Abstract==

1
bip-0383.mediawiki
View File

@ -10,6 +10,7 @@
Type: Informational Type: Informational
Created: 2021-06-27 Created: 2021-06-27
License: BSD-2-Clause License: BSD-2-Clause
Requires: 380
</pre> </pre>
==Abstract== ==Abstract==

1
bip-0384.mediawiki
View File

@ -10,6 +10,7 @@
Type: Informational Type: Informational
Created: 2021-06-27 Created: 2021-06-27
License: BSD-2-Clause License: BSD-2-Clause
Requires: 380
</pre> </pre>
==Abstract== ==Abstract==

1
bip-0385.mediawiki
View File

@ -10,6 +10,7 @@
Type: Informational Type: Informational
Created: 2021-06-27 Created: 2021-06-27
License: BSD-2-Clause License: BSD-2-Clause
Requires: 380
</pre> </pre>
==Abstract== ==Abstract==

1
bip-0386.mediawiki
View File

@ -10,6 +10,7 @@
Type: Informational Type: Informational
Created: 2021-06-27 Created: 2021-06-27
License: BSD-2-Clause License: BSD-2-Clause
Requires: 380
</pre> </pre>
==Abstract== ==Abstract==

1
bip-0387.mediawiki
View File

@ -10,6 +10,7 @@
Type: Informational Type: Informational
Created: 2024-04-17 Created: 2024-04-17
License: BSD-2-Clause License: BSD-2-Clause
Requires: 380
</pre> </pre>
==Abstract== ==Abstract==

1
bip-0389.mediawiki
View File

@ -9,6 +9,7 @@
Type: Informational Type: Informational
Created: 2022-07-26 Created: 2022-07-26
License: BSD-2-Clause License: BSD-2-Clause
Requires: 380
</pre> </pre>
==Abstract== ==Abstract==

26
bip-0390.mediawiki
View File

@ -9,6 +9,7 @@
Type: Informational Type: Informational
Created: 2024-06-04 Created: 2024-06-04
License: CC0-1.0 License: CC0-1.0
Requires: 380, 328
</pre> </pre>
==Abstract== ==Abstract==
@ -29,6 +30,9 @@ in a MuSig2 aggregate key to be expressed in descriptors so that wallets can mor
A new key expression is defined: <tt>musig()</tt>. A new key expression is defined: <tt>musig()</tt>.
In the following sections, the term <tt>KEY</tt> refers to key expressions as defined in BIPs 380
and 389.
===<tt>musig(KEY, KEY, ..., KEY)</tt>=== ===<tt>musig(KEY, KEY, ..., KEY)</tt>===
The <tt>musig(KEY, KEY, ..., KEY)</tt> expression can only be used inside of a <tt>tr()</tt> The <tt>musig(KEY, KEY, ..., KEY)</tt> expression can only be used inside of a <tt>tr()</tt>
@ -48,16 +52,17 @@ backed up, or guess, the correct order of keys.</ref>.
===<tt>musig(KEY, KEY, ..., KEY)/NUM/.../*</tt>=== ===<tt>musig(KEY, KEY, ..., KEY)/NUM/.../*</tt>===
<tt>musig(KEY, KEY, ..., KEY)/NUM/.../*</tt> expressions are also allowed, with the same usage <tt>musig(KEY, KEY, ..., KEY)/NUM/.../*</tt> expressions are also allowed if no KEY expression
restrictions as in the previous section. The aggregate public key contains child derivation as specified by <tt>/*</tt> or multipath as specified with
is first computed as described above, with the keys also being sorted after all derivation and prior <tt>/<NUM;NUM;...></tt>, in addition to the same usage restrictions as in the previous section. The KEY expressions
to aggregation. Then further BIP 32 derivation will be performed on the aggregate public key as described in additionally must be xpubs or derived from xpubs. The aggregate public key is first computed as
[[bip-0328.mediawiki|BIP 328]]. As there is no aggregate private key, described above, with the keys also being sorted after all derivation and prior to aggregation.
only unhardened derivation from the aggregate public key is allowed, and thus the derivation steps Then further BIP 32 derivation will be performed on the aggregate public key as described in
following the <tt>musig()</tt> expression cannot contain [[bip-0328.mediawiki|BIP 328]]. The <tt>/NUM/.../*</tt> following the <tt>musig()</tt> specifies
<tt>/NUMh</tt> or <tt>/NUM'</tt> derivation steps nor <tt>/*h</tt>, or <tt>/*'</tt> child derivation. the derivation path to be used when deriving from the aggregate public key. <tt>/*</tt> is also
For these <tt>musig()</tt> expressions, the KEY expressions contained within must be xpubs or derived from optional. As there is no aggregate private key, only unhardened derivation from the aggregate public
xpubs, and cannot contain child derivation as specified by a <tt>/*</tt>, <tt>/*'</tt>, <tt>/*h</tt>, or multipath as specified with <tt>/<NUM;NUM;...></tt>. key is allowed. Thus these derivation steps cannot contain <tt>/NUMh</tt> or <tt>/NUM'</tt>
nor can child derivation be specified as <tt>/*h</tt>, or <tt>/*'</tt>.
==Test Vectors== ==Test Vectors==
@ -98,6 +103,7 @@ Invalid descriptors
* Cannot have multipath participants if <tt>musig()</tt> is also multipath: <tt>tr(musig(xpub6ERApfZwUNrhLCkDtcHTcxd75RbzS1ed54G1LkBUHQVHQKqhMkhgbmJbZRkrgZw4koxb5JaHWkY4ALHY2grBGRjaDMzQLcgJvLJuZZvRcEL/<0;1>,xpub68NZiKmJWnxxS6aaHmn81bvJeTESw724CRDs6HbuccFQN9Ku14VQrADWgqbhhTHBaohPX4CjNLf9fq9MYo6oDaPPLPxSb7gwQN3ih19Zm4Y)/<2;3>)</tt> * Cannot have multipath participants if <tt>musig()</tt> is also multipath: <tt>tr(musig(xpub6ERApfZwUNrhLCkDtcHTcxd75RbzS1ed54G1LkBUHQVHQKqhMkhgbmJbZRkrgZw4koxb5JaHWkY4ALHY2grBGRjaDMzQLcgJvLJuZZvRcEL/<0;1>,xpub68NZiKmJWnxxS6aaHmn81bvJeTESw724CRDs6HbuccFQN9Ku14VQrADWgqbhhTHBaohPX4CjNLf9fq9MYo6oDaPPLPxSb7gwQN3ih19Zm4Y)/<2;3>)</tt>
* <tt>musig()</tt> cannot have hardened derivation steps: <tt>tr(musig(xpub6ERApfZwUNrhLCkDtcHTcxd75RbzS1ed54G1LkBUHQVHQKqhMkhgbmJbZRkrgZw4koxb5JaHWkY4ALHY2grBGRjaDMzQLcgJvLJuZZvRcEL,xpub68NZiKmJWnxxS6aaHmn81bvJeTESw724CRDs6HbuccFQN9Ku14VQrADWgqbhhTHBaohPX4CjNLf9fq9MYo6oDaPPLPxSb7gwQN3ih19Zm4Y)/0h/*)</tt> * <tt>musig()</tt> cannot have hardened derivation steps: <tt>tr(musig(xpub6ERApfZwUNrhLCkDtcHTcxd75RbzS1ed54G1LkBUHQVHQKqhMkhgbmJbZRkrgZw4koxb5JaHWkY4ALHY2grBGRjaDMzQLcgJvLJuZZvRcEL,xpub68NZiKmJWnxxS6aaHmn81bvJeTESw724CRDs6HbuccFQN9Ku14VQrADWgqbhhTHBaohPX4CjNLf9fq9MYo6oDaPPLPxSb7gwQN3ih19Zm4Y)/0h/*)</tt>
* <tt>musig()</tt> cannot have hardened child derivation: <tt>tr(musig(xpub6ERApfZwUNrhLCkDtcHTcxd75RbzS1ed54G1LkBUHQVHQKqhMkhgbmJbZRkrgZw4koxb5JaHWkY4ALHY2grBGRjaDMzQLcgJvLJuZZvRcEL,xpub68NZiKmJWnxxS6aaHmn81bvJeTESw724CRDs6HbuccFQN9Ku14VQrADWgqbhhTHBaohPX4CjNLf9fq9MYo6oDaPPLPxSb7gwQN3ih19Zm4Y)/0/*h)</tt> * <tt>musig()</tt> cannot have hardened child derivation: <tt>tr(musig(xpub6ERApfZwUNrhLCkDtcHTcxd75RbzS1ed54G1LkBUHQVHQKqhMkhgbmJbZRkrgZw4koxb5JaHWkY4ALHY2grBGRjaDMzQLcgJvLJuZZvRcEL,xpub68NZiKmJWnxxS6aaHmn81bvJeTESw724CRDs6HbuccFQN9Ku14VQrADWgqbhhTHBaohPX4CjNLf9fq9MYo6oDaPPLPxSb7gwQN3ih19Zm4Y)/0/*h)</tt>
* <tt>musig()</tt> cannot have participants with child derivation when <tt>musig()</tt> has derivation steps: <tt>tr(musig(xpub6ERApfZwUNrhLCkDtcHTcxd75RbzS1ed54G1LkBUHQVHQKqhMkhgbmJbZRkrgZw4koxb5JaHWkY4ALHY2grBGRjaDMzQLcgJvLJuZZvRcEL/*,xpub68NZiKmJWnxxS6aaHmn81bvJeTESw724CRDs6HbuccFQN9Ku14VQrADWgqbhhTHBaohPX4CjNLf9fq9MYo6oDaPPLPxSb7gwQN3ih19Zm4Y/*)/1/2</tt>
==Backwards Compatibility== ==Backwards Compatibility==