def cr.cbc.enc.go

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

import Base

65def cr.cbc.enc.go(~K: Data, ~Blk: Data, ~enc: K -> Blk -> Blk, ~bxor: Blk -> Blk -> Blk, +k: K, bs: List<&2, Blk>, iv: Blk, acc: List<&2, Blk>) -> List<&2, Blk>:
66  match bs:
67    case Nil{}:
68      cr.blks.rev_onto(~Blk, acc, Nil{})
69    case Con{p, t}:
70      +c = enc(k, bxor(p, iv))
71      cr.cbc.enc.go(~K, ~Blk, ~enc, ~bxor, k, t, c, Con{c, acc})