Trait concrete_core::specification::engines::LweSeededKeyswitchKeyToLweKeyswitchKeyTransformationEngine
source · [−]pub trait LweSeededKeyswitchKeyToLweKeyswitchKeyTransformationEngine<InputKey, OutputKey>: AbstractEnginewhere
InputKey: LweSeededKeyswitchKeyEntity,
OutputKey: LweKeyswitchKeyEntity,{
fn transform_lwe_seeded_keyswitch_key_to_lwe_keyswitch_key(
&mut self,
lwe_seeded_keyswitch_key: InputKey
) -> Result<OutputKey, LweSeededKeyswitchKeyToLweKeyswitchKeyTransformationError<Self::EngineError>>;
unsafe fn transform_lwe_seeded_keyswitch_key_to_lwe_keyswitch_key_unchecked(
&mut self,
lwe_seeded_keyswitch_key: InputKey
) -> OutputKey;
}
Expand description
A trait for engines transforming LWE seeded ciphertexts into LWE ciphertexts.
Semantics
This pure operation moves the existing seeded LWE keyswitch key into an LWE keyswitch key.
Formal Definition
LWE seeded keyswitch key to LWE keyswitch key transformation
TODO
Required Methods
sourcefn transform_lwe_seeded_keyswitch_key_to_lwe_keyswitch_key(
&mut self,
lwe_seeded_keyswitch_key: InputKey
) -> Result<OutputKey, LweSeededKeyswitchKeyToLweKeyswitchKeyTransformationError<Self::EngineError>>
fn transform_lwe_seeded_keyswitch_key_to_lwe_keyswitch_key(
&mut self,
lwe_seeded_keyswitch_key: InputKey
) -> Result<OutputKey, LweSeededKeyswitchKeyToLweKeyswitchKeyTransformationError<Self::EngineError>>
Does the transformation of the seeded LWE keyswitch key into an LWE keyswitch key
sourceunsafe fn transform_lwe_seeded_keyswitch_key_to_lwe_keyswitch_key_unchecked(
&mut self,
lwe_seeded_keyswitch_key: InputKey
) -> OutputKey
unsafe fn transform_lwe_seeded_keyswitch_key_to_lwe_keyswitch_key_unchecked(
&mut self,
lwe_seeded_keyswitch_key: InputKey
) -> OutputKey
Unsafely transforms a seeded LWE keyswitch key into an LWE keyswitch key
Safety
For the general safety concerns regarding this operation, refer to the different variants
of LweSeededKeyswitchKeyToLweKeyswitchKeyTransformationError
.
For safety concerns specific to an engine, refer to the implementer safety section.