Anthropic Frontier Red Team 发布开源研究原型 FlashProve，用 zkSNARK 证明 API 回复确实来自已承诺的模型权重，且不泄露权重本身。