Make_Chacha20_Poly1305_generic (hacl-star.Hacl_star.SharedFunctors.Make_Chacha20_Poly1305

Parameters

module C : SharedDefs.Buffer

module Impl : sig ... end

type bytes = C.t

val alg : SharedDefs.AEADDefs.alg

module Noalloc : sig ... end

val encrypt : key:bytes -> iv:bytes -> ad:bytes -> pt:bytes -> bytes * bytes

val decrypt : 
  key:bytes ->
  iv:bytes ->
  ad:bytes ->
  ct:bytes ->
  tag:bytes ->
  bytes option