def small0
import bend-collections-laws-crypto@1.0.0.0/src/crypto/sha/packed/core.bend as Coreimport Base
24def small0(+x: U32) -> U32:
25 ((U32.shrn(x, 7n) .|. U32.shln(x, 25n))
26 .^. (U32.shrn(x, 18n) .|. U32.shln(x, 14n))
27 .^. U32.shrn(x, 3n) : 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
- …