A Survey of Zero-Knowledge Proof Based Verifiable Machine Learning