def xpow
import bend-collections@1.0.0.0/src/crypto/aes/aes.bend as Aesimport Base
import bend-collections@1.0.0.0/src/crypto/aes/sbox.bend as B
79# x^n in GF(2^8), by doubling.
80def xpow(n: Nat) -> U32:
81 match n:
82 case 0n:
83 1
84 case 1n+p:
85 B.xtime(xpow(p))