law rc4_streaming_state

bend-osdev-legacy-ciphers@0.1.0.0 · LAWS.bend:208

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

208law rc4_streaming_state:
209  for +st: R.LcRc4State
210  for +a: B.Octets
211  for +b: B.Octets
212  {R.LcRc4.out_state(R.LcRc4.update(st, B.Octets.append(a, b))) == R.LcRc4.out_state(R.LcRc4.update(R.LcRc4.out_state(R.LcRc4.update(st, a)), b)) : R.LcRc4State}