Make_Chacha20_Poly1305 (hacl-star.Hacl_star.SharedFunctors.Make_Chacha20

Parameters

module Impl : sig ... end

type bytes = SharedDefs.CBytes.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