Efficient Zero-Knowledge Proofs for Typical Non-Linear Functions in Machine Learning. - Shengqi Jin; Weihan Li; Zongyang Zhang (TrustCom, 2025)