def same

bend-collections-laws-crypto@1.0.0.0 · src/crypto/password.bend:73

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/phc.bend as PHC

73def same(+x: PHC.Phc, params: Params) -> Bool:
74  match x params:
75    case PHC.Phc{+m, +t, +p, +salt, +hash} Params{+pm, +pt, +pp, +ptag, +psalt}:
76      Bool.and(Bool.and(Nat.is_eq(m, pm), Bool.and(Nat.is_eq(t, pt), Nat.is_eq(p, pp))), Bool.and(Nat.is_eq(len(hash), ptag), Nat.is_eq(len(salt), psalt)))