BV-ICVs: A privacy-preserving and verifiable federated learning framework for V2X environments using blockchain and zkSNARKs[J] JOURNAL OF KING SAUD UNIVERSITY-COMPUTER AND INFORMATION SCIENCES 2023(35) Smahi, Abla Li, Hui Yang, Yong Yang, Xin Lu, Ping Zhong, Yong Liu, Caifu