def compress
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/sha.bend as Shaimport Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/sha/state.bend as Types
142def compress(ws: List<&2, U32>, ks: List<&2, U32>, +s: Types.State) -> Types.State:
143 feedforward(s, rounds(ks, ws)(s))
Uses (5)
Used by (7)
- bend-collections-laws-crypto@1.0.0.0/spec/crypto/sha:blocks
- bend-collections-laws-crypto@1.0.0.0/spec/crypto/sha/packed:compress
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/sha/packed/packed_proof:compress_correct
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/sha/packed/conformance:compression_correct
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/sha/conformance:block_bytes_correct
- …