package hpke

You can search for identifiers within the package.

in-package search v0.2.0

Idiomatic RFC 9180 Hybrid Public Key Encryption for OCaml

Install

dune-project

Dependency

md5=31903fa28f87008bc54ed69aa6067f9f

sha512=0421f20c0a6a3767f0af428dc8ba458a8a660b1a23cedf0d8c4b0cd22d54533f4cd38f513f55c7b1e22d7e8d76df625feceb0bbf88db4f8bacc1c2cada5878cf

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.