ZK-APEX ZK-APEX: verifiable unlearning for personalized edge ML. Masked unlearning + Group-OBS compensation with zero-knowledge proofs. Reproduces ViT-B/16 and OPT-125M experiments, ablations (AdaptFormer/LoRA), and forget-set scaling/structured forgetting.