def byte8

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/aes/aes.bend:73

import Base

73# The byte c7..c0 (the S-box reads only the low eight bits of a U32).
74def byte8(c0: Bool, c1: Bool, c2: Bool, c3: Bool, c4: Bool, c5: Bool, c6: Bool, c7: Bool) -> U32:
75  U32{WCon{c0, WCon{c1, WCon{c2, WCon{c3, WCon{c4, WCon{c5, WCon{c6, WCon{c7, Word.zero(24n)}}}}}}}}}