BLAKE3 (p.digestif.1.4.0.doc.digestif.c.Digestif.BLAKE3)

Sourcetype t = string

Sourcetype ctx = Native.ctx

Sourceval block_size : int

Sourceval digest_size : int

Sourceval ctx_size : int

Sourceval init : unit -> bytes

Sourceval empty : bytes

Sourceval unsafe_feed_bytes : Native.ctx -> ?off:??? -> ?len:??? -> Native.st -> unit

Sourceval unsafe_feed_string : Native.ctx -> ?off:??? -> ?len:??? -> string -> unit

Source

val unsafe_feed_bigstring : 
  Native.ctx ->
  ?off:??? ->
  ?len:??? ->
  (char, Bigarray.int8_unsigned_elt, Bigarray.c_layout) Bigarray.Array1.t ->
  unit

Sourceval unsafe_get : Native.ctx -> bytes

Sourceval get_into_bytes : Native.ctx -> ?off:??? -> Native.st -> unit

val to_hex : string -> string

Sourceval code : char -> int

Sourceval decode : char -> char -> char

val of_hex : string -> string

val of_hex_opt : string -> string option

val consistent_of_hex : string -> string

val consistent_of_hex_opt : string -> string option

val pp : Format.formatter -> string -> unit

val of_raw_string : string -> string

val of_raw_string_opt : string -> string option

val to_raw_string : 'a -> 'a

val equal : string -> string -> bool

val unsafe_compare : String.t -> String.t -> int

Sourceval get : Native.ctx -> string

Sourceval feed_bytes : Native.ctx -> ?off:??? -> ?len:??? -> Native.st -> Native.ctx

Sourceval feed_string : Native.ctx -> ?off:??? -> ?len:??? -> string -> Native.ctx

Source

val feed_bigstring : 
  Native.ctx ->
  ?off:??? ->
  ?len:??? ->
  (char, Bigarray.int8_unsigned_elt, Bigarray.c_layout) Bigarray.Array1.t ->
  Native.ctx

Sourceval feedi_bytes : Native.ctx -> ((Native.st -> unit) -> 'a) -> Native.ctx

Sourceval feedi_string : Native.ctx -> ((string -> unit) -> 'a) -> Native.ctx

Source

val feedi_bigstring : 
  Native.ctx ->
  (((char, Bigarray.int8_unsigned_elt, Bigarray.c_layout) Bigarray.Array1.t ->
     unit) ->
    'a) ->
  Native.ctx

Sourceval digest_bytes : ?off:??? -> ?len:??? -> Native.st -> string

Sourceval digest_string : ?off:??? -> ?len:??? -> string -> string

Source

val digest_bigstring : 
  ?off:??? ->
  ?len:??? ->
  (char, Bigarray.int8_unsigned_elt, Bigarray.c_layout) Bigarray.Array1.t ->
  string

Sourceval digesti_bytes : ((Native.st -> unit) -> 'a) -> string

Sourceval digesti_string : ((string -> unit) -> 'a) -> string

Source

val digesti_bigstring : 
  (((char, Bigarray.int8_unsigned_elt, Bigarray.c_layout) Bigarray.Array1.t ->
     unit) ->
    'a) ->
  string

Sourceval digestv_bytes : Native.st list -> string

Sourceval digestv_string : string list -> string

Source

val digestv_bigstring : 
  (char, Bigarray.int8_unsigned_elt, Bigarray.c_layout) Bigarray.Array1.t list ->
  string

Sourcetype hmac = ctx * string

Sourceval bytes_opad : bytes

Sourceval bytes_ipad : bytes

Sourceval norm_bytes : string -> bytes

Sourceval hmac_init : key:string -> Native.ctx * string

Source

val hmac_feed_bytes : 
  (Native.ctx * 'a) ->
  ?off:??? ->
  ?len:??? ->
  Native.st ->
  Native.ctx * 'a

Source

val hmac_feed_string : 
  (Native.ctx * 'a) ->
  ?off:??? ->
  ?len:??? ->
  string ->
  Native.ctx * 'a

Source

val hmac_feed_bigstring : 
  (Native.ctx * 'a) ->
  ?off:??? ->
  ?len:??? ->
  (char, Bigarray.int8_unsigned_elt, Bigarray.c_layout) Bigarray.Array1.t ->
  Native.ctx * 'a

Sourceval hmac_get : (Native.ctx * string) -> string

Source

val hmac_feedi_bytes : 
  (Native.ctx * 'a) ->
  ((Native.st -> unit) -> 'b) ->
  Native.ctx * 'a

Source

val hmac_feedi_string : 
  (Native.ctx * 'a) ->
  ((string -> unit) -> 'b) ->
  Native.ctx * 'a

Source

val hmac_feedi_bigstring : 
  (Native.ctx * 'a) ->
  (((char, Bigarray.int8_unsigned_elt, Bigarray.c_layout) Bigarray.Array1.t ->
     unit) ->
    'b) ->
  Native.ctx * 'a

Sourceval hmaci_bytes : key:string -> ((Native.st -> unit) -> 'a) -> string

Sourceval hmaci_string : key:string -> ((string -> unit) -> 'a) -> string

Source

val hmaci_bigstring : 
  key:string ->
  (((char, Bigarray.int8_unsigned_elt, Bigarray.c_layout) Bigarray.Array1.t ->
     unit) ->
    'a) ->
  string

Sourceval hmac_bytes : key:string -> ?off:??? -> ?len:??? -> Native.st -> string

Sourceval hmac_string : key:string -> ?off:??? -> ?len:??? -> string -> string

Source

val hmac_bigstring : 
  key:string ->
  ?off:??? ->
  ?len:??? ->
  (char, Bigarray.int8_unsigned_elt, Bigarray.c_layout) Bigarray.Array1.t ->
  string

Sourceval hmacv_bytes : key:string -> Native.st list -> string

Sourceval hmacv_string : key:string -> string list -> string

Source

val hmacv_bigstring : 
  key:string ->
  (char, Bigarray.int8_unsigned_elt, Bigarray.c_layout) Bigarray.Array1.t list ->
  string

Sourceval key_size : int

Sourceval init_keyed : key:string -> bytes

Sourceval init_derive_key : context:string -> bytes

Source

val get_xof_into_bytes : 
  Native.ctx ->
  ?seek:??? ->
  ?off:??? ->
  ?len:??? ->
  Native.st ->
  unit

Sourceval get_xof : Native.ctx -> ?seek:??? -> int -> string

Sourcemodule Keyed : sig ... end

Sourcemodule Derive_key : sig ... end