~/jendhub

def CrHkdf.extract

bend-osdev-crypto@0.1.0.0 · hkdf.bend:20

import bend-osdev-crypto@0.1.0.0/hkdf.bend as Hkdf
import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
import bend-osdev-crypto@0.1.0.0/hmac.bend as Hm

20# Extract: the pseudorandom key of the input keying material ikm
21def CrHkdf.extract(~bsize: Nat, ~dsize: Nat, ~digest: B.Octets -> B.Octets, +salt: B.Octets, ikm: B.Octets) -> B.Octets:
22  Hm.CrHmac.mac(~digest, Hm.CrHmac.key(~bsize, ~digest, cr.hkdf.salt(Nat.is_eq(B.Octets.len(salt), 0n), dsize, salt)), ikm)

Uses (7)

Used by (1)