law rehash_hash

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/argon2/laws.bend:118

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/password.bend as PW
import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/argon2/phc.bend as PP
import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/argon2/password.bend as PWP

118# A hash needs no rehash with its own parameters.
119law rehash_hash:
120  for +pw: List<&2, U32>
121  for +salt: List<&2, U32>
122  for +params: PW.Params
123  for +hs: {PP.ok(salt) == True{} : Bool}
124  for +hl: {PWP.len(salt) == PW.salt_len(params) : Nat}
125  {PWP.fresh(PW.hash_password(pw, salt, params), params) == False{} : Bool}