law ripemd160_paper_6

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

import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
import bend-osdev-hashes@0.1.0.0/ripemd160.bend as RM

243# RIPEMD-160: the test values of Dobbertin, Bosselaers and Preneel (the RIPEMD-160 page)
244law ripemd160_paper_6:
245  {RM.HsRipemd160.digest(B.Octets.of_string("abcdbcdecdefdefgefghfghighijhijkijkljklmklmnlmnomnopnopq")) == B.Octets.of_list([18, 160, 83, 56, 74, 156, 12, 136, 228, 5, 160, 108, 39, 220, 244, 154, 218, 98, 235, 43]) : B.Octets}