SoK: Verifiable Integrity Claims for Privacy-Preserving Federated Learning | AIChainDay