Trait KemParams 

pub trait KemParams: PkeParams {
    type DecapsulationKeySize: ArraySize;

    // Required methods
    fn concat_dk(
        dk: Array<u8, <Self as PkeParams>::NttVectorSize>,
        ek: Array<u8, <Self as PkeParams>::EncryptionKeySize>,
        h: B32,
        z: B32,
    ) -> ExpandedDecapsulationKey<Self>;
    fn split_dk(
        enc: &ExpandedDecapsulationKey<Self>,
    ) -> (&Array<u8, <Self as PkeParams>::NttVectorSize>, &Array<u8, <Self as PkeParams>::EncryptionKeySize>, &B32, &B32);
}

Derived parameters relevant to ML-KEM

Required Associated Types

type DecapsulationKeySize: ArraySize

Required Methods

fn concat_dk( dk: Array<u8, <Self as PkeParams>::NttVectorSize>, ek: Array<u8, <Self as PkeParams>::EncryptionKeySize>, h: B32, z: B32, ) -> ExpandedDecapsulationKey<Self>

fn split_dk( enc: &ExpandedDecapsulationKey<Self>, ) -> (&Array<u8, <Self as PkeParams>::NttVectorSize>, &Array<u8, <Self as PkeParams>::EncryptionKeySize>, &B32, &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> 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