Fixed security bug: missing MAC check in probabilistic truncation.

data61 · Oct 17, 2024 · 7051e5a · 7051e5a
1 parent acc4990
commit 7051e5a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Compiler/floatingpoint.py b/Compiler/floatingpoint.py
@@ -587,7 +587,7 @@ def TruncPrField(a, k, m):
                       k, m, use_dabit=False)
     two_to_m = two_power(m)
     r = two_to_m * r_dprime + r_prime
-    c = (b + r).reveal(False)
+    c = (b + r).reveal(True)
     c_prime = c % two_to_m
     a_prime = c_prime - r_prime
     d = (a - a_prime).field_div(two_to_m)