LAWS.sm3_example_1: law of bend-osdev-hashes@0.1.0.0
Import: import bend-osdev-hashes@0.1.0.0/LAWS.bend as LAWS
Lines 287-289 of bend-osdev-hashes@0.1.0.0/LAWS.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-hashes@0.1.0.0/LAWS.bend&start_line=287&end_line=289

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

# SM3 (GB/T 32905): draft-shen-sm3-hash-01, examples 1 and 2
law sm3_example_1:
  {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}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/bytes.bend&name=Octets
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/bytes.bend&name=Octets.of_list
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/bytes.bend&name=Octets.of_string
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-hashes@0.1.0.0/sm3.bend&name=HsSm3.digest