def CrStream.keystream

bend-osdev-crypto@0.1.0.0 · stream.bend:36

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

36# The next n keystream bytes (the data n zero bytes)
37def CrStream.keystream(~S: Data, ~O: Data, ~update: S -> B.Octets -> O, ~out_data: O -> B.Octets, s: S, n: Nat) -> B.Octets:
38  out_data(update(s, B.Octets.zeros(n)))