tfhe 1.6.0

TFHE-rs 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
35
36
37

use crate::core_crypto::prelude::UnsignedInteger;
use tfhe_hpu_backend::prelude::HpuParameters;

/// This function change information position in value
/// Move information bits from MSB to LSB
pub fn msb2lsb<Scalar: UnsignedInteger>(params: &HpuParameters, data: Scalar) -> Scalar {
    let ct_width = params.ntt_params.ct_width as usize;
    let storage_width = Scalar::BITS;
    data >> (storage_width - ct_width)
}

/// This function change information position in value
/// Move information bits from LSB to MSB
pub fn lsb2msb<Scalar: UnsignedInteger>(params: &HpuParameters, data: Scalar) -> Scalar {
    let ct_width = params.ntt_params.ct_width as usize;
    let storage_width = Scalar::BITS;
    data << (storage_width - ct_width)
}

/// This function change information position in container
/// Move information bits from MSB to LSB
pub fn msb2lsb_align<Scalar: UnsignedInteger>(params: &HpuParameters, data: &mut [Scalar]) {
    let ct_width = params.ntt_params.ct_width as usize;
    let storage_width = Scalar::BITS;
    for val in data.iter_mut() {
        *val >>= storage_width - ct_width;
    }
}
/// This function change information position in container
/// Move information bits from LSB to MSB
pub fn lsb2msb_align<Scalar: UnsignedInteger>(params: &HpuParameters, data: &mut [Scalar]) {
    let ct_width = params.ntt_params.ct_width as usize;
    let storage_width = Scalar::BITS;
    for val in data.iter_mut() {
        *val <<= storage_width - ct_width;
    }
}