A Verifiable Federated Learning Algorithm Supporting Distributed Pseudonym Tracking | AMiner