Kick Bad Guys Out! Zero-Knowledge-Proof-Based Anomaly Detection in Federated Learning