Module Psa.Key_derivation

Key derivation.

See also Key derivation in Alg.

Input step types

The type for psa_key_derivation_step_t.

Functions

module Operation : sig ... end

Key derivation operations.

val setup : Operation.t -> Alg.t -> Status.t

psa_key_derivation_setup

val get_capacity : Operation.t -> (int, Status.t) Stdlib.result

psa_key_derivation_get_capacity

val set_capacity : Operation.t -> int -> Status.t

psa_key_derivation_set_capacity

val input_bytes : Operation.t -> step -> Bytesrw.Bytes.Slice.t -> Status.t

psa_key_derivation_input_bytes

val input_integer : Operation.t -> step -> uint64 -> Status.t

psa_key_derivation_input_integer

val input_key : Operation.t -> step -> Key_id.t -> Status.t

psa_key_derivation_input_key

val output_bytes : Operation.t -> Bytesrw.Bytes.Slice.t -> Status.t

psa_key_derivation_output_bytes

val output_key : Key_attributes.t -> Operation.t -> (Key_id.t, Status.t) Stdlib.result

psa_key_derivation_output_key

val verify_bytes : Operation.t -> Bytesrw.Bytes.Slice.t -> Status.t

psa_key_derivation_verify_bytes

val verify_key : Operation.t -> Key_id.t -> Status.t

psa_key_derivation_verify_key

val abort : Operation.t -> Status.t

psa_key_derivation_abort

Combining with key agreement

val key_agreement : Operation.t -> step -> private_key:Key_id.t -> peer_key:Bytesrw.Bytes.Slice.t -> Status.t

psa_key_derivation_key_agreement

Support functions

val unlimited_capacity : unit -> int

PSA_KEY_DERIVATION_UNLIMITED_CAPACITY

val tls12_psk_to_ms_psk_max_size : unit -> int

PSA_TLS12_PSK_TO_MS_PSK_MAX_SIZE