law sha256_abc

bend-osdev-crypto@0.1.0.0 · LAWS.bend:464

import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
import bend-osdev-crypto@0.1.0.0/inst_sha2.bend as SH

464# FIPS 180-4's example "abc" (NIST's SHA examples), through the hash
465# interface
466law sha256_abc:
467  {SH.CrSha2.sha256(B.Octets.of_string("abc")) == B.Octets.of_list([186, 120, 22, 191, 143, 1, 207, 234, 65, 65, 64, 222, 93, 174, 34, 35, 176, 3, 97, 163, 150, 23, 122, 156, 180, 16, 255, 97, 242, 0, 21, 173]) : B.Octets}