可验证推理指在不完全信任模型运营方的前提下，让第三方能够通过数学方法确认某次推理确实由指定模型、在指定输入上执行。