def key_list

bend-collections-laws-crypto@1.0.0.0 · spec/math/random/chacha8rand.bend:30

import Base
import bend-collections-laws-crypto@1.0.0.0/src/math/random/chacha8/block.bend as B

30# the key record as the list of its eight little-endian words
31def key_list(k: B.Key) -> List<&2, U32>:
32  match k:
33    case B.K{k0, k1, k2, k3, k4, k5, k6, k7}:
34      [k0, k1, k2, k3, k4, k5, k6, k7]