A framework to enhance Federated Learning with functionality to verify computation correctness - View it on GitHub