Struct ThinBootstrapData

pub struct ThinBootstrapData<Params, Strategy>
where
    Params: BGVCiphertextParams,
    Strategy: BGVModswitchStrategy<Params>,
    <CiphertextRing<Params> as RingStore>::Type: AsBGVPlaintext<Params>,
{ /* private fields */ }

Implementations

impl<Params, Strategy> ThinBootstrapData<Params, Strategy>

where Params: BGVCiphertextParams, Strategy: BGVModswitchStrategy<Params>, <CiphertextRing<Params> as RingStore>::Type: AsBGVPlaintext<Params>,

pub fn largest_plaintext_ring(&self) -> &PlaintextRing<Params>

pub fn required_galois_keys( &self, P: &PlaintextRing<Params>, ) -> Vec<CyclotomicGaloisGroupEl>

pub fn bootstrap_thin<'a, const LOG: bool>( &self, C_master: &CiphertextRing<Params>, P_base: &PlaintextRing<Params>, ct_dropped_moduli: &RNSFactorIndexList, ct: Ciphertext<Params>, rk: &RelinKey<'a, Params>, gks: &[(CyclotomicGaloisGroupEl, KeySwitchKey<'a, Params>)], sk_hwt: Option<usize>, debug_sk: Option<&SecretKey<Params>>, ) -> ModulusAwareCiphertext<Params, Strategy>

where Params: 'a,

Performs bootstrapping on thinly packed ciphertexts.

Parameters are as follows:

• C_master is the ciphertext ring over the largest RNS base, both relinearization and Galois keys must be defined w.r.t. C_master
• P_base is the current plaintext ring; ct must be a valid BGV ciphertext encrypting a message from P_base
• ct_dropped_moduli contains all RNS factor indices of C_master that aren’t used by ct (anymore); More concrete, ct lives over the ciphertext ring one obtains by dropping the RNS factors with these indices from the RNS base of C_master
• ct is the ciphertext to bootstrap; It must be thinly packed (i.e. each slot may only contain an element of Z/(t)), otherwise this function will cause immediate noise overflow.
• rk is a relinearization key, to be used for computing products
• gks is a list of Galois keys, to be used for applying Galois automorphisms. This list must contain a Galois key for each Galois automorphism listed in ThinBootstrapData::required_galois_keys(), but may contain additional Galois keys
• debug_sk can be a reference to a secret key, which is used to print out decryptions of intermediate results for debugging purposes. May only be set if LOG == true.