Trait PkeParams 

pub trait PkeParams: Kem<SharedKeySize = U32> + ParameterSet {
    type NttVectorSize: ArraySize;
    type EncryptionKeySize: ArraySize;

    // Required methods
    fn encode_u12(
        p: &NttVector<BaseField, Self::K>,
    ) -> Array<u8, <Self as PkeParams>::NttVectorSize>;
    fn decode_u12(
        v: &Array<u8, <Self as PkeParams>::NttVectorSize>,
    ) -> NttVector<BaseField, Self::K>;
    fn concat_ct(
        u: Array<u8, EncodedVectorSize<<Self as ParameterSet>::Du, <Self as ParameterSet>::K>>,
        v: Array<u8, EncodedPolynomialSize<<Self as ParameterSet>::Dv>>,
    ) -> Ciphertext<Self>;
    fn split_ct(
        ct: &Ciphertext<Self>,
    ) -> (&Array<u8, EncodedVectorSize<<Self as ParameterSet>::Du, <Self as ParameterSet>::K>>, &Array<u8, EncodedPolynomialSize<<Self as ParameterSet>::Dv>>);
    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

Required Methods

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

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

fn concat_ct( u: Array<u8, EncodedVectorSize<<Self as ParameterSet>::Du, <Self as ParameterSet>::K>>, v: Array<u8, EncodedPolynomialSize<<Self as ParameterSet>::Dv>>, ) -> Ciphertext<Self>

fn split_ct( ct: &Ciphertext<Self>, ) -> (&Array<u8, EncodedVectorSize<<Self as ParameterSet>::Du, <Self as ParameterSet>::K>>, &Array<u8, EncodedPolynomialSize<<Self as ParameterSet>::Dv>>)

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: Kem<CiphertextSize = Sum<EncodedVectorSize<<P as ParameterSet>::Du, <P as ParameterSet>::K>, EncodedPolynomialSize<<P as ParameterSet>::Dv>>, SharedKeySize = U32> + ParameterSet, U384: Mul<P::K>, Prod<U384, P::K>: ArraySize + Add<U32> + Div<P::K, Output = U384> + Rem<P::K, Output = U0>, EncodedVectorSize<<P as ParameterSet>::Du, <P as ParameterSet>::K>: Add<EncodedPolynomialSize<<P as ParameterSet>::Dv>>, Sum<EncodedVectorSize<<P as ParameterSet>::Du, <P as ParameterSet>::K>, EncodedPolynomialSize<<P as ParameterSet>::Dv>>: ArraySize + Sub<EncodedVectorSize<<P as ParameterSet>::Du, <P as ParameterSet>::K>, Output = EncodedPolynomialSize<<P as ParameterSet>::Dv>>, EncodedVectorSize<U12, P::K>: Add<U32>, Sum<EncodedVectorSize<U12, P::K>, U32>: ArraySize + Sub<EncodedVectorSize<U12, P::K>, Output = U32>,

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

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