hashing: use encoding/binary