ZKSL: Verifiable and Efficient Split Federated Learning via Asynchronous Zero-Knowledge Proofs. - Yixiao Zheng; Changzheng Wei; Xiaodong Qi; Hanghang Wu; Yuhan Wu; Li Lin; Tianmin Song; Ying Yan 002; Yanqing Yang; Zhao Zhang 009; Cheqing Jin; Aoying Zhou (NDSS, 2026)