package mec

  1. Overview
  2. Docs
Mec - Mini Elliptic Curve library

Install 

dune-project
 Dependency

gitlab.com Readme Edit opam file Versions (1)

Authors

  1. D
    Danny Willems <be.danny.willems@gmail.com>

Maintainers

  1. D
    Danny Willems <be.danny.willems@gmail.com>

Sources

ocaml-ec-0.1.0.tar.bz2
md5=7c68b531c8011b5d032f0a0d8523e8c5
sha512=f428751c5f2b7c7fc07548551bea0277c9c8c32c1052aecf22787188e7678939dbb091844e29178b2819d724cf843c65774d9211c0a0ede5bf71caff3f2dd1bc

doc/mec.digestif/Mec_digestif/Make_BLAKE2B/index.html

Module Mec_digestif.Make_BLAKE2BSource

Parameters

module D : sig ... end

Signature

Sourceval digest_size : int

Size of hash results, in bytes.

Sourcetype ctx
Sourcetype t
Sourceval empty : ctx

An empty hash context.

Sourceval init : ?personalisation:Bytes.t -> unit -> ctx

Create a new hash state.

Sourceval feed_bytes : ctx -> ?off:int -> ?len:int -> Bytes.t -> ctx

feed_bytes msg t adds informations in msg to t. feed is analogous to appending: feed (feed t msg1) msg2 = feed t (append msg1 msg2)

Sourceval feed_string : ctx -> ?off:int -> ?len:int -> String.t -> ctx

Same as feed_bytes but for String.t.

Sourceval feed_bigstring : ctx -> ?off:int -> ?len:int -> bigstring -> ctx

Same as feed_bytes but for bigstring.

Sourceval feedi_bytes : ctx -> Bytes.t iter -> ctx

feedi_bytes t iter = let r = ref t in iter (fun msg -> r := feed !r msg); !r

Sourceval feedi_string : ctx -> String.t iter -> ctx

Same as feed_bytes but for String.t.

Sourceval feedi_bigstring : ctx -> bigstring iter -> ctx

Same as feed_bytes but for bigstring.

Sourceval get : ctx -> t

get t is the digest corresponding to t.

Sourceval digest_bytes : ?off:int -> ?len:int -> Bytes.t -> t

digest_bytes msg is the digest of msg.

digest_bytes msg = get (feed_bytes empty msg).

Sourceval digest_string : ?off:int -> ?len:int -> String.t -> t

Same as digest_bytes but for a String.t.

Sourceval digest_bigstring : ?off:int -> ?len:int -> bigstring -> t

Same as digest_bytes but for a bigstring.

Sourceval digesti_bytes : Bytes.t iter -> t

digesti_bytes iter = feedi_bytes empty iter |> get.

Sourceval digesti_string : String.t iter -> t

Same as digesti_bytes but for String.t.

Sourceval digesti_bigstring : bigstring iter -> t

Same as digesti_bigstring but for bigstring.

Sourceval digestv_bytes : Bytes.t list -> t

Specialization of digesti_bytes with a list of Bytes.t (see iter).

Sourceval digestv_string : String.t list -> t

Same as digestv_bytes but for String.t.

Sourceval digestv_bigstring : bigstring list -> t

Same as digestv_bytes but for bigstring.

Sourceval unsafe_compare : t compare

unsafe_compare function returns 0 on equality and a negative/positive int depending on the difference (like String.compare). This is usually OK, but this is not constant time, so in some cases it could leak some information.

Sourceval equal : t equal

The equal (constant-time) function for t.

Sourceval pp : t pp

Pretty-printer of t.

Sourceval of_hex : string -> t

of_hex tries to parse an hexadecimal representation of t. of_hex raises an invalid_argument when input is malformed. We take only firsts digest_size hexadecimal values and ignore rest of input. If it has not enough hexadecimal values, trailing values of the output hash are zero (\x00),

Sourceval of_hex_opt : string -> t option

of_hex tries to parse an hexadecimal representation of t. of_hex returns None when input is malformed. We take only first digest_size hexadecimal values and ignore rest of input. If it has not enough hexadecimal values, trailing values of the output hash are zero (\x00).

Sourceval consistent_of_hex : string -> t

consistent_of_hex tries to parse an hexadecimal representation of t. consistent_of_hex raises an invalid_argument when input is malformed. However, instead of_hex, consistent_of_hex expects exactly {!digest_size} * 2 hexadecimal values (but continues to ignore whitespaces).

Sourceval consistent_of_hex_opt : string -> t option

consistent_of_hex_opt tries to parse an hexadecimal representation of t. consistent_of_hex returns None when input is malformed. However, instead of_hex, consistent_of_hex expects exactly {!digest_size} * 2 hexadecimal values (but continues to ignore whitespaces).

Sourceval to_hex : t -> string

to_hex makes a hex-decimal representation of t.

Sourceval of_raw_string : string -> t

of_raw_string s see s as a hash. Useful when reading serialized hashes.

Sourceval of_raw_string_opt : string -> t option

of_raw_string_opt s see s as a hash. Useful when reading serialized hashes. Returns None if s is not the digest_size bytes long.

Sourceval to_raw_string : t -> string

to_raw_string s is (s :> string).