law empty_last_word

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

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

165law empty_last_word:
166  for w: U32
167  {U32.or(K.pad_word(w,132n,0n),2147483648) == 2147483648 : U32}