zkML = ZKP + ML，即基于零知识证明的 AI 机器学习模型。