def final

bend-collections-laws-crypto@1.0.0.0 · src/crypto/blake/blake2b/blake2b.bend:277

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/blake/blake2b/compress.bend as F

277# The last block holds the final 1..128 bytes (0 for the empty message).
278def final(a: Array<U32>, +index: U32, +remain: Nat, t: T.Counter, h: T.Chain) -> T.Chain:
279  last0(remain,index,F.bump(t,U32.from_nat(remain)),h,Array.get(U32,a,index))