Модуль Digest.BLAKE128

module BLAKE128: S

BLAKE128 — это хеш-функция BLAKE2b, создающая 128-битные (16-байтовые) дайджесты. Она криптографически безопасна. Однако небольшой размер дайджестов позволяет проводить атаки методом полного перебора за 2{^64} попыток.

Начиная с 5.2

type t = string

Тип дайджестов.

val hash_length : int

Длина дайджестов в байтах.

val compare : t -> t -> int

Сравнить два дайджеста; спецификация совпадает со спецификацией compare.

val equal : t -> t -> bool

Проверить равенство двух дайджестов.

val string : string -> t

Вернуть дайджест заданной строки.

val bytes : bytes -> t

Вернуть дайджест заданной последовательности байтов.

val substring : string -> int -> int -> t

substring s ofs len возвращает дайджест подстроки s, начинающейся с индекса ofs и содержащей len символов.

val subbytes : bytes -> int -> int -> t

subbytes s ofs len возвращает дайджест подпоследовательности s, начинающейся с индекса ofs и содержащей len байтов.

val channel : in_channel -> int -> t

Прочитать символы из канала и вернуть их дайджест. Полное описание см. в разделе Digest.channel.

val file : string -> t

Вернуть дайджест файла с заданным именем.

val output : out_channel -> t -> unit

Записать дайджест в заданный выходной канал.

val input : in_channel -> t

Прочитать дайджест из заданного входного канала.

val to_hex : t -> string

Вернуть печатное шестнадцатеричное представление заданного дайджеста.

Вызывает исключение Invalid_argument, если длина аргумента не равна hash_length,

val of_hex : string -> t

Преобразовать шестнадцатеричное представление обратно в соответствующий дайджест.

Вызывает исключение Invalid_argument, если длина аргумента не равна 2 * hash_length или если аргумент содержит не шестнадцатеричные символы.