Anthropic 开源基于 zkSNARK 的可证明推理系统 FlashProve，可验证模型输出来源

BiRun 讯，Anthropic 开源可证明推理研究原型 FlashProve，利用零知识证明技术 zkSNARK，使用户无需获取模型权重，即可验证输出是否由事先承诺的特定模型生成，以应对第三方服务替换模型、推理输出遭篡改等信任问题。Claude 对 zkSNARKs 进行了改进，使其推理速度比之前的开源系统快得多。