One-Way Functions, Hard on Average Problems, and Statistical Zero-Knowledge Proofs