def cbc.dec

bend-osdev-cbc@0.1.0.0 · cbc.bend:24

import Base
import bend-osdev-mode-core@0.1.0.0/mode_core.bend as M

24def cbc.dec(~K: Data, ~dec: K -> M.CmBlock -> M.CmBlock, +k: K, bs: List<&2, M.CmBlock>, iv: M.CmBlock) -> List<&2, M.CmBlock>:
25  match bs:
26    case Nil{}:
27      Nil{}
28    case Con{+c, t}:
29      Con{M.CmBlock.xor(iv, dec(k, c)), cbc.dec(~K, ~dec, k, t, c)}