law digest_word3

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/keccak/api.bend:61

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/keccak/keccak.bend as K
import bend-collections-laws-crypto@1.0.0.0/src/crypto/keccak/types.bend as T

61law digest_word3:
62  for +s: T.State
63  {Pair.snd(Array<U32>,U32,Array.get(U32,K.digest(s),3)) == word3(s) : U32}