def c3
import bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/phc.bend as Phcimport Base
39def c3(+b: U32) -> U32:
40 U32.from_nat(Nat.div(Nat.div(Nat.div(U32.to_nat(b), 4n), 4n), 4n))
Uses (4)
Used by (7)
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/argon2/phc:c3_lt
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/argon2/phc:b64_nd
- 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:byte_rt
- bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/phc:enc1
- …