Adaptive and Proximal Federated Optimization for Transferable Network Intrusion Detection | AIChainDay