Cooperative Federated Learning and Model Update Verification in Blockchain-Empowered Digital Twin Edge Networks | Synapse