def cr.cbc.dec

bend-osdev-crypto@0.1.0.0 · modes.bend:58

import Base

58def cr.cbc.dec(~K: Data, ~Blk: Data, ~dec: K -> Blk -> Blk, ~bxor: Blk -> Blk -> Blk, +k: K, bs: List<&2, Blk>, iv: Blk) -> List<&2, Blk>:
59  match bs:
60    case Nil{}:
61      Nil{}
62    case Con{+c, t}:
63      Con{bxor(dec(k, c), iv), cr.cbc.dec(~K, ~Blk, ~dec, ~bxor, k, t, c)}