#[non_exhaustive]
pub enum LweCiphertextDiscardingBootstrapError<EngineError: Error> {
InputLweDimensionMismatch,
OutputLweDimensionMismatch,
AccumulatorPolynomialSizeMismatch,
AccumulatorGlweDimensionMismatch,
Engine(EngineError),
}
Expand description
An error used with the LweCiphertextDiscardingBootstrapEngine
trait.
This type provides a
LweCiphertextDiscardingBootstrapError::perform_generic_checks
function that does error checking for the general cases, returning an Ok(())
if the inputs are valid, meaning that engine implementors would then only
need to check for their own specific errors.
Otherwise an Err(..)
with the proper error variant is returned.
Variants (Non-exhaustive)
This enum is marked as non-exhaustive
InputLweDimensionMismatch
Generic error: The input ciphertext and key LWE dimension must be the same.
OutputLweDimensionMismatch
Generic error: The output ciphertext dimension and key size (dimension * polynomial size) must be the same.
AccumulatorPolynomialSizeMismatch
Generic error: The accumulator and key polynomial sizes must be the same.
AccumulatorGlweDimensionMismatch
Generic error: The accumulator and key GLWE dimensions must be the same.
Engine(EngineError)
Specific error to the implementing engine.
Implementations
pub fn perform_generic_checks<BootstrapKey, Accumulator, InputCiphertext, OutputCiphertext>(
output: &OutputCiphertext,
input: &InputCiphertext,
acc: &Accumulator,
bsk: &BootstrapKey
) -> Result<(), Self> where
BootstrapKey: LweBootstrapKeyEntity,
Accumulator: GlweCiphertextEntity<KeyDistribution = BootstrapKey::OutputKeyDistribution>,
InputCiphertext: LweCiphertextEntity<KeyDistribution = BootstrapKey::InputKeyDistribution>,
OutputCiphertext: LweCiphertextEntity<KeyDistribution = BootstrapKey::OutputKeyDistribution>,
pub fn perform_generic_checks<BootstrapKey, Accumulator, InputCiphertext, OutputCiphertext>(
output: &OutputCiphertext,
input: &InputCiphertext,
acc: &Accumulator,
bsk: &BootstrapKey
) -> Result<(), Self> where
BootstrapKey: LweBootstrapKeyEntity,
Accumulator: GlweCiphertextEntity<KeyDistribution = BootstrapKey::OutputKeyDistribution>,
InputCiphertext: LweCiphertextEntity<KeyDistribution = BootstrapKey::InputKeyDistribution>,
OutputCiphertext: LweCiphertextEntity<KeyDistribution = BootstrapKey::OutputKeyDistribution>,
Validates the inputs
Trait Implementations
impl<EngineError: PartialEq + Error> PartialEq<LweCiphertextDiscardingBootstrapError<EngineError>> for LweCiphertextDiscardingBootstrapError<EngineError>
impl<EngineError: PartialEq + Error> PartialEq<LweCiphertextDiscardingBootstrapError<EngineError>> for LweCiphertextDiscardingBootstrapError<EngineError>
This method tests for self
and other
values to be equal, and is used
by ==
. Read more
This method tests for !=
.
impl<EngineError: Error> StructuralPartialEq for LweCiphertextDiscardingBootstrapError<EngineError>
Auto Trait Implementations
impl<EngineError> RefUnwindSafe for LweCiphertextDiscardingBootstrapError<EngineError> where
EngineError: RefUnwindSafe,
impl<EngineError> Send for LweCiphertextDiscardingBootstrapError<EngineError> where
EngineError: Send,
impl<EngineError> Sync for LweCiphertextDiscardingBootstrapError<EngineError> where
EngineError: Sync,
impl<EngineError> Unpin for LweCiphertextDiscardingBootstrapError<EngineError> where
EngineError: Unpin,
impl<EngineError> UnwindSafe for LweCiphertextDiscardingBootstrapError<EngineError> where
EngineError: UnwindSafe,
Blanket Implementations
Mutably borrows from an owned value. Read more