Show HN: Turn ML/AI models into zero-knowledge proofs | Dark Hacker News