def Xts.tweak

bend-osdev-cipher-modes@0.1.0.0 · xts.bend:88

import Base
import bend-osdev-cipher-modes@0.1.0.0/cipher_modes.bend as M

88# T_0: the encrypted sequence number
89def Xts.tweak(~K: Data, ~enc: K -> M.CmBlock -> M.CmBlock, +k2: K, i: M.CmBlock) -> M.CmBlock:
90  enc(k2, i)