新Anthropic 开源 FlashProve:零知识证明方案,核验 AI 回答是否来自宣称模型,防范模型偷换Anthropic 近期开源了 FlashProve(版本 0.16.0),这是一个基于零知识证明(Zero-Knowledge Proofs, ZKP)与 Lean 4 形式化验证的研究原型工具。它...工具# Anthropic# FlashProve2天前150