Content - 662ff4ae389b6c9bf4a7210de57d71787ad009e3 - f9e2783/code/hkdf/Hacl.HKDF.Blake2s_128.fst

visit type:

Tip revision: 3ba7167420b76fea8c5f8fdd3ba4db2f7ad5df14 authored by Victor Dumitrescu on 22 July 2021, 14:56:25 UTC
OCaml API: Mirror update to hacl-star-raw.opam in hacl-star.opam

Tip revision: 3ba7167

Hacl.HKDF.Blake2s_128.fst

module Hacl.HKDF.Blake2s_128

open Spec.Hash.Definitions
open Hacl.HKDF

#set-options "--z3rlimit 20 --fuel 0 --ifuel 0"

let expand_blake2s_128: expand_st Blake2S =
  mk_expand Blake2S Hacl.HMAC.Blake2s_128.compute_blake2s_128

let extract_blake2s_128: extract_st Blake2S =
  mk_extract Blake2S Hacl.HMAC.Blake2s_128.compute_blake2s_128

Browse the archive

https://github.com/project-everest/hacl-star