def cr.hkdf.salt

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

import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B

13def cr.hkdf.salt(empty: Bool, +n: Nat, +salt: B.Octets) -> B.Octets:
14  match empty:
15    case True{}:
16      B.Octets.zeros(n)
17    case False{}:
18      salt