package hpke

  1. Overview
  2. Docs

Module Draft_hpke_04.SuiteSource

Sourcetype encryption = Suite.encryption
Sourcetype export_only = Suite.export_only
Sourcetype _ t

A ciphersuite of this module. Its capabilities are those of Hpke.Suite, so that its contexts are those of Rfc9180.

Sourceval create : kem:Kem.id -> kdf:Kdf.id -> aead:Aead.id -> encryption t
Sourceval export_only : kem:Kem.id -> kdf:Kdf.id -> export_only t
Sourceval kem : _ t -> Kem.id
Sourceval kdf : _ t -> Kdf.id
Sourceval aead : encryption t -> Aead.id