def bulk.xts

bend-osdev-cipher-modes@0.1.0.0 · check.bend:83

import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
import bend-osdev-cipher-modes@0.1.0.0/cipher_modes.bend as M
import bend-osdev-cipher-modes@0.1.0.0/aes_modes.bend as D

83def bulk.xts(r: Result<&2, &2, M.CmError, B.Octets>, +m: B.Octets) -> String:
84  match r:
85    case Done{+c}:
86      B.Octets.hex(B.Octets.drop(Nat.sub(B.Octets.len(c), 16n), c)) ++ " back " ++ bulk.same(D.CmAes.xts_decrypt(bulk.key2(), bulk.iv(), c), m)
87    case Fail{e}:
88      "fail " ++ err(e)