Module concrete_npe::lwe

Noise formulas for the lwe-sample related operations Those functions will be used in the lwe tests to check that the noise behavior is consistent with the theory.

Traits

LWE

Functions

add_2_uncorrelated

Computes the variance of the error distribution after an addition of two uncorrelated ciphertexts sigma_out^2 <- sigma0^2 + sigma1^2 Arguments

add_n_uncorrelated

Computes the variance of the error distribution after an addition of n uncorrelated ciphertexts sigma_out^2 <- \Sum sigma_i^2 Arguments

log2_rounding_noise

Computes an upper bound for the log2 of the rounding noise z*sigma (mean is 0.) 2048 -> 4.838859820820504 1024 -> 4.357122758833062 630 -> 4.024243436996168 512 -> 3.8824357953680453

upper_bound_hw_secret_key

Computes an upper bound for the number of 1 in a secret key z*sigma + mean