concrete_core/specification/engines/
lwe_ciphertext_creation.rs

1use super::engine_error;
2use crate::specification::engines::AbstractEngine;
3use crate::specification::entities::LweCiphertextEntity;
4
5engine_error! {
6    LweCiphertextCreationError for LweCiphertextCreationEngine @
7    EmptyContainer => "The container used to create the LWE ciphertext is of length 0!"
8}
9
10impl<EngineError: std::error::Error> LweCiphertextCreationError<EngineError> {
11    /// Validates the inputs
12    pub fn perform_generic_checks(container_length: usize) -> Result<(), Self> {
13        if container_length == 0 {
14            return Err(Self::EmptyContainer);
15        }
16        Ok(())
17    }
18}
19
20/// A trait for engines creating an LWE ciphertext from an arbitrary container.
21///
22/// # Semantics
23///
24/// This [pure](super#operation-semantics) operation creates an LWE ciphertext from the abitrary
25/// `container`. By arbitrary here, we mean that `Container` can be any type that allows to
26/// instantiate an `LweCiphertextEntity`.
27pub trait LweCiphertextCreationEngine<Container, Ciphertext>: AbstractEngine
28where
29    Ciphertext: LweCiphertextEntity,
30{
31    /// Creates an LWE ciphertext from an arbitrary container.
32    fn create_lwe_ciphertext_from(
33        &mut self,
34        container: Container,
35    ) -> Result<Ciphertext, LweCiphertextCreationError<Self::EngineError>>;
36
37    /// Unsafely creates an LWE ciphertext from an arbitrary container.
38    ///
39    /// # Safety
40    /// For the _general_ safety concerns regarding this operation, refer to the different variants
41    /// of [`LweCiphertextCreationError`]. For safety concerns _specific_ to an engine, refer to
42    /// the implementer safety section.
43    unsafe fn create_lwe_ciphertext_from_unchecked(&mut self, container: Container) -> Ciphertext;
44}
concrete_core/specification/engines/lwe_ciphertext_creation.rs

concrete_core/specification/engines/
lwe_ciphertext_creation.rs
