Abstract: Verifiable secure aggregation (VSA) is a critical procedure in federated learning (FL), where secure aggregation achieves local gradients aggregation while data confidentiality is preserved, ...