law fused_compress_slow_correct

bend-collections@1.0.0.0 · proofs/crypto/sha/conformance.bend:204

import Base
import bend-collections@1.0.0.0/src/crypto/sha/state.bend as S
import bend-collections@1.0.0.0/src/crypto/sha/core.bend as C

204law fused_compress_slow_correct:
205  for +block: List<&2, U32>
206  for +extra: Nat
207  for +ks: List<&2, U32>
208  for +s: S.State
209  {C.fused_compress_slow(block, extra, ks, s) == C.compress(C.schedule(extra, block), ks, s) : S.State}