lsd0003

commit ec5663ea14762c53bbad474b93858be9e4f00f24
parent 6b5f616647574ad7b8a98125490b0aea61170088
Author: Elias Summermatter <elias.summermatter@seccom.ch>
Date:   Tue, 15 Jun 2021 10:32:54 +0200

Fixed some more

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

1 file changed, 8 insertions(+), 8 deletions(-)
diff --git a/draft-summermatter-set-union.xml b/draft-summermatter-set-union.xml
@@ -2318,7 +2318,7 @@ FUNCTION unpack_counter(ibf, offset, count, cbl, pd)
                 RETURN
             END IF
 
-            IF (store_bits + bit_to_pack_left) >= cbl
+            IF store_bits + bit_to_pack_left >= cbl
                 bit_use = cbl - store_bits
 
                 IF store_bits > 0
@@ -2461,13 +2461,13 @@ END FUNCTION
 # Output:
 # returns TRUE if parameters in byzantine bounds otherwise returns FALSE
 FUNCTION check_byzantine_bounds (rec,rsd,lec,lsd)
-    IF (rec + rsd > UPPER_BOUND)
+    IF rec + rsd > UPPER_BOUND
         RETURN FALSE
     IF END
-    IF (lec + lsd > UPPER_BOUND)
+    IF lec + lsd > UPPER_BOUND
         RETURN FALSE
     IF END
-    IF (rec < LOWER_BOUND)
+    IF rec < LOWER_BOUND
         RETURN FALSE
     IF END
     RETURN TRUE
@@ -2758,16 +2758,16 @@ FUNCTION full_sync_plausibility_check (state,rs,lis,rd,rf)
 
     # Make sure that no element is received double when
     # all elements already are transmitted to the oder side.
-    IF ( (FULL_SENDING == state) && (rd > 0) )
+    IF FULL_SENDING == state AND rd > 0
         RETURN FALSE
     END IF
 
     # Probabilistic algorithm to check for plausible
     # element distribution
-    IF (FULL_RECEIVING == state)
+    IF FULL_RECEIVING == state
 
         # Prevent division by 0
-        IF (0 <= rs)
+        IF  0 <= rs
             rs = 1
         END IF
 
@@ -2775,7 +2775,7 @@ FUNCTION full_sync_plausibility_check (state,rs,lis,rd,rf)
         base = 1 - (rs / (lis + rs))
         exponent = rd - rf * lis / rs
         value = exponent * (LOG2(base)/LOG2(2))
-        IF ((value < security_level_lb) || (value > SECURITY_LEVEL)
+        IF value < security_level_lb OR value > SECURITY_LEVEL
             RETURN FALSE
         END IF
     END IF