Efficient Byzantine-Robust and Provably Privacy-Preserving Federated Learning | Synapse