def state_of

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

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/aes/types.bend as T

282def state_of(+input: List<&2, U32>) -> T.State:
283  T.S{T.W{nth_byte(input, 0n), nth_byte(input, 1n), nth_byte(input, 2n), nth_byte(input, 3n)},
284    T.W{nth_byte(input, 4n), nth_byte(input, 5n), nth_byte(input, 6n), nth_byte(input, 7n)},
285    T.W{nth_byte(input, 8n), nth_byte(input, 9n), nth_byte(input, 10n), nth_byte(input, 11n)},
286    T.W{nth_byte(input, 12n), nth_byte(input, 13n), nth_byte(input, 14n), nth_byte(input, 15n)}}