Also, verifiers Ought to accomplish a further iteration of the essential derivation function using a salt benefit which is magic formula and identified only to the verifier. This salt value, if utilized, SHALL be produced by an accredited random little bit generator [SP 800-90Ar1] and supply no less than the bare minimum security power specified in