Check.rc4_pieces: def of bend-osdev-legacy-ciphers@0.1.0.0
Import: import bend-osdev-legacy-ciphers@0.1.0.0/check.bend as Check
Lines 162-167 of bend-osdev-legacy-ciphers@0.1.0.0/check.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/check.bend&start_line=162&end_line=167

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

# 48 keystream bytes in pieces of 5, 30 and 13
def rc4_pieces(k: B.Octets) -> String:
  +o1 = R.LcRc4.keystream(rc4_state(k), 5n)
  +o2 = R.LcRc4.keystream(R.LcRc4.out_state(o1), 30n)
  +o3 = R.LcRc4.keystream(R.LcRc4.out_state(o2), 13n)
  B.Octets.hex(B.Octets.append(R.LcRc4.out_data(o1), B.Octets.append(R.LcRc4.out_data(o2), R.LcRc4.out_data(o3))))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/bytes.bend&name=Octets
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/bytes.bend&name=Octets.append
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/bytes.bend&name=Octets.hex
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/check.bend&name=rc4_state
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/rc4.bend&name=LcRc4.keystream
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/rc4.bend&name=LcRc4.out_data
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/rc4.bend&name=LcRc4.out_state