def c1
import bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/phc.bend as Phcimport Base
33def c1(+b: U32) -> U32:
34 U32.from_nat(Nat.mod(Nat.div(U32.to_nat(b), 4n), 4n))
Uses (5)
Used by (7)
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/argon2/phc:c1_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
- …