VFChain: Enabling Verifiable and Auditable Federated Learning via Blockchain Systems | IEEE Journals & Magazine | IEEE Xplore