~/jendhub

def rc4.drop

bend-osdev-legacy-ciphers@0.1.0.0 · rc4.bend:163

import bend-osdev-legacy-ciphers@0.1.0.0/rc4.bend as Rc4
import Base

163# drop n keystream bytes
164def rc4.drop(n: Nat, st: LcRc4State) -> LcRc4State:
165  match n:
166    case 0n:
167      st
168    case 1n+p:
169      rc4.drop(p, rc4.step.st(rc4.next(st)))

Uses (4)

Used by (1)