zkML = ZKP + ML、すなわちゼロ知識証明に基づくAI機械学習モデル。