def m64.cbc.enc.go

bend-osdev-legacy-ciphers@0.1.0.0 · modes64.bend:64

import Base
import bend-osdev-legacy-ciphers@0.1.0.0/legacy_ciphers.bend as L

64def m64.cbc.enc.go(~K: Data, ~enc: K -> L.LcBlock64 -> L.LcBlock64, +k: K, bs: List<&2, L.LcBlock64>, iv: L.LcBlock64, acc: List<&2, L.LcBlock64>) -> List<&2, L.LcBlock64>:
65  match bs:
66    case Nil{}:
67      m64.rev_onto(acc, Nil{})
68    case Con{p, t}:
69      +c = enc(k, L.LcBlock64.xor(iv, p))
70      m64.cbc.enc.go(~K, ~enc, k, t, c, Con{c, acc})