[lsd0003] branch master updated: Made some code formatting imprvements

[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 d503f88  Made some code formatting imprvements
d503f88 is described below

commit d503f8859d827356c9bd5e50cbaeb1f550ed5f4a
Author: Elias Summermatter <elias.summermatter@seccom.ch>
AuthorDate: Sun Jun 13 21:52:15 2021 +0200

    Made some code formatting imprvements
---
 draft-summermatter-set-union.xml | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/draft-summermatter-set-union.xml b/draft-summermatter-set-union.xml
index 0f97c2c..e70cfe7 100644
--- 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)

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