FairZK: A Scalable System to Prove Machine Learning Fairness in Zero-Knowledge. - Tianyu Zhang; Shen Dong; O. Deniz Kose; Yanning Shen; Yupeng Zhang (CoRR, 2025)