Hpke (p.hpke.0.2.0.doc.hpke.Hpke)

Sourcemodule Error : sig ... end

Sourcemodule Kem : sig ... end

Sourcemodule Kdf : sig ... end

Sourcemodule Aead : sig ... end

Sourcemodule Public_key : sig ... end

Sourcemodule Private_key : sig ... end

val generate_key_pair : 
  rng:Mirage_crypto_rng.g ->
  Kem.id ->
  (Private_key.t * Public_key.t, Error.t) result

Generate a key pair using the explicitly supplied random generator.

val derive_key_pair : 
  Kem.id ->
  ikm:string ->
  (Private_key.t * Public_key.t, Error.t) result

Deterministically derive a key pair as specified by RFC 9180.

Sourcemodule Psk : sig ... end

Sourcemodule Suite : sig ... end

Sourcemodule Rfc9180 : sig ... end

Stateful RFC 9180 operations. This module's wire semantics will not be changed by a future HPKE standard.