Lagrange(LA):ゼロ知識(ZK)証明がAI推論と演算の検証を可能に