Anthropic FlashProve 论文以 zkSNARKs 为 AI 推理自证,点名 Mantle 与 Starknet 为实践范式
深潮 TechFlow 编译文章拆解 Anthropic 发布的 FlashProve 研究方案。该方案通过密码学手段对神经网络权重参数作出数学承诺,每次推理回复附带 zkSNARKs 证明,在不泄露模型权重的前提下以毫秒级开销让用户验证回复确由特定完整模型计算得出。Anthropic 指出其技术栈与以太坊 Layer 2 验证状态转换的 zkSNARKs 属于相同底层密码学范式,并将 Starknet 与 Mantle 列为代表案例,StarkWare 与为 Mantle 提供零知识证明网络的 Succinct 团队均为论文共同作者。文章以 Mantle 为例,称其 2025 年 9 月完成向 OP Succinct 的架构升级,从乐观汇总转为 ZK Rollup,状态敲定时间缩短至约 1 小时,提现周期压缩至 6 小时以内,单笔交易 ZK 证明生成费用约 0.002 美元。文章还援引 ETHBEAT 统计称 Mantle 是排名前四的 Layer 2 中唯一全面切换 ZK Rollup 的网络,并指出 Mantle 并未参与 Anthropic 模型训练,这不是直接商业采购合作。