src/crypto/aes/types.bend checks

raw source on the hub · import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/aes/types.bend as Types

1 import

import Base

Types

type Quad source · line 6 · raw

Data

Shared representation only; this module contains no algorithm or operations. FIPS 197 section 3: a word (Quad) is four bytes, and the 4x4 state is four columns, column c holding the bytes s[0,c], s[1,c], s[2,c], s[3,c]. A byte is a U32.

W

@b0:U32 -> @b1:U32 -> @b2:U32 -> @b3:U32 -> Quad

type State source · line 9 · raw

Data

S

@c0:Quad -> @c1:Quad -> @c2:Quad -> @c3:Quad -> State