github/zk-fhe
1
1
Fork 0
mirror of https://github.com/enricobottazzi/zk-fhe.git synced 2026-01-09 05:08:04 -05:00
Code Issues Packages Projects Releases Wiki Activity

fix: fetch q_bits operation

Browse Source
This commit is contained in:
Enrico Bottazzi
2023-10-02 15:08:30 +02:00
parent 03db449070
commit 2662b51afd
1 changed files with 4 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
src/chips/distribution.rs
View File

@@ -32,8 +32,9 @@ pub fn check_poly_from_distribution_chi_error<
// The bool value of `in_range` is then enforced to be true
let mut in_range_vec = Vec::with_capacity((N + 1) as usize);
// get the number of bits required to represent the modulus q
let q_bits = (Q as f64).log2().ceil() as usize;
// get the number of bits needed to represent the value of Q
let binary_representation = format!("{:b}", Q); // Convert to binary (base-2)
let q_bits = binary_representation.len();
for coeff in &a {
// Check for the range [0, B]
@@ -96,4 +97,4 @@ pub fn check_poly_from_distribution_chi_key<const N: u64, const Q: u64, F: Scala
let bool = gate.is_zero(ctx, factor_1_2_3);
gate.assert_is_const(ctx, &bool, &F::from(1));
}
}
}