def c0
import bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/phc.bend as Phcimport Base
29# The crumbs of a byte n, high first: n = ((c3 * 4 + c2) * 4 + c1) * 4 + c0.
30def c0(+b: U32) -> U32:
31 U32.from_nat(Nat.mod(U32.to_nat(b), 4n))
Uses (4)
Used by (7)
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/argon2/phc:c0_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
- …