Some folks from Chainsafe looked into it a couple years ago: https://github.com/nulltea/zk-timelock. I'd love to see this work move forward.

You can ZK an XGBoost or neural net with https://github.com/zkonduit/ezkl