lsd0004

commit b20dba0448377bf2c67f212d41d6c70934bf809f
parent 30a22ea5b8f6450319e3b1d88520e7d25e5d53a7
Author: Martin Schanzenbach <schanzen@gnunet.org>
Date:   Sat, 24 Dec 2022 01:03:03 +0900

More bloom filter wording

Diffstat:
M
draft-schanzen-r5n.xml
 | 
14
++++++--------

1 file changed, 6 insertions(+), 8 deletions(-)
diff --git a/draft-schanzen-r5n.xml b/draft-schanzen-r5n.xml
@@ -2372,16 +2372,14 @@ gnunet+tcp://12.3.4.5/ \
 	    The RESULT_FILTER for HELLO blocks is implemented using a
             Bloom filter following the definition from <xref target="bloom_filters"/>
             and consists of a variable number of buckets <tt>L</tt>.
-            The size <tt>S = L/8</tt> of the Bloom filter in bytes depends on
-	    the number of elements <tt>|E|</tt> known to be filtered at the
-	    initiator. If <tt>|E|</tt> is zero, the size <tt>S</tt> is padded to 32 bits for alignment.
+            <tt>L</tt> depends on the number of elements <tt>|E|</tt> known to be filtered at the
+	    initiator. If <tt>|E|</tt> is zero, the size <tt>L</tt> is padded to 32 bits for alignment.
 	    Otherwise, <tt>L</tt> is set to the minimum of
 	    2<sup>18</sup> bits (2<sup>15</sup> bytes) and the lowest power
 	    of 2 that is strictly larger than <tt>2*K*|E|</tt> bits (<tt>K*|E|/4</tt> bytes).
           </t>
           <t>
-            The <tt>k</tt>-value for the HELLO_BF Bloom filter is always 16.
-            <tt>k</tt> is never transmitted.
+            The <tt>k</tt>-value for the Bloom filter is 16.
             The elements used in the Bloom filter
             consist of an XOR between the <tt>H_ADDRS</tt> field (as computed using
             SHA-512 over the <tt>ADDRESSES</tt>) and the SHA-512
@@ -2396,8 +2394,8 @@ gnunet+tcp://12.3.4.5/ \
             This resulting byte string is interpreted as k=16 32-bit
             integers in network byte order which are used to set and check the bucket bits in
             <tt>B</tt> using <tt>BF-SET</tt> and <tt>BF-TEST</tt>.
-            The Mutator is prepended to the Bloom filter <tt>B</tt> to create the result filter
-            for a HELLO block:
+            The 32-bit Mutator is prepended to the L-bit Bloom filter bucket field <tt>HELLO_BF</tt> containing <tt>B</tt>
+            to create the result filter for a HELLO block:
           </t>
           <figure anchor="hello_rf" title="The HELLO Block Result Filter.">
             <artwork name="" type="" align="left" alt=""><![CDATA[
@@ -2417,7 +2415,7 @@ gnunet+tcp://12.3.4.5/ \
             </dd>
             <dt>HELLO_BF</dt>
             <dd>
-              The Bloom filter buckets byte array.
+              The L-bit Bloom filter buckets byte array.
             </dd>
           </dl>
           <t>