~/jendhub

def CrRc4.start_drop

bend-osdev-crypto@0.1.0.0 · inst_rc4.bend:25

import bend-osdev-crypto@0.1.0.0/inst_rc4.bend as InstRc4
import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
import bend-osdev-legacy-ciphers@0.1.0.0/rc4.bend as R
import bend-osdev-crypto@0.1.0.0/crypto.bend as Cr

25# the same, with the first n keystream bytes dropped (RC4-drop[n])
26def CrRc4.start_drop(~n: Nat, key: B.Octets, iv: B.Octets) -> Result<&2, &2, Cr.CrError, R.LcRc4State>:
27  cr.rc4.start(B.Octets.len(iv), R.LcRc4.start_drop(key, n))

Uses (8)

Used by (1)