law ripemd160_paper_7

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

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

247# RIPEMD-160: the test values of Dobbertin, Bosselaers and Preneel (the RIPEMD-160 page)
248law ripemd160_paper_7:
249  {RM.HsRipemd160.digest(B.Octets.of_string("ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789")) == B.Octets.of_list([176, 226, 11, 110, 49, 22, 100, 2, 134, 237, 58, 135, 165, 113, 48, 121, 178, 31, 81, 137]) : B.Octets}