One-Way Functions are Essential for Non-Trivial Zero-Knowledge