Using Third-Party Auditor to Help Federated Learning: An Efficient Byzantine-robust Federated Learning | Synapse