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
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
mod add_crt;
mod mul_crt;
mod neg_crt;
mod scalar_add_crt;
mod scalar_mul_crt;
mod scalar_sub_crt;
mod sub_crt;
#[cfg(test)]
mod tests;
use crate::integer::ciphertext::CrtCiphertext;
use crate::integer::ServerKey;
use rayon::prelude::*;
impl ServerKey {
/// Extract all the messages.
///
/// # Example
///
///```rust
/// use tfhe::integer::gen_keys_crt;
/// use tfhe::shortint::parameters::PARAM_MESSAGE_3_CARRY_3_KS_PBS_GAUSSIAN_2M128;
///
/// // Generate the client key and the server key:
/// let basis = vec![2, 3, 5];
/// let modulus: u64 = basis.iter().product();
/// let (cks, sks) = gen_keys_crt(PARAM_MESSAGE_3_CARRY_3_KS_PBS_GAUSSIAN_2M128, basis);
///
/// let clear_1 = 14;
/// let clear_2 = 14;
/// // Encrypt two messages
/// let mut ctxt_1 = cks.encrypt(clear_1);
/// let ctxt_2 = cks.encrypt(clear_2);
///
/// // Compute homomorphically a multiplication
/// sks.unchecked_crt_add_assign(&mut ctxt_1, &ctxt_2);
///
/// sks.full_extract_message_assign_parallelized(&mut ctxt_1);
///
/// // Decrypt
/// let res = cks.decrypt(&ctxt_1);
/// assert_eq!((clear_1 + clear_2) % modulus, res);
/// ```
pub fn full_extract_message_assign_parallelized(&self, ctxt: &mut CrtCiphertext) {
ctxt.blocks.par_iter_mut().for_each(|ct_i| {
self.key.message_extract_assign(ct_i);
});
}
/// Computes a PBS for CRT-compliant functions.
///
/// # Warning
///
/// This allows to compute programmable bootstrapping over integers under the condition that
/// the function is said to be CRT-compliant. This means that the function should be correct
/// when evaluated on each modular block independently (e.g. arithmetic functions).
///
/// # Example
///
/// ```rust
/// use tfhe::integer::gen_keys_crt;
/// use tfhe::shortint::parameters::PARAM_MESSAGE_3_CARRY_3_KS_PBS_GAUSSIAN_2M128;
///
/// // Generate the client key and the server key:
/// let basis = vec![2, 3, 5];
/// let modulus: u64 = basis.iter().product();
/// let (cks, sks) = gen_keys_crt(PARAM_MESSAGE_3_CARRY_3_KS_PBS_GAUSSIAN_2M128, basis);
///
/// let clear_1 = 28;
///
/// let mut ctxt_1 = cks.encrypt(clear_1);
///
/// // Compute homomorphically the crt-compliant PBS
/// sks.pbs_crt_compliant_function_assign_parallelized(&mut ctxt_1, |x| x * x * x);
///
/// // Decrypt
/// let res = cks.decrypt(&ctxt_1);
/// assert_eq!((clear_1 * clear_1 * clear_1) % modulus, res);
/// ```
pub fn pbs_crt_compliant_function_assign_parallelized<F>(&self, ct1: &mut CrtCiphertext, f: F)
where
F: Fn(u64) -> u64,
{
let basis = &ct1.moduli;
let lookup_tables = basis
.iter()
.copied()
.map(|b| self.key.generate_lookup_table(|x| f(x) % b))
.collect::<Vec<_>>();
ct1.blocks
.par_iter_mut()
.zip(lookup_tables.par_iter())
.for_each(|(block, acc)| {
self.key.apply_lookup_table_assign(block, acc);
});
}
pub fn pbs_crt_compliant_function_parallelized<F>(
&self,
ct1: &CrtCiphertext,
f: F,
) -> CrtCiphertext
where
F: Fn(u64) -> u64,
{
let mut ct_res = ct1.clone();
self.pbs_crt_compliant_function_assign_parallelized(&mut ct_res, f);
ct_res
}
}