ZIP 316: correct wording that assumed zero padding (i.e. had not been updated for inclusion of HRP).

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
This commit is contained in:
Daira Hopwood 2021-09-21 11:16:13 +01:00
parent a31336c9c6
commit d4cddc0615
2 changed files with 7 additions and 7 deletions

View File

@ -447,8 +447,8 @@ c^{n+m}}{q}.\)</span>
<span class="math">\(\ell^\mathsf{MAX}_M\)</span>
bytes; otherwise it applies
<span class="math">\(\mathsf{F4Jumble}^{-1}.\)</span>
It rejects any result that does not end in the expected padding, before stripping these 16 bytes and parsing the result.</p>
<p>(48 bytes is the minimum size of a valid UA, UFVK, or UIVK raw encoding plus 16 zero bytes, corresponding to a single Sapling Incoming Viewing Key.
It rejects any result that does not end in the expected 16-byte padding, before stripping these 16 bytes and parsing the result.</p>
<p>(48 bytes is the minimum size of a valid UA, UFVK, or UIVK raw encoding plus 16 bytes of padding, corresponding to a single Sapling Incoming Viewing Key.
<span class="math">\(\ell^\mathsf{MAX}_M\)</span>
bytes is the largest input/output size supported by
<span class="math">\(\mathsf{F4Jumble}.\)</span>

View File

@ -634,13 +634,13 @@ before encoding the result with Bech32m.
The Consumer rejects any Bech32m-decoded byte sequence that is less than
48 bytes or greater than :math:`\ell^\mathsf{MAX}_M` bytes; otherwise it
applies :math:`\mathsf{F4Jumble}^{-1}.` It rejects any result that does
not end in the expected padding, before stripping these 16 bytes and
parsing the result.
not end in the expected 16-byte padding, before stripping these 16 bytes
and parsing the result.
(48 bytes is the minimum size of a valid UA, UFVK, or UIVK raw encoding
plus 16 zero bytes, corresponding to a single Sapling Incoming Viewing Key.
:math:`\ell^\mathsf{MAX}_M` bytes is the largest input/output size
supported by :math:`\mathsf{F4Jumble}.`)
plus 16 bytes of padding, corresponding to a single Sapling Incoming
Viewing Key. :math:`\ell^\mathsf{MAX}_M` bytes is the largest input/output
size supported by :math:`\mathsf{F4Jumble}.`)
Heuristic analysis
''''''''''''''''''