def finish

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/blake/blake2b.bend:184

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

184# h[i] := h[i] ^ v[i] ^ v[i + 8].
185def finish(h: T.Chain, v: T.State) -> T.Chain:
186  match h v:
187    case T.H{h0,h1,h2,h3,h4,h5,h6,h7} T.V{v0,v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15}:
188      T.H{xor(xor(h0,v0),v8),xor(xor(h1,v1),v9),xor(xor(h2,v2),v10),xor(xor(h3,v3),v11),xor(xor(h4,v4),v12),xor(xor(h5,v5),v13),xor(xor(h6,v6),v14),xor(xor(h7,v7),v15)}