def hash_unchecked

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/sha/packed.bend:93

import Base
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/sha.bend as F
import bend-collections-laws-crypto@1.0.0.0/src/crypto/sha/state.bend as S

93def hash_unchecked(a: Array<U32>, +length: Nat) -> S.State:
94  take_state(blocks(48n,Nat.div(length,64n),0,Nat.mod(length,64n),length,(a,F.initial())))