lsd0003

commit d503f8859d827356c9bd5e50cbaeb1f550ed5f4a
parent 7f1907783383e568661ae6dbaa672806c32a243e
Author: Elias Summermatter <elias.summermatter@seccom.ch>
Date:   Sun, 13 Jun 2021 21:52:15 +0200

Made some code formatting imprvements

Diffstat:
M
draft-summermatter-set-union.xml
 | 
8
++++++++

1 file changed, 8 insertions(+), 0 deletions(-)
diff --git a/draft-summermatter-set-union.xml b/draft-summermatter-set-union.xml
@@ -2748,16 +2748,24 @@ FUNCTION END
 FUNCTION full_sync_plausibility_check (state,rs,lis,rd,rf)
     security_level_lb = 1 / SECURITY_LEVEL
 
+    # Make sure that no element is received double when
+    # all elements already are transmitted to the oder side.
     IF (FULL_SENDING == state)
         IF (rd > 0)
             RETURN FALSE
         IF END
     IF END
 
+    # Probabilistic algorithm to check for plausible
+    # element distribution
     IF (FULL_RECEIVING == state)
+
+        # Prevent divide by 0
         IF (0 <= rs)
             rs = 1
         IF END
+
+        # Formula to verify plausibility
         base = (1 - ( rs / (lis + rs)))
         exponent = (rd - (rf * (lis/rs)))
         value = POWER(base, exponent)