Efficient Exact Unlearning for Federated Zeroth-Order Optimization
Organizations: School of Cyber Science and Technology, Beihang University, Beijing 100191, China · Beijing Advanced Innovation Center for Future Blockchain and Privacy Computing, Beihang University, Beijing 100083, China · School of Electrical Engineering and Computer Science, TU Berlin, 10623 Berlin, Germany · Division of Computer, Electrical and Mathematical Sciences and Engineering, King Abdullah University of Science and Technology, Saudi Arabia
Abstract
Federated zeroth-order optimization (FedZOO) reduces the memory and communication costs of collaborative training for edge intelligence by avoiding backpropagation while communicating only random seeds and scalar coefficients. However, existing methods lack efficient mechanisms for exact unlearning to fully remove the influence of training data when users request deletion. A key insight is that total variation stability of the learning algorithm creates overlap between model distributions before and after data deletion, allowing exact unlearning to reuse computation through coupling. Based on this observation, we jointly design two stable zeroth-order learning algorithms and their corresponding exact-unlearning procedures: FedZOO-S obtains stability through client and mini-batch subsampling, enabling FedZOUL-S to perform efficient unlearning by preserving earlier updates and restarting from the first affected step. FedZOO-NS further combines subsampling with Gaussian noise to increase overlap between update distributions; FedZOUL-NS exploits this overlap through rejection--reflection coupling to reuse affected updates when the coupling is accepted. We prove exact unlearning for both algorithms: the model and saved state have the same joint distribution as retraining with the corresponding learner on retained data. We further establish stability and convergence guarantees for the learning algorithms and derive upper bounds on expected unlearning cost. Experiments demonstrate effective unlearning with competitive model utility and up to less cumulative unlearning time than re-optimization. Compared with first-order baselines, our methods reduce communication overhead by up to approximately four orders of magnitude.
Figures & tables
| Dataset | Algorithm | |||||||||
| Acc | Time | Comm | Acc | Time | Comm | Acc | Time | Comm | ||
| FedKSeed Pro | 78.18 | 7.05 | 0.17 | 79.42 | 7.28 | 0.17 | 79.44 | 7.10 | 0.17 | |
| DeComFL | 66.59 | 7.93 | 0.02 | 80.03 | 7.91 | 0.02 | 79.63 | 7.98 | 0.02 | |
| FedZOO-S | 83.22 | 8.19 | 0.17 | 83.81 | 8.21 | 0.17 | 84.09 | 8.17 | 0.17 | |
| FedZOO-NS ( ) | 79.14 | 8.25 | 0.17 | 82.08 | 8.23 | 0.17 | 80.73 | 8.24 | 0.17 | |
| MNIST | FedZOO-NS ( ) | 75.04 | 8.28 | 0.17 | 79.00 | 8.26 | 0.17 | 79.02 | 8.24 | 0.17 |
| Model | Algorithm | Split99 | Split95 | Split90 | ||||||
| ROUGE-L | Time | Comm | ROUGE-L | Time | Comm | ROUGE-L | Time | Comm | ||
| FedKSeed Pro | 40.66 | 63.41 | 0.17 | 38.87 | 65.77 | 0.17 | 38.42 | 68.38 | 0.17 | |
| DeComFL | 42.09 | 72.55 | 0.01 | 43.72 | 74.53 | 0.01 | 44.22 | 77.14 | 0.01 | |
| FedZOO-S | 44.07 | 74.07 | 0.17 | 44.47 | 76.47 | 0.17 | 45.01 | 78.61 | 0.17 | |
| FedZOO-NS ( ) | 42.58 | 74.17 | 0.17 | 43.57 | 76.57 | 0.17 | 42.65 | 79.23 | 0.17 | |
| Llama-3.2- 1B-Instruct | FedZOO-NS ( ) | 38.61 | 74.08 | 0.17 | 41.03 | 76.59 | 0.17 | 40.68 | 79.47 | 0.17 |
Appendix figures & tables2 assets
Supplementary material from the paper’s appendix.
Appendix
Federated Unlearning
Federated unlearning removes a client’s or record’s influence from a collaboratively trained model while preserving useful knowledge.
See all 29 papersJellyfish: Zero-Shot Federated Unlearning Scheme with Knowledge Disentanglement
forgetting" and retaining". Finally, we propose a zero-shot repair mechanism that leverages proxy data to restore model accuracy within acceptable bounds without accessing users' local data. To evaluate the performance of the proposed zero-shot federated unlearning scheme, we conducted comprehensive experiments across diverse settings. The results validate the effectiveness and robustness of the scheme.