[lsd0003] branch master updated: Fixed some more stuff

[gnunet]

This is an automated email from the git hooks/post-receive script.

elias-summermatter pushed a commit to branch master
in repository lsd0003.

The following commit(s) were added to refs/heads/master by this push:
     new 4ab0e56  Fixed some more stuff
4ab0e56 is described below

commit 4ab0e56e332745eb65c5ff14fb58164fe49a4c13
Author: Elias Summermatter <elias.summermatter@seccom.ch>
AuthorDate: Tue Jun 15 19:29:05 2021 +0200

    Fixed some more stuff
---
 draft-summermatter-set-union.xml | 26 +++++++++-----------------
 1 file changed, 9 insertions(+), 17 deletions(-)

diff --git a/draft-summermatter-set-union.xml b/draft-summermatter-set-union.xml
index 3ac6a5e..1643a7b 100644
--- a/draft-summermatter-set-union.xml
+++ b/draft-summermatter-set-union.xml
@@ -2225,6 +2225,15 @@ FUNCTION END
                   the IBF to get the maximum counter in the IBF. The second 
function
                   packs the counters of the IBF, and the third function that 
unpacks the counters.
                 </t>
+                <t>
+                    As a plausibly check to prevent the byzantine upper bound
+                    checks in <xref 
target="security_generic_functions_check_byzantine_boundaries" 
format="default"/>
+                    to fail, implementations must ensure that the
+                    estimates of the set size difference added together
+                    never exceed the set byzantine upper bound. This
+                    could for example happen in case the strata estimator
+                    overestimates the set difference.
+                </t>
                 <figure anchor="performance_counter_variable_size_code">
                     <artwork name="" type="" align="left" alt=""><![CDATA[
 
@@ -2485,23 +2494,6 @@ FUNCTION check_byzantine_bounds (rec,rsd,lec,lsd)
 FUNCTION END
                     ]]></artwork>
                 </figure>
-                <t>
-                  For the byzantine upper bound checks to function
-                  correctly, implementations must ensure that the
-                  estimates of the set size difference added together
-                  never exceed the set byzantine upper bound.  This
-                  could for example happen if the strata estimator
-                  overestimates the set difference.
-                  <!-- FIXME: if an implementation does this, then
-                       the first two parts of the check are trivially
-                       satisfied; so likely we should formulate this
-                       not as a 'check' function to be _actually_
-                       executed, but as a plausibility check which
-                       is to be applied after the SE calculation to
-                       the computed set size differences, resulting
-                       in a hard cap on the set size difference estimate
-                       that is then actually used. @Christian: ???-->
-                </t>
             </section>
 
             <section anchor="security_generic_functions_check_valid_state" 
numbered="true" toc="default">

-- 
To stop receiving notification emails like this one, please contact
gnunet@gnunet.org.