Guglani, A. (2025). FedZK: Secure Federated Learning with Zero-Knowledge Proofs (Version 0.1.0) [Computer software]. https://github.com/aaryanguglani/fedzk