研究:Anthropic开源FlashProve,用零知识证明验证大模型推理
Anthropic 发布开源研究原型 FlashProve,利用零知识证明验证大模型回复是否由指定模型权重生成,同时无需公开模型权重。Anthropic 称,Claude 参与改进该系统;在 4000 亿参数的 Llama 4 Maverick 模型测试中,单张 H100 显卡生成证明的速度约为每秒 110 个 token(文本单位),但所需 GPU 时间为普通推理的约 70 至 95 倍。该原型目前支持最多 1024 个 token 的上下文,仍处于研究阶段。
Anthropic 发布开源研究原型 FlashProve,利用零知识证明验证大模型回复是否由指定模型权重生成,同时无需公开模型权重。Anthropic 称,Claude 参与改进该系统;在 4000 亿参数的 Llama 4 Maverick 模型测试中,单张 H100 显卡生成证明的速度约为每秒 110 个 token(文本单位),但所需 GPU 时间为普通推理的约 70 至 95 倍。该原型目前支持最多 1024 个 token 的上下文,仍处于研究阶段。
相关阅读
特朗普:不愿造成大量伊朗人死亡 但必要时别无选择
美国总统特朗普当地时间11月3日接受福克斯新闻采访,当被问及伊朗问题时,他表示:“我们昨晚对其进行了非常出色的打击,我并不想造成大量人员死亡,但如果非得这么做,那也只能如此。至于中期选举后如何处理伊朗,我们拭目以待。”
分析:Kalshi组合预测用户自功能上线以来累计亏损超10亿美元
据 InGame 分析,自 2025 年 9 月推出组合预测(Parlay)功能以来,Kalshi 用户累计亏损已超过 10 亿美元。其中,预测净亏损约 6.09 亿美元,另支付约 4 亿美元手续费,累计预测金额约 71 亿美元。(The Block)
SEC《加密资产监管》提案意见征询今日截止,Bitwise与Hyperliquid政策中心提交意见
美国证券交易委员会(SEC)拟议的《加密资产监管》(Regulation Crypto Assets)公开征求意见期于周二截止。Bitwise与Hyperliquid政策中心已提交意见函,呼吁SEC就代币是否适用证券法、空投、代币回购及二级市场中介等问题给出更清晰的规则,Hyperliquid方面还呼吁让拟议的安全港更具可操作性。另有前SEC执法官员等评论者主张撤回该提案。