~/jendhub

def CrPbkdf2.pbkdf2

bend-osdev-crypto@0.1.0.0 · pbkdf2.bend:110

import bend-osdev-crypto@0.1.0.0/pbkdf2.bend as Pbkdf2
import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
import bend-osdev-crypto@0.1.0.0/crypto.bend as Cr

110# DK = PBKDF2(P, S, c, dkLen) over the MAC (~K, ~key, ~compute) with
111# hLen-byte tags (~hlen)
112def CrPbkdf2.pbkdf2(~K: Data, ~key: B.Octets -> Result<&2, &2, Cr.CrError, K>, ~compute: K -> B.Octets -> B.Octets, ~hlen: Nat, password: B.Octets, salt: B.Octets, +c: U32, +n: Nat) -> Result<&2, &2, Cr.CrError, B.Octets>:
113  cr.pbkdf2.checked(~K, ~compute, U32.is_eq(c, 0), cr.pbkdf2.fits(Nat.is_lt(0n, hlen), n, hlen), key(password), salt, c, n)

Uses (9)

Used by (4)