concrete_lib 0.1.5

Concrete is a fully homomorphic encryption (FHE) library that implements Zama's variant of TFHE.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34

//! Noise formulas for the RLWE operations considering that all slot have the same error variance

use crate::npe::LWE;
use crate::Types;

pub trait RLWE: Sized {
    type STorus;
    fn scalar_polynomial_mult(variance: f64, scalar_polynomial: &[Self]) -> f64;
}

macro_rules! impl_trait_npe_rlwe {
    ($T:ty,$DOC:expr) => {
        impl RLWE for $T {
            type STorus = <$T as Types>::STorus;

            /// Computes the variance of the error distribution after a multiplication between a RLWE sample and a scalar polynomial
            /// sigma_out^2 <- \Sum_i weight_i^2 * sigma^2
            /// Arguments
            /// * `variance` - the error variance in each slot of the input ciphertext
            /// * `scalar_polynomial` - a slice of Torus with the input weights
            /// Output
            /// * the error variance for each slot of the output ciphertext
            fn scalar_polynomial_mult(variance: f64, scalar_polynomial: &[Self]) -> f64 {
                return <$T as LWE>::multisum_uncorrelated(
                    &vec![variance; scalar_polynomial.len()],
                    scalar_polynomial,
                );
            }
        }
    };
}

impl_trait_npe_rlwe!(u32, "type Torus = u32;");
impl_trait_npe_rlwe!(u64, "type Torus = u64;");