law sm3_example_1

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

import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
import bend-osdev-hashes@0.1.0.0/sm3.bend as SM

287# SM3 (GB/T 32905): draft-shen-sm3-hash-01, examples 1 and 2
288law sm3_example_1:
289  {SM.HsSm3.digest(B.Octets.of_string("abc")) == B.Octets.of_list([102, 199, 240, 244, 98, 238, 237, 217, 209, 242, 212, 107, 220, 16, 228, 226, 65, 103, 196, 135, 92, 242, 247, 162, 41, 125, 160, 43, 143, 75, 168, 224]) : B.Octets}