law md4_rfc1320_5

bend-osdev-hashes@0.1.0.0 · LAWS.bend:79

import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
import bend-osdev-hashes@0.1.0.0/md4.bend as M4

79# MD4 (RFC 1320): RFC 1320, appendix A.5 (the test suite)
80law md4_rfc1320_5:
81  {M4.HsMd4.digest(B.Octets.of_string("abcdefghijklmnopqrstuvwxyz")) == B.Octets.of_list([215, 158, 28, 48, 138, 165, 187, 205, 238, 168, 237, 99, 223, 65, 45, 169]) : B.Octets}