def cr.pcbc.enc

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

import Base

21def cr.pcbc.enc(~K: Data, ~Blk: Data, ~enc: K -> Blk -> Blk, ~bxor: Blk -> Blk -> Blk, +k: K, bs: List<&2, Blk>, v: Blk) -> List<&2, Blk>:
22  match bs:
23    case Nil{}:
24      Nil{}
25    case Con{+p, t}:
26      +c = enc(k, bxor(p, v))
27      Con{c, cr.pcbc.enc(~K, ~Blk, ~enc, ~bxor, k, t, bxor(p, c))}