BTC $81,250.61 -0.15%
ETH $2,396.82 +0.27%
BNB $740.20 +1.24%
XRP $1.30 -0.11%
SOL $103.57 +0.12%
TRX $0.3299 +0.61%
DOGE $0.0791 +0.68%
ADA $0.2140 +1.09%
BCH $283.86 +3.53%
LINK $11.89 -0.41%
HYPE $77.63 +0.22%
AAVE $146.90 -0.06%
SUI $0.9747 -0.04%
XLM $0.1746 -0.27%
ZEC $1,222.24 +0.85%
AAPL $347.80 -0.13%
AMZN $248.76 -0.97%
GOOGL $321.70 -1.06%
MSFT $524.10 +0.53%
META $641.21 -0.83%
NVDA $211.70 -0.65%
TSLA $372.63 -0.30%
SNDK $1,243.08 +0.48%
INTC $87.00 +2.37%
SPCX $148.00 +1.27%
MU $881.29 +3.82%
AMD $518.37 +2.06%
BTC $81,250.61 -0.15%
ETH $2,396.82 +0.27%
BNB $740.20 +1.24%
XRP $1.30 -0.11%
SOL $103.57 +0.12%
TRX $0.3299 +0.61%
DOGE $0.0791 +0.68%
ADA $0.2140 +1.09%
BCH $283.86 +3.53%
LINK $11.89 -0.41%
HYPE $77.63 +0.22%
AAVE $146.90 -0.06%
SUI $0.9747 -0.04%
XLM $0.1746 -0.27%
ZEC $1,222.24 +0.85%
AAPL $347.80 -0.13%
AMZN $248.76 -0.97%
GOOGL $321.70 -1.06%
MSFT $524.10 +0.53%
META $641.21 -0.83%
NVDA $211.70 -0.65%
TSLA $372.63 -0.30%
SNDK $1,243.08 +0.48%
INTC $87.00 +2.37%
SPCX $148.00 +1.27%
MU $881.29 +3.82%
AMD $518.37 +2.06%

cl

全部
文章
快讯

first_img Anthropic:Claude 已大规模形式化验证开源库

ChainCatcher 消息,人工智能公司 Anthropic 旗下 Frontier Red Team 于 10 月 22 日发布研究,称大语言模型已能在更大规模上自动撰写形式化证明。团队与 Theorem 合作,使用 Claude 在 RISC-V 汇编层对超过 100 个真实开源库证明安全性质,并称这是已知首次用 AI 在汇编层对生产软件做大规模形式化验证。写证明过程中还发现了多年未被发现的漏洞。实验将 Google OSS-Fuzz 中已有的可编译 fuzz 测试转为规格:在单线程静态二进制、固定内存预算、RISC-V CPU 与 Linux 等假设下,对小于 64 MB 的任意输入,程序应正常退出且不触发内存安全错误或断言失败。数周内,Claude 在修补所发现问题后,对 123 个 OSS-Fuzz 库中的 239 个入口点证明了上述性质。证明针对编译后的 RISC-V 指令,约 1.8 亿行 Rocq,并由 Rocq 内核检查。页面称,这并不等于这些库没有漏洞,剩余问题可能位于受信任组件或证明范围之外。页面还称,团队让 Claude 形式化 RFC 1950,并在 x86 二进制层证明 Linux 内核中的 zlib 实现符合该规格;用 Rust 编写覆盖 Python 大子集的解释器,对超过 170 万个随机生成程序与 CPython 行为一致的比例为 99.95%。在 36 个小型验证任务上,Opus 5.5 证明其中一半所需 token 比 Opus 5 少约 40%。团队同时指出,证明针对单线程、静态链接的 RISC-V 二进制,且证明检查器不能判断规格是否符合现实。

first_img Anthropic 开放 Claude Duet 研究预览

