Trusted Model Aggregation With Zero-Knowledge Proofs in Federated Learning | IEEE Journals & Magazine | IEEE Xplore