近年来，用户在使用AI时常常面临一个问题：所购买的AI模型是否真的就是商家所宣传的那款？例如，一些第三方平台声称接入了高端模型，但实际使用过程中可能更换为低成本或旧版模型，甚至在同一道问题上，官网表现和中转服务的表现截然不同。对于依赖第三方API的用户来说，这种情况时有发生。
Anthropic最近推出的研究，旨在解决这一类信任问题。它的开源原型FlashProve允许模型服务商为输出结果生成一个密码学证明。用户无需获取模型权重或自行运行模型，便能确认所使用模型的真实性。
FlashProve的基础在于一种名为zkSNARK的零知识证明技术。服务商首先为模型权重生成承诺，这个承诺类似于模型的唯一指纹，之后会针对特定输入和输出生成证明。用户可以利用这些信息，验证输出是否由承诺的模型生成。 球友会
这一技术的核心优势在于，使用零知识证明的方式，验证者能够确认计算结果，而无需直接接触模型的内部数据。这种方法比单纯依靠模型名称的自我认证更为可靠，因为它关注于输出与承诺权重之间的计算关系。
尽管过去生成零知识证明的成本较高，Anthropic的研究通过使用公开的Llama 4 Maverick模型进行实验，展示了这一技术的可行性。尽管生成证明的速度较慢且对计算资源的要求仍然较高，这一方案为未来的验证技术提供了新的思路。
不过，该技术的实际应用仍有一大挑战，即用户需事先了解标准模型的承诺。如果中转服务仅能提供与其选定模型相关的证明，而无法确认其与用户所购买模型的对应关系，那么这一证明的实用价值便大打折扣。 球友会
福州军区解散背后的抉择与变迁
为篮球运动员提供职业生涯规划服务，帮助他们设计发展目标。...
进博会中国石化签署采购协议总额达413亿美元
为篮球运动员提供职业生涯规划服务，帮助他们设计发展目标。...