From c25526e216dee0469b1acdecc4c71b537e586eb4 Mon Sep 17 00:00:00 2001 From: therealyingtong Date: Mon, 14 Jun 2021 19:55:51 +0800 Subject: [PATCH] lookup_range_check.rs: Delete wrong comment. --- src/circuit/gadget/utilities/lookup_range_check.rs | 4 ---- 1 file changed, 4 deletions(-) diff --git a/src/circuit/gadget/utilities/lookup_range_check.rs b/src/circuit/gadget/utilities/lookup_range_check.rs index 94f1f8d7..1261e988 100644 --- a/src/circuit/gadget/utilities/lookup_range_check.rs +++ b/src/circuit/gadget/utilities/lookup_range_check.rs @@ -141,10 +141,6 @@ impl LookupRangeCheckConfig // z_i = 2^{K}⋅z_{i + 1} + a_i // => z_{i + 1} = (z_i - a_i) / (2^K) // - // Assign cumulative sum such that - // z_{i+1} = 2^{K}⋅z_{i} + a_{i+1} - // => z_{i + 1} = (z_i - a_i) / (2^K) - // // For `element` = a_0 + 2^10 a_1 + ... + 2^{120} a_{12}}, initialize z_0 = `element`. // If `element` fits in 130 bits, we end up with z_{13} = 0. let mut z = z_0;