Enum concrete_core::specification::engines::LweCiphertextVectorDiscardingCircuitBootstrapBooleanVerticalPackingError

#[non_exhaustive]
pub enum LweCiphertextVectorDiscardingCircuitBootstrapBooleanVerticalPackingError<EngineError: Error> {
    NullDecompositionBaseLog,
    NullDecompositionLevelCount,
    DecompositionTooLarge,
    KeysLweDimensionMismatch,
    InputLweDimensionMismatch,
    OutputLweDimensionMismatch,
    MalformedLookUpTables,
    InvalidSmallLookUpTableSize,
    Engine(EngineError),
}

An error used with the LweCiphertextVectorDiscardingCircuitBootstrapBooleanVerticalPackingEngine trait.

This type provides a LweCiphertextVectorDiscardingCircuitBootstrapBooleanVerticalPackingError::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)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

NullDecompositionBaseLog

Generic error: The circuit bootstrap decomposition base log must be greater than zero.

NullDecompositionLevelCount

Generic error: The circuit bootstrap decomposition level count must be greater than zero.

DecompositionTooLarge

Generic error: The decomposition precision (base log * level count) must not exceed the precision of the ciphertext.

KeysLweDimensionMismatch

Generic error: The bootstrap key output LWE dimension must be the same as the input LWE dimension of the circuit bootstrap private functional packing keyswitch keys.

InputLweDimensionMismatch

Generic error: The input ciphertexts LWE dimension must be the same as the bootstrap key input LWE dimension.

OutputLweDimensionMismatch

Generic error: The output ciphertexts LWE dimension must be the same as the cbs_pfpksk output GLWE dimension times its output polynomial size.

MalformedLookUpTables

Generic error: The input luts must have a size divisible by the circuit bootstrap private functional packing keyswitch keys output polynomial size times the number of output ciphertexts. This is required to get small look-up tables of polynomials of the same size for each output ciphertext.

InvalidSmallLookUpTableSize

Generic error: The number of polynomials times the polynomial size in a small look-up table must be equal to 2 to the power the number of input ciphertexts encrypting bits.

Engine(EngineError)

Specific error to the implementing engine.

Implementations

impl<EngineError: Error> LweCiphertextVectorDiscardingCircuitBootstrapBooleanVerticalPackingError<EngineError>

pub fn perform_generic_checks<Input: LweCiphertextVectorEntity, Output: LweCiphertextVectorEntity, BootstrapKey: LweBootstrapKeyEntity, LUTs: PlaintextVectorEntity, CBSPFPKSK: LweCircuitBootstrapPrivateFunctionalPackingKeyswitchKeysEntity>(
    input: &Input,
    output: &Output,
    bsk: &BootstrapKey,
    luts: &LUTs,
    cbs_decomposition_level_count: DecompositionLevelCount,
    cbs_decomposition_base_log: DecompositionBaseLog,
    cbs_pfpksk: &CBSPFPKSK,
    ciphertext_modulus_log: usize
) -> Result<(), Self>

Validates the inputs

Trait Implementations

impl<EngineError: Clone + Error> Clone for LweCiphertextVectorDiscardingCircuitBootstrapBooleanVerticalPackingError<EngineError>

fn clone(
    &self
) -> LweCiphertextVectorDiscardingCircuitBootstrapBooleanVerticalPackingError<EngineError>

Returns a copy of the value.

const fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<EngineError: Debug + Error> Debug for LweCiphertextVectorDiscardingCircuitBootstrapBooleanVerticalPackingError<EngineError>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<EngineError: Error> Display for LweCiphertextVectorDiscardingCircuitBootstrapBooleanVerticalPackingError<EngineError>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<EngineError: Error> Error for LweCiphertextVectorDiscardingCircuitBootstrapBooleanVerticalPackingError<EngineError>

fn source(&self) -> Option<&(dyn Error + 'static)>

The lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0: use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0: replaced by Error::source, which can support downcasting

fn provide(&'a self, demand: &mut Demand<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type based access to context intended for error reports.

impl From<FftError> for LweCiphertextVectorDiscardingCircuitBootstrapBooleanVerticalPackingError<FftError>

fn from(err: FftError) -> Self

Converts to this type from the input type.

impl<EngineError: PartialEq + Error> PartialEq<LweCiphertextVectorDiscardingCircuitBootstrapBooleanVerticalPackingError<EngineError>> for LweCiphertextVectorDiscardingCircuitBootstrapBooleanVerticalPackingError<EngineError>

fn eq(
    &self,
    other: &LweCiphertextVectorDiscardingCircuitBootstrapBooleanVerticalPackingError<EngineError>
) -> bool

This method tests for self and other values to be equal, and is used by ==.

const fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<EngineError: Eq + Error> Eq for LweCiphertextVectorDiscardingCircuitBootstrapBooleanVerticalPackingError<EngineError>

impl<EngineError: Error> StructuralEq for LweCiphertextVectorDiscardingCircuitBootstrapBooleanVerticalPackingError<EngineError>

impl<EngineError: Error> StructuralPartialEq for LweCiphertextVectorDiscardingCircuitBootstrapBooleanVerticalPackingError<EngineError>