law digest_words

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/sha/packed/buffer_proof.bend:34

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/packed/buffer.bend as B
import bend-collections-laws-crypto@1.0.0.0/src/crypto/sha/state.bend as S

34law digest_words:
35  for +s: S.State
36  {words(B.digest(s)) == F.digest(s) : List<&2,U32>}