verification keys in verification file