def sv
import bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/phc.bend as Phcimport Base
53def sv(+s: U32) -> U32:
54 U32.and(U32.shrn(s, 2n), 3)
Uses (3)
Used by (6)
- bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/phc:dec2
- bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/phc:dec3
- bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/phc:dec4
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/argon2/phc:b64_rt
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/argon2/phc:sv_eq
- …