Hong-Xu Su

OPFL: Optimistic Verification of Federated Learning via Empirical Boundary

OPFL calibrates an empirical boundary offline and uses it to distinguish benign numerical deviations from malicious manipulation, and adopts optimistic verification by post auditing only sampled training steps to reduce the cost of expensive MPC replay.