[infimum]

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