本文综述基于零知识证明的可验证机器学习技术，分析不同场景的可验证性问题，分类现有方法，并探讨挑战与未来方向。相关研究涵盖模型公平性认证与审计、深度学习训练过程证明、联邦学习模型所有权验证、语言模型能力评估、训练数据证明及深度概率模型验证等。