def small1
import bend-collections-laws-crypto@1.0.0.0/src/crypto/sha/packed/core.bend as Coreimport Base
29def small1(+x: U32) -> U32:
30 ((U32.shrn(x, 17n) .|. U32.shln(x, 15n))
31 .^. (U32.shrn(x, 19n) .|. U32.shln(x, 13n))
32 .^. U32.shrn(x, 10n) : U32)
Uses (5)
Used by (100)
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/sha/packed/core_model:window_rounds
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/sha/packed/core_model:next_word
- bend-collections-laws-crypto@1.0.0.0/src/crypto/sha/packed/core:kr16
- bend-collections-laws-crypto@1.0.0.0/src/crypto/sha/packed/core:kr17
- bend-collections-laws-crypto@1.0.0.0/src/crypto/sha/packed/core:kr18
- …