def sub_word
import bend-collections-laws-crypto@1.0.0.0/src/crypto/aes/aes.bend as Aesimport Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/aes/types.bend as T
import bend-collections-laws-crypto@1.0.0.0/src/crypto/aes/sbox.bend as B
10def sub_word(w: T.Quad) -> T.Quad:
11 match w:
12 case T.W{a, b, c, d}:
13 T.W{B.sbox(a), B.sbox(b), B.sbox(c), B.sbox(d)}
Uses (2)
Used by (5)
- bend-collections-laws-crypto@1.0.0.0/src/crypto/aes/aes:sub_bytes
- bend-collections-laws-crypto@1.0.0.0/src/crypto/aes/aes:schedule_core
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/aes/cipher:sub_bytes_ok
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/aes/cipher:sub_word_ok
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/aes/cipher:core_ok