Aead (bytesrw.Bytesrw_crypto.Psa.Aead)

Single-part functions

val encrypt : 
  key:Key_id.t ->
  Alg.t ->
  nonce:Bytesrw.Bytes.Slice.t ->
  ad:Bytesrw.Bytes.Slice.t ->
  plain:Bytesrw.Bytes.Slice.t ->
  cipher:Bytesrw.Bytes.Slice.t ->
  (int, Status.t) Stdlib.result

psa_aead_encrypt

val decrypt : 
  key:Key_id.t ->
  Alg.t ->
  nonce:Bytesrw.Bytes.Slice.t ->
  ad:Bytesrw.Bytes.Slice.t ->
  cipher:Bytesrw.Bytes.Slice.t ->
  plain:Bytesrw.Bytes.Slice.t ->
  (int, Status.t) Stdlib.result

psa_aead_decrypt

Multi-part functions

module Operation : sig ... end

Cipher operations.

val encrypt_setup : Operation.t -> key:Key_id.t -> Alg.t -> Status.t

psa_aead_encrypt_setup

val decrypt_setup : Operation.t -> key:Key_id.t -> Alg.t -> Status.t

psa_aead_decrypt_setup

val set_lengths : Operation.t -> ad_length:int -> plain_length:int -> Status.t

psa_aead_set_lengths

val generate_nonce : 
  Operation.t ->
  nonce:Bytesrw.Bytes.Slice.t ->
  (int, Status.t) Stdlib.result

psa_aead_generate_nonce

val set_nonce : Operation.t -> nonce:Bytesrw.Bytes.Slice.t -> Status.t

psa_aead_set_nonce

val update_ad : Operation.t -> ad:Bytesrw.Bytes.Slice.t -> Status.t

psa_aead_update_ad.

val update : 
  Operation.t ->
  input:Bytesrw.Bytes.Slice.t ->
  output:Bytesrw.Bytes.Slice.t ->
  (int, Status.t) Stdlib.result

psa_aead_update

val finish : 
  Operation.t ->
  cipher:Bytesrw.Bytes.Slice.t ->
  tag:Bytesrw.Bytes.Slice.t ->
  (int * int, Status.t) Stdlib.result

psa_aead_finish

val verify : 
  Operation.t ->
  plain:Bytesrw.Bytes.Slice.t ->
  tag:Bytesrw.Bytes.Slice.t ->
  (int, Status.t) Stdlib.result

psa_aead_verify

val abort : Operation.t -> Status.t

psa_aead_abort

Support functions

val encrypt_output_size : Key_type.t -> Alg.t -> plain_length:int -> int

PSA_AEAD_ENCRYPT_OUTPUT_SIZE

val encrypt_output_max_size : plain_length:int -> int

PSA_AEAD_ENCRYPT_OUTPUT_MAX_SIZE

val decrypt_output_size : Key_type.t -> Alg.t -> cipher_length:int -> int

PSA_AEAD_DECRYPT_OUTPUT_SIZE

val decrypt_output_max_size : cipher_length:int -> int

PSA_AEAD_DECRYPT_OUTPUT_MAX_SIZE

val nonce_length : Key_type.t -> Alg.t -> int

PSA_AEAD_NONCE_LENGTH

val nonce_max_size : unit -> int

PSA_AEAD_NONCE_MAX_SIZE

val update_output_size : Key_type.t -> Alg.t -> input_length:int -> int

PSA_AEAD_UPDATE_OUTPUT_SIZE

val update_output_max_size : input_length:int -> int

PSA_AEAD_UPDATE_OUTPUT_MAX_SIZE

val finish_output_size : Key_type.t -> Alg.t -> int

PSA_AEAD_FINISH_OUTPUT_SIZE

val finish_output_max_size : unit -> int

PSA_AEAD_FINISH_OUTPUT_MAX_SIZE

val tag_length : Key_type.t -> bits:int -> Alg.t -> int

PSA_AEAD_TAG_LENGTH

val tag_max_size : unit -> int

PSA_AEAD_TAG_MAX_SIZE

val verify_output_size : Key_type.t -> Alg.t -> int

PSA_AEAD_VERIFY_OUTPUT_SIZE

val verify_output_max_size : unit -> int

PSA_AEAD_VERIFY_OUTPUT_MAX_SIZE