def unchecked

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

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

265# dd = max(1, ceil(ll / 128)) blocks: dd - 1 = (ll - 1) div 128 full blocks
266# (0 when ll = 0), then the last block with the remaining ll - 128 (dd - 1) bytes.
267def unchecked(a: Array<U32>, +length: Nat) -> T.Chain:
268  +n = Nat.div(Nat.sub(length,1n),128n)
269  blocks(n,0,Nat.sub(length,Nat.mul(n,128n)),T.C{0,0,0,0},(a,initial()))