law sha3_256_abc

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

import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
import bend-osdev-crypto@0.1.0.0/inst_sha3.bend as S3

469# FIPS 202's SHA3-256 of "abc" (NIST's SHA-3 examples), through the hash
470# interface
471law sha3_256_abc:
472  {S3.CrSha3.sha3_256(B.Octets.of_string("abc")) == B.Octets.of_list([58, 152, 93, 167, 79, 226, 37, 178, 4, 92, 23, 45, 107, 211, 144, 189, 133, 95, 8, 110, 62, 157, 82, 91, 70, 191, 226, 69, 17, 67, 21, 50]) : B.Octets}