Open-source ZK proofs for ML inference – verify AI decisions cryptographically | Heykuki News