law md4_rfc1320_3

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

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

71# MD4 (RFC 1320): RFC 1320, appendix A.5 (the test suite)
72law md4_rfc1320_3:
73  {M4.HsMd4.digest(B.Octets.of_string("abc")) == B.Octets.of_list([164, 72, 1, 122, 175, 33, 216, 82, 95, 193, 10, 232, 122, 166, 114, 157]) : B.Octets}