def blake2s

bend-collections-laws-crypto@1.0.0.0 · src/crypto/blake/blake2s/blake2s.bend:206

import Base

206# BLAKE2s-256 of the first `length` bytes of `a` (four little-endian bytes per
207# word): the eight little-endian digest words, or None when length exceeds
208# 4 * the array capacity.
209def blake2s(a: Array<U32>, length: Nat) -> Maybe<&1,Array<U32>>:
210  sized(length,Array.size(U32,a))