Nontrivial Zero-Knowledge Implies One--Way Functions