def iteration

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

import Base

143# one iteration: the sixteen blocks 0..15, permuted, as 256 words
144def iteration(+key: List<&2, U32>) -> List<&2, U32>:
145  append(group(key, 0), append(group(key, 4), append(group(key, 8), group(key, 12))))