def feedforward
import bend-collections@1.0.0.0/src/crypto/sha/packed/core.bend as Coreimport Base
import bend-collections@1.0.0.0/src/crypto/sha/state.bend as S
46def feedforward(x: S.State, y: S.State) -> S.State:
47 S.H{a, b, c, d, e, f, g, h} = x
48 S.H{i, j, k, l, m, n, o, p} = y
49 S.H{(a + i : U32), (b + j : U32), (c + k : U32), (d + l : U32),
50 (e + m : U32), (f + n : U32), (g + o : U32), (h + p : U32)}
Uses (3)
Used by (10)
- bend-collections@1.0.0.0/src/crypto/sha/packed/core:fips_compress16
- bend-collections@1.0.0.0/proofs/crypto/sha/packed/core_model:window_compress16
- bend-collections@1.0.0.0/proofs/crypto/sha/packed/core_model:compress
- bend-collections@1.0.0.0/proofs/crypto/sha/packed/core_model:fused_compress
- bend-collections@1.0.0.0/proofs/crypto/sha/packed/conformance:compression_correct
- …