BTC $80,778.49 -0.22%
ETH $2,330.58 -0.98%
BNB $744.04 -0.75%
XRP $1.29 -3.03%
SOL $100.55 -1.48%
TRX $0.3310 +0.35%
DOGE $0.0792 -0.25%
ADA $0.2024 -0.81%
BCH $288.58 +1.70%
LINK $11.68 -0.04%
HYPE $94.68 +17.06%
AAVE $133.38 -1.05%
SUI $0.9312 -0.56%
XLM $0.1696 -1.01%
ZEC $1,324.41 +3.08%
AAPL $350.44 +1.58%
AMZN $245.64 -3.42%
GOOGL $283.56 -13.05%
MSFT $529.41 0.00%
META $629.16 +2.42%
NVDA $213.05 -1.68%
TSLA $405.53 +0.38%
SNDK $1,328.07 -5.10%
INTC $91.46 -4.15%
SPCX $143.66 -0.93%
MU $930.10 -5.30%
AMD $563.16 -2.42%
BTC $80,778.49 -0.22%
ETH $2,330.58 -0.98%
BNB $744.04 -0.75%
XRP $1.29 -3.03%
SOL $100.55 -1.48%
TRX $0.3310 +0.35%
DOGE $0.0792 -0.25%
ADA $0.2024 -0.81%
BCH $288.58 +1.70%
LINK $11.68 -0.04%
HYPE $94.68 +17.06%
AAVE $133.38 -1.05%
SUI $0.9312 -0.56%
XLM $0.1696 -1.01%
ZEC $1,324.41 +3.08%
AAPL $350.44 +1.58%
AMZN $245.64 -3.42%
GOOGL $283.56 -13.05%
MSFT $529.41 0.00%
META $629.16 +2.42%
NVDA $213.05 -1.68%
TSLA $405.53 +0.38%
SNDK $1,328.07 -5.10%
INTC $91.46 -4.15%
SPCX $143.66 -0.93%
MU $930.10 -5.30%
AMD $563.16 -2.42%

规模

全部
文章
快讯

first_img 韩国警方逮捕 7 人,首例大规模 AI 辅助黑客攻击案

ChainCatcher 消息,首尔警方逮捕 7 名涉嫌利用生成式 AI 发动黑客攻击的嫌疑人。首尔地方警察厅称,涉案组织约 90 家,共窃取 820 万条记录,这是韩国首次抓捕大规模 AI 辅助黑客攻击的嫌疑人。受害目标包括医院、大学、私立补习班、高尔夫球场及大型企业集团子公司,这些机构掌握大量普通民众姓名、联系方式与记录。其中一家殡葬服务企业丢失 122 万条记录,有报道称补习班数据还包含未成年人信息。据当地媒体报道,主犯现年 32 岁,学的是文艺与体育专业,没有 IT 背景。他向调查人员称通过 YouTube 和网络博客自学黑客技术,警方则指出其曾于 2019 年至 2022 年在一家安全公司从事模拟攻击工作。他先使用网站漏洞扫描工具,8 月底又引入 AI 编码代理和自动化渗透测试系统 Artex,警方称他在 8 月 31 日至 10 月 13 日的 44 天内入侵 60 家公司。整个攻击行动持续约 13 个月,从 2025 年 9 月至今年 10 月,案件于 6 月因一名受害者报案而立案。警方表示,如此规模的攻击过去需要黑客团伙才能完成,AI 如今让一个人短时间内即可实现。犯罪嫌疑人向 38 名受害者发送邮件,合计勒索 3.6 亿韩元,约合 27.2 万美元,但唯一确认的付款为 30 万韩元,约合 210 美元。主犯已于上周五被羁押移送检方,面临违反韩国信息通信网络法以及敲诈勒索、敲诈未遂等指控。警方将继续调查另外 6 名同伙并确认更多受害者,目前已有 15 家机构报告受损。

Gate 创始人及 CEO Dr. Han:Gate Money 让股票买咖啡成为现实,目标一至两年内用户规模翻倍

ChainCatcher 消息,据 Gatecast 最新一期播客内容,Gate 创始人及 CEO Dr. Han 分享了 Gate Money 的产品理念与未来规划。他表示,Gate 正将多年积累的经验延伸至资产管理与日常支付领域,触达更广泛的用户群体,并以未来一至两年 Gate Money 用户规模翻倍为目标。凭借多年交易业务积累的技术系统、机构客户及做市流动性,Gate 支持多类资产之间的兑换;依托全球牌照布局以及与银行、支付网络的合作,Gate Money 则为用户资金收付与消费应用创造条件。这些能力共同构成 Gate Money 的运行基础,使平台能够在不同使用场景中降低兑换及资金流转成本。通过持有、兑换、增值与支付等多项能力,Gate Money 将多种类型的资产与生活需求连接起来。Dr. Han 以“用股票买咖啡”举例,展现资产在投资之外的消费用途。在符合条件的地区,用户可开设本人名下的银行账户,沿用熟悉的收付方式,由底层区块链技术处理转账;闲置资金也可通过收益产品参与增值。展望未来,Dr. Han 还分享了 AI Agent 全天候辅助资产配置与资金管理的应用前景。随着投资、财富管理与日常支付的融合,Gate Money 将持续拓展各类资产的应用边界,推动 Gate 的服务深入更多日常生活场景。

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 二进制,且证明检查器不能判断规格是否符合现实。
app_icon
ChainCatcher 与创新者共建Web3世界