def scatter

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/argon2/blamka.bend:132

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/blake/blake2b/types.bend as T
import bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/types.bend as A

132# The block with the state's sixteen lanes stored at the given lane numbers.
133def scatter(b: A.Block, idx: List<&2, Nat>, s: T.State) -> A.Block:
134  match s:
135    case T.V{s0, s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11, s12, s13, s14, s15}:
136      put_lanes(idx, [s0, s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11, s12, s13, s14, s15], b)