~/jendhub

def CrKbkdf.feedback_stream

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

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

81# The first n bytes of feedback mode under the prepared key k from the IV,
82# with the fixed input data (rlen 0: no counter), unchecked
83def CrKbkdf.feedback_stream(~K: Data, ~compute: K -> B.Octets -> B.Octets, ~rlen: Nat, k: K, iv: B.Octets, fixed: B.Octets, n: Nat) -> B.Octets:
84  B.Octets.of_list(cr.kb.fb(~K, ~compute, n, Nil{}, k, rlen, fixed, iv, 0))

Uses (5)

Used by (4)