law md4_rfc1320_2

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

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

67# MD4 (RFC 1320): RFC 1320, appendix A.5 (the test suite)
68law md4_rfc1320_2:
69  {M4.HsMd4.digest(B.Octets.of_string("a")) == B.Octets.of_list([189, 229, 44, 179, 29, 227, 62, 70, 36, 94, 5, 251, 219, 214, 251, 36]) : B.Octets}