Trait PkeParams 

pub trait PkeParams: ParameterSet {
    type NttVectorSize: ArraySize;
    type EncryptionKeySize: ArraySize;
    type CiphertextSize: ArraySize;

    // Required methods
    fn encode_u12(
        p: &NttVector<Self::K>,
    ) -> Array<u8, <Self as PkeParams>::NttVectorSize>;
    fn decode_u12(
        v: &Array<u8, <Self as PkeParams>::NttVectorSize>,
    ) -> NttVector<Self::K>;
    fn concat_ct(
        u: Array<u8, <<Self as ParameterSet>::Du as VectorEncodingSize<<Self as ParameterSet>::K>>::EncodedPolynomialVectorSize>,
        v: Array<u8, <<Self as ParameterSet>::Dv as EncodingSize>::EncodedPolynomialSize>,
    ) -> Array<u8, <Self as PkeParams>::CiphertextSize>;
    fn split_ct(
        ct: &Array<u8, <Self as PkeParams>::CiphertextSize>,
    ) -> (&Array<u8, <<Self as ParameterSet>::Du as VectorEncodingSize<<Self as ParameterSet>::K>>::EncodedPolynomialVectorSize>, &Array<u8, <<Self as ParameterSet>::Dv as EncodingSize>::EncodedPolynomialSize>);
    fn concat_ek(
        t_hat: Array<u8, <Self as PkeParams>::NttVectorSize>,
        rho: B32,
    ) -> Array<u8, <Self as PkeParams>::EncryptionKeySize>;
    fn split_ek(
        ek: &Array<u8, <Self as PkeParams>::EncryptionKeySize>,
    ) -> (&Array<u8, <Self as PkeParams>::NttVectorSize>, &B32);
}

Derived parameter relevant to K-PKE

Required Associated Types

type NttVectorSize: ArraySize

type EncryptionKeySize: ArraySize

type CiphertextSize: ArraySize

Required Methods

fn encode_u12( p: &NttVector<Self::K>, ) -> Array<u8, <Self as PkeParams>::NttVectorSize>

fn decode_u12( v: &Array<u8, <Self as PkeParams>::NttVectorSize>, ) -> NttVector<Self::K>

fn concat_ct( u: Array<u8, <<Self as ParameterSet>::Du as VectorEncodingSize<<Self as ParameterSet>::K>>::EncodedPolynomialVectorSize>, v: Array<u8, <<Self as ParameterSet>::Dv as EncodingSize>::EncodedPolynomialSize>, ) -> Array<u8, <Self as PkeParams>::CiphertextSize>

fn split_ct( ct: &Array<u8, <Self as PkeParams>::CiphertextSize>, ) -> (&Array<u8, <<Self as ParameterSet>::Du as VectorEncodingSize<<Self as ParameterSet>::K>>::EncodedPolynomialVectorSize>, &Array<u8, <<Self as ParameterSet>::Dv as EncodingSize>::EncodedPolynomialSize>)

fn concat_ek( t_hat: Array<u8, <Self as PkeParams>::NttVectorSize>, rho: B32, ) -> Array<u8, <Self as PkeParams>::EncryptionKeySize>

fn split_ek( ek: &Array<u8, <Self as PkeParams>::EncryptionKeySize>, ) -> (&Array<u8, <Self as PkeParams>::NttVectorSize>, &B32)

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<P> PkeParams for P

where P: ParameterSet, U384: Mul<P::K>, Prod<U384, P::K>: ArraySize + Add<U32> + Div<P::K, Output = U384> + Rem<P::K, Output = U0>, <<P as ParameterSet>::Du as VectorEncodingSize<<P as ParameterSet>::K>>::EncodedPolynomialVectorSize: Add<<<P as ParameterSet>::Dv as EncodingSize>::EncodedPolynomialSize>, Sum<<<P as ParameterSet>::Du as VectorEncodingSize<<P as ParameterSet>::K>>::EncodedPolynomialVectorSize, <<P as ParameterSet>::Dv as EncodingSize>::EncodedPolynomialSize>: ArraySize + Sub<<<P as ParameterSet>::Du as VectorEncodingSize<<P as ParameterSet>::K>>::EncodedPolynomialVectorSize, Output = <<P as ParameterSet>::Dv as EncodingSize>::EncodedPolynomialSize>, <U12 as VectorEncodingSize<P::K>>::EncodedPolynomialVectorSize: Add<U32>, Sum<<U12 as VectorEncodingSize<P::K>>::EncodedPolynomialVectorSize, U32>: ArraySize + Sub<<U12 as VectorEncodingSize<P::K>>::EncodedPolynomialVectorSize, Output = U32>,

type NttVectorSize = <UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0> as VectorEncodingSize<<P as ParameterSet>::K>>::EncodedPolynomialVectorSize

type EncryptionKeySize = <<P as PkeParams>::NttVectorSize as Add<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>>>::Output

type CiphertextSize = <<<P as ParameterSet>::Du as VectorEncodingSize<<P as ParameterSet>::K>>::EncodedPolynomialVectorSize as Add<<<P as ParameterSet>::Dv as EncodingSize>::EncodedPolynomialSize>>::Output