def finish

bend-collections-laws-crypto@1.0.0.0 · src/math/random/chacha8/block.bend:134

import Base

134# the key words added back to words 4..11
135def finish(k: Key, v: Vector) -> Vector:
136  match k v:
137    case K{k0,k1,k2,k3,k4,k5,k6,k7} V{v0,v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15}:
138      V{v0,v1,v2,v3,U32.add(v4,k0),U32.add(v5,k1),U32.add(v6,k2),U32.add(v7,k3),U32.add(v8,k4),U32.add(v9,k5),U32.add(v10,k6),U32.add(v11,k7),v12,v13,v14,v15}