[logannyeMD]

FWIW: I created a github repo for compact zero-knowledge proofs that could be useful for privacy-preserving ML models of reasonable size (https://github.com/logannye/space-efficient-zero-knowledge-p...). Unfortunately, FHE's computational overhead is still prohibitive for running ML workloads except on very small models. Hoping to help make ZKML a little more practical.

[infimum]

This sounds super interesting. Can you elaborate on how you apply ZK to ML? (or can you point me to any resources?)

[oulipo2]

Did you check Zama.ai's work on FHE?