Lagrange (LA): проверяемый ИИ и вычисления с доказательством с нулевым разглашением (ZK)