def sbox_byte
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/aes/aes.bend as Aesimport Base
69# Section 5.1.1: the S-box is the inverse followed by the affine transformation.
70def sbox_byte(+x: U32) -> U32:
71 affine(inverse(x))
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/aes/aes.bend as Aesimport Base
69# Section 5.1.1: the S-box is the inverse followed by the affine transformation.
70def sbox_byte(+x: U32) -> U32:
71 affine(inverse(x))