law words_serialize

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/blake/blake2s/bytes.bend:228

import Base
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/blake/blake2s.bend as R

228# Whole blocks: reassembling the serialized words gives the words back.
229law words_serialize:
230  for +ws: List<&2,U32>
231  {R.words(R.serialize(ws)) == ws : List<&2,U32>}