Zero-Knowledge Proof Based Verifiable Inference of Models