law md4_rfc1320_6

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

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

83# MD4 (RFC 1320): RFC 1320, appendix A.5 (the test suite)
84law md4_rfc1320_6:
85  {M4.HsMd4.digest(B.Octets.of_string("ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789")) == B.Octets.of_list([4, 63, 133, 130, 242, 65, 219, 53, 28, 230, 39, 225, 83, 231, 240, 228]) : B.Octets}