diff --git a/poc/flp_generic.py b/poc/flp_generic.py index 34998517..d2d04e58 100644 --- a/poc/flp_generic.py +++ b/poc/flp_generic.py @@ -646,7 +646,7 @@ class MultiHotHistogram(Valid): A validity circuit that checks each Client's measurement is a bit vector with at most `max_num_bits` 1s. - In order to check the Client measurement `x` has at most `max_num_bits` 1s, + In order to check the Client measurement `x` has at most `max_count` 1s, we ask the Client to send an additional `bits_for_count` bits that encode the number of 1s in the measurement, with an offset. Specifically: - Let `num_bits_for_count = int(log2(max_num_bits)) + 1`.