law padding_boundary_vector

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/sha/proof.bend:19

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/sha/sha256.bend as SHA

19law padding_boundary_vector:
20  {SHA.sha256(SHA.ascii("abcdbcdecdefdefgefghfghighijhijkijkljklmklmnlmnomnopnopq")) == [613247585, 3523623096, 3854575251, 205414457, 2738676825, 1694441831, 4142722516, 433784513] : List<&2, U32>}