Trait concrete_core::specification::engines::LweCiphertextDiscardingStoringEngine

pub trait LweCiphertextDiscardingStoringEngine<Ciphertext, CiphertextVector>: AbstractEnginewhere
    CiphertextVector: LweCiphertextVectorEntity,
    Ciphertext: LweCiphertextEntity,{
    fn discard_store_lwe_ciphertext(
        &mut self,
        vector: &mut CiphertextVector,
        ciphertext: &Ciphertext,
        i: LweCiphertextIndex
    ) -> Result<(), LweCiphertextDiscardingStoringError<Self::EngineError>>;
    unsafe fn discard_store_lwe_ciphertext_unchecked(
        &mut self,
        vector: &mut CiphertextVector,
        ciphertext: &Ciphertext,
        i: LweCiphertextIndex
    );
}

A trait for engines storing (discarding) LWE ciphertexts in LWE ciphertext vectors.

Semantics

This discarding operation fills the ith LWE ciphertext of the vector LWE ciphertext vector, with the ciphertext LWE ciphertext.

Formal Definition

Required Methods

fn discard_store_lwe_ciphertext(
    &mut self,
    vector: &mut CiphertextVector,
    ciphertext: &Ciphertext,
    i: LweCiphertextIndex
) -> Result<(), LweCiphertextDiscardingStoringError<Self::EngineError>>

Stores an LWE ciphertext in an LWE ciphertext vector.

unsafe fn discard_store_lwe_ciphertext_unchecked(
    &mut self,
    vector: &mut CiphertextVector,
    ciphertext: &Ciphertext,
    i: LweCiphertextIndex
)

Unsafely stores an LWE ciphertext in a LWE ciphertext vector.

Safety

For the general safety concerns regarding this operation, refer to the different variants of LweCiphertextDiscardingStoringError. For safety concerns specific to an engine, refer to the implementer safety section.

Implementors