def m64.cbc.dec.go

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

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

72def m64.cbc.dec.go(~K: Data, ~dec: K -> L.LcBlock64 -> L.LcBlock64, +k: K, bs: List<&2, L.LcBlock64>, iv: L.LcBlock64, acc: List<&2, L.LcBlock64>) -> List<&2, L.LcBlock64>:
73  match bs:
74    case Nil{}:
75      m64.rev_onto(acc, Nil{})
76    case Con{+c, t}:
77      m64.cbc.dec.go(~K, ~dec, k, t, c, Con{L.LcBlock64.xor(iv, dec(k, c)), acc})