From d4cddc061506d7a9948bca740716767ba3598fa5 Mon Sep 17 00:00:00 2001
From: Daira Hopwood
(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.
+(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. \(\ell^\mathsf{MAX}_M\) bytes is the largest input/output size supported by \(\mathsf{F4Jumble}.\) diff --git a/zip-0316.rst b/zip-0316.rst index 4512ec6c..d6654a44 100644 --- a/zip-0316.rst +++ b/zip-0316.rst @@ -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 ''''''''''''''''''