law Sha3_256.value

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/hash/laws.bend:18

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/hash.bend as Hash
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/sha3.bend as FIPS202

18law Sha3_256.value:
19  for +bytes: List<&2, U32>
20  {Hash.sha3_256(bytes) == FIPS202.sha3_256(bytes) : List<&2, U32>}