def blake2b

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

import Base

286# BLAKE2b-512 of the first byte_length bytes of the packed words; None when
287# byte_length exceeds the array's 4 * capacity bytes.
288def blake2b(words: Array<U32>, byte_length: Nat) -> Maybe<&1,Array<U32>>:
289  sized(byte_length,Array.size(U32,words))