Content - beee81779b3954e9c3763e59f9d1b281c7a64524 - 5d55212/code/hkdf/Hacl.HKDF.Blake2b_256.fst

visit type:

Tip revision: 19e9eeb9fd1a596c99adb4568a3ce08106f9e9f6 authored by Aseem Rastogi on 09 February 2021, 04:42:33 UTC
Merge branch 'master' into _aseem_1916

Tip revision: 19e9eeb

Hacl.HKDF.Blake2b_256.fst

module Hacl.HKDF.Blake2b_256

open Spec.Hash.Definitions
open Hacl.HKDF

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

let expand_blake2b_256: expand_st Blake2B =
  mk_expand Blake2B Hacl.HMAC.Blake2b_256.compute_blake2b_256

let extract_blake2b_256: extract_st Blake2B =
  mk_extract Blake2B Hacl.HMAC.Blake2b_256.compute_blake2b_256

Browse the archive

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