Trait ml_dsa::param::PkeParams

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

    // Required methods
    fn encode_u12(p: &NttVector<Self::K>) -> EncodedNttVector<Self>;
    fn decode_u12(v: &EncodedNttVector<Self>) -> NttVector<Self::K>;
    fn concat_ct(
        u: Array<u8, EncodedPolynomialVectorSize<<Self as ParameterSet>::Du, <Self as ParameterSet>::K>>,
        v: Array<u8, EncodedPolynomialSize<<Self as ParameterSet>::Dv>>,
    ) -> EncodedCiphertext<Self>;
    fn split_ct(
        ct: &EncodedCiphertext<Self>,
    ) -> (&Array<u8, EncodedPolynomialVectorSize<<Self as ParameterSet>::Du, <Self as ParameterSet>::K>>, &Array<u8, EncodedPolynomialSize<<Self as ParameterSet>::Dv>>);
    fn concat_ek(
        t_hat: EncodedNttVector<Self>,
        rho: B32,
    ) -> EncodedEncryptionKey<Self>;
    fn split_ek(
        ek: &EncodedEncryptionKey<Self>,
    ) -> (&EncodedNttVector<Self>, &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>) -> EncodedNttVector<Self>

fn decode_u12(v: &EncodedNttVector<Self>) -> NttVector<Self::K>

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

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

fn concat_ek( t_hat: EncodedNttVector<Self>, rho: B32, ) -> EncodedEncryptionKey<Self>

fn split_ek(ek: &EncodedEncryptionKey<Self>) -> (&EncodedNttVector<Self>, &B32)

Object Safety

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>, EncodedPolynomialVectorSize<<P as ParameterSet>::Du, <P as ParameterSet>::K>: Add<EncodedPolynomialSize<<P as ParameterSet>::Dv>>, Sum<EncodedPolynomialVectorSize<<P as ParameterSet>::Du, <P as ParameterSet>::K>, EncodedPolynomialSize<<P as ParameterSet>::Dv>>: ArraySize + Sub<EncodedPolynomialVectorSize<<P as ParameterSet>::Du, <P as ParameterSet>::K>, Output = EncodedPolynomialSize<<P as ParameterSet>::Dv>>, EncodedPolynomialVectorSize<U12, P::K>: Add<U32>, Sum<EncodedPolynomialVectorSize<U12, P::K>, U32>: ArraySize + Sub<EncodedPolynomialVectorSize<U12, P::K>, 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