ChainCatcher 消息,Anthropic 于 10 月 21 日开放 Claude Duet 研究预览。这是一款独立应用,Claude 作为主动型代理,会提示需要关注的事项、完成用户交代的任务,并在用户离开后继续工作;代表用户行动前会征求确认。产品面向专业人士和小企业主,提供 iOS、Android 应用及 claude.ai,研究预览包含在 Pro 和 Max 计划中,与其他 Claude 功能共用用量限额。用户需加入候补名单,目前先从美国 Pro 和 Max 用户开始。Claude Duet 围绕 Claude Opus 5.5 设计。它每天早上发送跨已连接应用的简短简报,白天监测这些应用,仅在需要关注时发消息,可处理安排会议、搭建仪表盘、财务或销售预测、原型和网页应用等任务。应用沿用 Claude 账户中的记忆、技能和已连接应用,支持打字或语音在同一持续线程中沟通,并配备带浏览器的虚拟机,不依赖用户设备保持开机。它可使用 Claude Marketplace 中超过 6,000 个连接器和插件,文中举例包括 Gmail、Slack、Intuit QuickBooks、Stripe、Gusto、LinkedIn、Docusign、HubSpot、Canva、Shopify。企业采购可使用 Stripe 的 Link 数字钱包或 Shopify 的 Shop Pay,即将支持在用户许可下用 1Password 已保存登录信息登录网站。安全方面,产品沿用可信代理框架,托管代理不直接看到密码或登录令牌,并设有自动模式分类器及提示注入防护;Anthropic 已进行红队与外部渗透测试,并将其纳入公开漏洞赏金计划。发送消息、付款、签署文件或删除内容前会展示拟执行操作并等待批准,证券交易或账户间转账即使获得批准仍被禁止。早期版本可能误读对话或误判紧急程度,核心功能围绕工作,订票等个人事务较弱,尚不能向用户展示其浏览器,目前也与主 Claude 应用分开,后台检查计入计划用量。

first_img Walt 推出 AI 代理永续合约交易,支持 ChatGPT 与 Claude

ChainCatcher 消息,据 The Defiant 报道,Telegram 加密应用 Walt(原 Wallet in Telegram)于 10 月 20 日宣布推出 AI 代理交易功能,用户可接入 The Open Platform 开发的 Mira、OpenAI 的 ChatGPT 以及 Anthropic 的 Claude,由其管理永续合约仓位。已连接的代理可获取实时永续合约价格与市场新闻,查看用户持仓、杠杆及清算风险,并根据指令开平多空仓位,还可设置止盈止损及定投等简单规则,全天候监控仓位。 在安全机制方面,AI 代理仅能操作存入专用交易账户的资金,无法提现或转账。订单执行默认关闭,代理只能分析与建议,需用户手动开启后方可实际下单。用户可自行设定代理指令与交易限额,实时查看其每一步操作,并随时断开连接。Walt 与 The Open Platform 创始人兼 CEO Andrew Rogozov 表示,传统交易应用围绕终端、图表和订单票据构建,用户需学习如何使用,而 Telegram 用户已在 Walt 中持有资金。 Walt 的永续合约业务于今年 4 月通过去中心化交易所 Lighter 上线,提供超 50 个市场,支持最高 50 倍杠杆,以 USDT 结算。该应用于 9 月 28 日由 Wallet in Telegram 更名为 Walt,其开发者称用户数超过 1.5 亿。Mira 于 2 月上线,5 月用户数突破 200 万,月活超 50 万。此外,Robinhood 上月也发布了基于专用账户的 AI 交易代理。

first_img 英国银行加密转账限制遭逾万份投诉,Lloyds 与 Barclays 被点名

ChainCatcher 消息,据 Cointelegraph 报道,加密倡导组织 Stand With Crypto 表示,在 2026 年 5 月至 8 月的 90 天期间,共有 9,803 人通过该组织的在线工具向英国银行提交了 10,092 份投诉,反映在向加密平台转账时遇到的限制。 投诉数量最多的是英国最大银行集团之一的 Lloyds Banking Group,达 2,297 份,其次是 Barclays 的 1,569 份和 NatWest Group 的 1,278 份。这些投诉令外界关注英国在 2027 年推出数字资产新监管制度前,加密服务的可及性问题。 报告显示,各英国银行在加密转账限制上做法不一。Barclays 与 HSBC UK 被列为将加密转账限制为每笔 2,500 英镑(约 3,300 美元)、每 30 天 10,000 英镑(约 13,300 美元)。包括 Starling Bank、TSB 和 Chase UK 在内的六家银行被列为完全禁止与加密相关的转账。 与此同时,Lloyds Banking Group 和 Revolut 被归类为未公布加密转账限制,尽管也收到了客户投诉。Revolut 的官方支持页面则称,向“部分加密货币交易所”的转账不受支持,Stand With Crypto 发言人表示这似乎是技术问题而非既定政策。 Zumo 创始人兼首席执行官 Nick Jones 对 Cointelegraph 表示,银行限制是英国加密创始人面临的普遍问题,可能削弱该国成为全球加密中心的雄心。他说,银行服务获取受限的问题需要紧急解决,以便英国加密企业能在公平环境中成长和扩张。 Jones 还警告,英国即将出台的加密监管制度可能无法解决该问题。尽管企业正在为 2027 年 10 月获得金融行为监管局(FCA)的强制批准做准备,但获取企业银行账户并不在该框架之内。他补充说,若缺乏协调行动,企业可能获得完整授权却仍无法开设英国企业银行账户。
app_icon
ChainCatcher 与创新者共建Web3世界