寻观「标准库」之书。
寻观「标准库」之「数据结构」之「字节串」之书。
寻观「裸机后端」之「机器编码」之书。
寻观「裸机后端」之「散列二五六」之书。

「：文言：以 FIPS 180-4 之标准三例验之：空、abc、及跨二块之五十六字节。汉语：用 FIPS 180-4 附录的三个标准向量核对摘要：空消息、"abc"、以及 56 字节（需两个块）的消息。：」

「十六进制字符」乃化「整数」而「字符串」也。
「十六进制字符」者会「数」而
  「获取子字符串」于「数」于（「加」于「数」于「一」）于『0123456789abcdef』
也。

「字节转十六进制」乃化「字节串」而化「整数」而「字符串」也。
「字节转十六进制」者会「字」而会「号」而
  若「等于」于「号」于（「字节串长度」于「字」）则
    『』
  否则
    虑「节」者「字节串取字节」于「字」于「号」而
    （「十六进制字符」于（「除以」于「节」于「一六」））附（「十六进制字符」于（「整数余数」于「节」于「一六」））附（「字节转十六进制」
      于「字」
      于（「加」于「号」于「一」））
也。

「散列验」乃化「字符串」而化「字符串」而「有」也。
「散列验」者会「输入」而会「期望」而
  虑「实」者
    「字节转十六进制」于（「散列二五六」于（「字符串转字节串」于「输入」））于「零」而
  若「字符串相等吗」于「实」于「期望」则
    「元」
  否则
    「发生事故」于（『散列二五六不符：』附「输入」附『 得 』附「实」）
也。

「散列验」于『』于『e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855』。
「散列验」于『abc』于『ba7816bf8f01cfea414140de5dae2223b00361a396177a9cb410ff61f20015ad』。
「散列验」
  于『abcdbcdecdefdefgefghfghighijhijkijkljklmklmnlmnomnopnopq』
  于『248d6a61d20638b8e5c026930c3e6039a33ce45964ff2167f6ecedd419db06c1』。
