law combined_padding

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

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

171law combined_padding:
172  for +w: U32
173  {U32.or(K.pad_word(w,132n,135n),2147483648) == U32.or(U32.or(U32.and(w,16777215),16777216),2147483648) : U32}