Enum concrete_core::specification::engines::LweCiphertextDiscardingCircuitBootstrapBooleanError

#[non_exhaustive]
pub enum LweCiphertextDiscardingCircuitBootstrapBooleanError<EngineError: Error> {
    KeysDimensionMismatched,
    MismatchedPolynomialSize,
    MismatchedGlweDimension,
    MismatchedPFPKSKCount,
    MismatchedInputLweDimension,
    Engine(EngineError),
}

An error used with the LweCiphertextDiscardingCircuitBootstrapBooleanEngine trait.

This type provides a LweCiphertextDiscardingCircuitBootstrapBooleanError::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.

KeysDimensionMismatched

Generic error: The input LWE dimension of the private functional packing keyswitchkeys need to be the same as the bootstrap key output LWE dimension.

MismatchedPolynomialSize

Generic error: The output GGSW ciphertext polynomial size must be the same as the private functional packing keyswitch keys polynomial size.

MismatchedGlweDimension

Generic error: The output GGSW ciphertext GLWE dimension must be the same as the private functional packing keyswitch keys GLWE dimension.

MismatchedPFPKSKCount

Generic error: The number of private function packing keyswitch keys does not match the required amount for the given output GGSW ciphertext.

MismatchedInputLweDimension

Generic error: The input ciphertext LWE dimension does not match the bootstrap key input LWE dimension.

Engine(EngineError)

Specific error to the implementing engine.

Implementations

impl<EngineError: Error> LweCiphertextDiscardingCircuitBootstrapBooleanError<EngineError>

pub fn perform_generic_checks<Input, Output, BootstrapKey, CirctuiBootstrapFunctionalPackingKeyswitchKeys>(
    input_lwe_ct: &Input,
    output_ggsw_ct: &Output,
    bootstrap_key: &BootstrapKey,
    cbs_pfpksk: &CirctuiBootstrapFunctionalPackingKeyswitchKeys
) -> Result<(), Self>where
    Input: LweCiphertextEntity,
    Output: GgswCiphertextEntity,
    BootstrapKey: LweBootstrapKeyEntity,
    CirctuiBootstrapFunctionalPackingKeyswitchKeys: LweCircuitBootstrapPrivateFunctionalPackingKeyswitchKeysEntity,

Validates the inputs

Trait Implementations

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

fn clone(
    &self
) -> LweCiphertextDiscardingCircuitBootstrapBooleanError<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 LweCiphertextDiscardingCircuitBootstrapBooleanError<EngineError>

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

Formats the value using the given formatter.

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

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

Formats the value using the given formatter.

impl<EngineError: Error> Error for LweCiphertextDiscardingCircuitBootstrapBooleanError<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 LweCiphertextDiscardingCircuitBootstrapBooleanError<FftError>

fn from(err: FftError) -> Self

Converts to this type from the input type.

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

fn eq(
    &self,
    other: &LweCiphertextDiscardingCircuitBootstrapBooleanError<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 LweCiphertextDiscardingCircuitBootstrapBooleanError<EngineError>

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

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