zkML = ZKP + ML, which is an AI machine learning model based on zero-knowledge proof.