Trait ml_dsa::param::KemParams

pub trait KemParams: PkeParams {
    type DecapsulationKeySize: ArraySize;

    // Required methods
    fn concat_dk(
        dk: EncodedDecryptionKey<Self>,
        ek: EncodedEncryptionKey<Self>,
        h: B32,
        z: B32,
    ) -> EncodedDecapsulationKey<Self>;
    fn split_dk(
        enc: &EncodedDecapsulationKey<Self>,
    ) -> (&EncodedDecryptionKey<Self>, &EncodedEncryptionKey<Self>, &B32, &B32);
}

Derived parameters relevant to ML-KEM

Required Associated Types

type DecapsulationKeySize: ArraySize

Required Methods

fn concat_dk( dk: EncodedDecryptionKey<Self>, ek: EncodedEncryptionKey<Self>, h: B32, z: B32, ) -> EncodedDecapsulationKey<Self>

fn split_dk( enc: &EncodedDecapsulationKey<Self>, ) -> (&EncodedDecryptionKey<Self>, &EncodedEncryptionKey<Self>, &B32, &B32)

Object Safety

This trait is not object safe.

Implementors

impl<P> KemParams for P

where P: PkeParams, P::NttVectorSize: Add<P::EncryptionKeySize>, Sum<P::NttVectorSize, P::EncryptionKeySize>: ArraySize + Add<U32> + Sub<P::NttVectorSize, Output = P::EncryptionKeySize>, Sum<Sum<P::NttVectorSize, P::EncryptionKeySize>, U32>: ArraySize + Add<U32> + Sub<Sum<P::NttVectorSize, P::EncryptionKeySize>, Output = U32>, Sum<Sum<Sum<P::NttVectorSize, P::EncryptionKeySize>, U32>, U32>: ArraySize + Sub<Sum<Sum<P::NttVectorSize, P::EncryptionKeySize>, U32>, Output = U32>,

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