Anthropic开源零知识证明系统FlashProve
Anthropic 发布基于零知识证明（zkSNARK）的开源 AI 推理验证系统 FlashProve，StarkWare 联合创始人 Alessandro Chiesa 参与研究。该系统利用与区块链 ZK 技术同源的密码学方法，使用户无需获取模型权重或重新运行模型，即可验证 AI 输出是否由指定模型生成。 Anthropic 表示，Claude 参与了系统优化，目前已开源相关代码及 Lean 形式化证明。该系统仍处于研究原型阶段，证明生成的 GPU 时间开销约为普通
Anthropic 发布基于零知识证明（zkSNARK）的开源 AI 推理验证系统 FlashProve，StarkWare 联合创始人 Alessandro Chiesa 参与研究。该系统利用与区块链 ZK 技术同源的密码学方法，使用户无需获取模型权重或重新运行模型，即可验证 AI 输出是否由指定模型生成。
Anthropic 表示，Claude 参与了系统优化，目前已开源相关代码及 Lean 形式化证明。该系统仍处于研究原型阶段，证明生成的 GPU 时间开销约为普通推理的 70–95 倍。
测试显示，FlashProve 在单张 H100 GPU 上，可为 Meta 旗下 4000 亿参数模型 Llama 4 Maverick 以约每秒 110 Token 的速度生成证明，单个证明约 19 MB。
相关阅读
Meta拟发行150亿美元美元债
Meta 计划通过美元债发行募资约 150 亿美元，此次发行是其跨境债券融资的一部分。此前消息称，Meta 计划通过美元及欧元债券发行合计募资至少 200 亿美元，融资规模可能根据投资者需求进一步扩大。
Meta重启美元债发行，计划在美欧市场融资至少200亿美元
Meta Platforms 首次在六个月内发行美元债券，作为其融资计划的一部分，该公司计划在美国和欧洲市场发行至少 200 亿美元债务。在科技巨头面对投资者对人工智能基础设施建设支出的质疑之际，Meta 正通过举债为相关投资提供资金。 据一位知情人士透露，Meta 此次债券发行分为五个部分，期限从 5 年至 30 年不等。该人士并补充称，最长期限债券的初步定价指引较美国国债收益率高约 2.5 个百分点。Meta 上一次进入高评级债券市场是在今年 4 月，当时通过债券发
观点：比特币或将进入数月震荡期，下一轮上涨前或成短线交易者的机会
交易员 Killa 发文表示，未来几个月比特币市场可能持续震荡。如果比特币底部已经形成，那么本轮周期的推进速度显然会更快。在下一轮上涨行情到来之前，市场很可能先进入一段适合短线交易者频繁操作的震荡阶段。