Device-independent quantum randomness–enhanced zero-knowledge proof