libs/AES256SBox.bend checks
raw source on the hub · import qasim-bend-kit@0.1.0.2/libs/AES256SBox.bend as AES256SBox
1 import
import Base
Definitions
def lookup_index source · line 6 · raw
@index:Nat -> U32
The AES byte substitution table, generated from the field inverse and affine map. A byte selects one literal branch so formal NIST checkpoints avoid expanding the exponentiation network for every substituted byte.
def lookup source · line 266 · raw
@value:U32 -> U32