Zero knowledge verifiable, semi asynchronous federated learning for trajectory prediction on permissioned blockchain | Synapse