def CrKbkdf.counter_stream

bend-osdev-crypto@0.1.0.0 · kbkdf.bend:61

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

61# The first n bytes of counter mode under the prepared key k with the fixed
62# input data, unchecked
63def CrKbkdf.counter_stream(~K: Data, ~compute: K -> B.Octets -> B.Octets, ~rlen: Nat, k: K, fixed: B.Octets, n: Nat) -> B.Octets:
64  B.Octets.of_list(cr.kb.ctr(~K, ~compute, n, Nil{}, k, rlen, fixed, 0))