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