SoK: Challenges and Opportunities in Federated Unlearning