def xts.alpha_n

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

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

103# T_0 * alpha^n
104def xts.alpha_n(n: Nat, +t: M.CmBlock) -> M.CmBlock:
105  match n:
106    case 0n:
107      t
108    case 1n+q:
109      xts.alpha_n(q, Xts.mul_alpha(t))