ZIP 316: Fix bug in transparent constraint on diversifier index

The largest valid integer for any BIP 32 path element with a defined
hardening state (in this case, non-hardened) is 2^32 - 1 (being the
31-bit integer with all bits set to 1). The range of valid diversifier
indices for transparent-including UAs is defined as end-inclusive in
the ZIP, but used the end-exclusive bound 2^32.
This commit is contained in:
Jack Grigg 2021-11-22 15:49:41 +00:00 committed by Daira Hopwood
parent 78b7d8489f
commit 026977744c
1 changed files with 1 additions and 1 deletions

View File

@ -530,7 +530,7 @@ UIVK. That is,
defined in ZIP 32 section “Sapling diversifier derivation”
[#zip-0032-sapling-diversifier-derivation]_.
* A Transparent diversifier index MUST be in the range :math:`0` to
:math:`2^{31}` inclusive.
:math:`2^{31} - 1` inclusive.
There are no additional constraints on an Orchard diversifier index.