law v_aes_inv

bend-osdev-gf@0.1.1.0 · LAWS.bend:129

import Base
import bend-osdev-gf@0.1.1.0/gf.bend as G

129# the inverse of {53} is {ca} (the AES S-box's first step)
130law v_aes_inv:
131  {G.Gf8.inv(G.Gf8.aes(), 83) == 202 : U32}