Skip to content

Commit 13a8dc2

Browse files
committed
Consistent Taproot caps
1 parent 7ab0d68 commit 13a8dc2

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

bip-0360.mediawiki

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -442,12 +442,12 @@ Where:
442442
==== Script Validation ====
443443

444444
A P2QRH output is a native SegWit output (see [[bip-0141.mediawiki|BIP141]]) with version number 2, and a 32-byte witness program.
445-
Unlike taproot this witness program is the tapleaf Merkle root. For the sake of comparison we have, as much as possible, copied the
445+
Unlike Taproot this witness program is the tapleaf Merkle root. For the sake of comparison we have, as much as possible, copied the
446446
language verbatim from the [[bip-0341.mediawiki|BIP341]] script validation section.
447447

448448
* Let ''q'' be the 32-byte array containing the witness program (the second push in the scriptPubKey) which represents root of tapleaf Merkle tree.
449449
* Fail if the witness stack does not have two or more elements.
450-
* If there are at least three witness elements, and the first byte of the last element is 0x50, this last element is called ''annex'' ''a'' and is removed from the witness stack. The annex (or the lack of thereof) is always covered by the signature and contributes to transaction weight, but is otherwise ignored during taproot validation.
450+
* If there are at least three witness elements, and the first byte of the last element is 0x50, this last element is called ''annex'' ''a'' and is removed from the witness stack. The annex (or the lack thereof) is always covered by the signature and contributes to transaction weight, but is otherwise ignored during Taproot validation.
451451
* There must be at least two witness elements left.
452452
** Call the second-to-last stack element ''s'', the script (as defined in [[bip-0341.mediawiki|BIP 341]])
453453
** The last stack element is called the control block ''c'', and must have length ''1 + 32 * m'', for a value of ''m'' that is an integer between 0 and 128, inclusive. Fail if it does not have such a length.

0 commit comments

Comments
 (0)