package hpke

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Hpke`Source

RFC 9180 Hybrid Public Key Encryption.

This module deliberately exposes only versioned protocol behavior. Secret keys and mutable sender/receiver contexts are abstract.

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.