arXiv:2503.15550v2 通知类型: replace-cross 摘要：联邦学习（FL）作为一种有前途的分布式机器学习范式已经浮现出来，它能够实现协作模型训练同时保护数据隐私。然而，尽管FL有许多优势，它仍然面临着一些重大挑战，尤其是有关安全和信任的问题。零知识证明（ZKPs）提供了一种潜在的解决方案，通过在整个FL过程中建立信任和增强系统完整性。尽管已有许多研究探索基于ZKP的FL（ZK-FL），但系统性的框架和全面的分析仍然缺乏。本文做出了两个关键贡献。首先，我们提出了一种结构化的ZK-FL框架，该框架对ZKPs在不同FL阶段和任务中的技术作用进行了分类和分析。其次，我们引入了一种新的算法Verifiable Client Selection FL（Veri-CS-FL），该算法利用ZKPs对客户端选择过程进行优化。在Veri-CS-FL中，参与的客户端为其本地模型生成可验证的证明并提交这些简要证明给服务器以进行高效的验证。然后，服务器选择具有良好本地模型的客户端进行上传，并随后聚合这些选定客户端的贡献。通过整合ZKPs，Veri-CS-FL不仅确保了性能指标的准确性，还增强了参与者之间的信任，同时提高了FL系统的整体效率和安全性。