def cr.pcbc.dec

bend-osdev-crypto@0.1.0.0 · pcbc.bend:29

import Base

29def cr.pcbc.dec(~K: Data, ~Blk: Data, ~dec: K -> Blk -> Blk, ~bxor: Blk -> Blk -> Blk, +k: K, bs: List<&2, Blk>, v: Blk) -> List<&2, Blk>:
30  match bs:
31    case Nil{}:
32      Nil{}
33    case Con{+c, t}:
34      +p = bxor(dec(k, c), v)
35      Con{p, cr.pcbc.dec(~K, ~Blk, ~dec, ~bxor, k, t, bxor(p, c))}