零知识证明

企业调用云端模型，指定了模型名称，却未必能确认后台实际运行的模型；回答质量也无法证明模型遭到替换。Anthropic开源研究原型FlashProve尝试用零知识证明核验回答是否由预先承诺的模型权重生成，同时不公开权重。但测试显示，证明计算开销约为普通推理GPU时间的70至95倍，支持范围也有限。它能为采购和审计提供什么证据，又离低成本部署有多远？