Skip to main content

Browse the archive

Revision 493d130bb523940efde89a74951e7a449fec93b0 authored by Aymeric Fromherz on 24 March 2020, 14:39:08 UTC, committed by Aymeric Fromherz on 24 March 2020, 14:39:08 UTC 
Merge branch 'master' into afromher_hpke
2 parent s 24d3821 + 26c43ab
Raw File
Hacl.Blake2s_128.fst 
module Hacl.Blake2s_128

module Spec = Spec.Blake2
module Impl = Hacl.Impl.Blake2.Generic
module Core = Hacl.Impl.Blake2.Core

[@CInline]
private
let blake2s_update_block = Impl.blake2_update_block #Spec.Blake2S #Core.M128

let blake2s = Impl.blake2 #Spec.Blake2S #Core.M128 blake2s_update_block
back to top