BTC $81,673.64 +0.40%
ETH $2,407.86 +1.09%
BNB $747.11 +2.51%
XRP $1.31 -0.77%
SOL $104.71 +0.58%
TRX $0.3293 -0.27%
DOGE $0.0800 +1.46%
ADA $0.2162 +1.25%
BCH $287.08 +4.45%
LINK $12.04 +0.68%
HYPE $78.53 +0.75%
AAVE $147.71 +0.77%
SUI $0.9904 +1.28%
XLM $0.1768 +0.31%
ZEC $1,247.17 +1.90%
AAPL $347.49 +0.52%
AMZN $249.92 -0.62%
GOOGL $323.70 -0.94%
MSFT $525.91 +0.27%
META $646.85 -0.01%
NVDA $212.45 -0.23%
TSLA $373.08 -1.72%
SNDK $1,276.44 +1.02%
INTC $87.35 +1.03%
SPCX $147.90 -0.46%
MU $888.95 +3.54%
AMD $518.79 +1.82%
BTC $81,673.64 +0.40%
ETH $2,407.86 +1.09%
BNB $747.11 +2.51%
XRP $1.31 -0.77%
SOL $104.71 +0.58%
TRX $0.3293 -0.27%
DOGE $0.0800 +1.46%
ADA $0.2162 +1.25%
BCH $287.08 +4.45%
LINK $12.04 +0.68%
HYPE $78.53 +0.75%
AAVE $147.71 +0.77%
SUI $0.9904 +1.28%
XLM $0.1768 +0.31%
ZEC $1,247.17 +1.90%
AAPL $347.49 +0.52%
AMZN $249.92 -0.62%
GOOGL $323.70 -0.94%
MSFT $525.91 +0.27%
META $646.85 -0.01%
NVDA $212.45 -0.23%
TSLA $373.08 -1.72%
SNDK $1,276.44 +1.02%
INTC $87.35 +1.03%
SPCX $147.90 -0.46%
MU $888.95 +3.54%
AMD $518.79 +1.82%

op

Op 通常是指 Optimism,这是一个基于以太坊的二层扩展解决方案,旨在通过乐观汇总(Optimistic Rollup)技术提高交易吞吐量和降低交易成本。Optimism 通过将大量交易批量处理并提交到以太坊主网,实现了更高效的交易处理,同时保持了以太坊的安全性和去中心化特性。它为去中心化应用提供了更好的可扩展性和用户体验。
全部
文章
快讯

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 二进制,且证明检查器不能判断规格是否符合现实。

Anthropic 拟最快 11 月中旬上市,市场讨论估值约 1.5 万亿美元

ChainCatcher 消息,人工智能公司 Anthropic 计划最快于 11 月中旬上市,市场讨论给予约 1.5 万亿美元 IPO 估值,较今年 5 月 9650 亿美元融资估值高出约 55%。按该潜在估值测算,Spark Capital 于 2023 年投资 7500 万美元,持股价值可能约 109 亿美元,当年估值约 50 亿美元并获董事会席位,为目前唯一已知拥有董事席位的风投。Sound Ventures 首笔投资 3500 万美元后追加 4 亿美元,由 Guy Oseary 与 Ashton Kutcher 共同创办并于 2023 年入场,持股价值达数十亿美元。Menlo Ventures 累计投入超过 10 亿美元,持股价值约 218 亿美元,含一笔 5 亿美元 D 轮,2023 年 5 月首次入场。Iconiq 于 2025 年入场,累计投入超过 60 亿美元,持股价值可能约 264 亿美元,首次投资时估值已达 1830 亿美元。红杉资本今年开始投资,累计约 30 亿美元,约持有 1% 股份,价值约 150 亿美元,此前已投资 OpenAI 和 xAI。新加坡主权财富基金 GIC 于 2025 年首次投资,累计超过 45 亿美元,约持有 1% 股份,价值约 150 亿美元。Google 前 CEO Eric Schmidt 于 2021 年投入数千万美元,约持有 1% 股份,价值约 150 亿美元。FTX 于 2021 年投资 5 亿美元,最初持股 13.56%,2024 年稀释至 7.84%,破产清算后卖光股份,回收约 13 亿美元,实际收益约 8 亿美元。按未再稀释的 7.84% 与 1.5 万亿美元估值测算,理论价值约 1176 亿美元,比实际卖价高约 1163 亿美元,测算未计入后续融资稀释。2024 年 FTX 分批卖掉全部 Anthropic 股份,首批约 8.84 亿美元交易涉及 24 家买家,阿布扎比主权财富基金 Mubadala 关联公司 ATIC 买入约 5 亿美元,Jane Street 买入 1 亿美元,富达旗下基金买入 4500 万美元。Lightspeed 持股不足 2%,Google、亚马逊、英伟达、微软以及 Founders Fund、Coatue、Altimeter 等亦有投资,公开持仓数据不够完整,无法逐家准确计算回报。

SkyAI 遭主要股东施压问责 SOL 清仓决策,韩国美利兹证券联手 Optimism 探索代币化基建

ChainCatcher 消息,据 BBX 数据,昨日全球美股上市企业与主流金融机构在加密资产财库处置、公司治理问责及 Layer 2 证券代币化合作上披露了最新动态,核心信息如下: 持有 SkyAI 约 9.99% 股份的股东 Bastion Trading 发声明施压,问责 SOL 清仓并要求重组董事会: 持有纳斯达克上市公司 SkyAI (NASDAQ: $SKYA) 约 9.99% 股份的主要股东 Bastion Trading 正式发布声明,要求 SkyAI 执行董事长 Paul K. Danner III 以及三位董事 Soren Bo Christiansen、Timothy J. Ruemler 和 Jason L. Monroe 公开说明各自在评估、批准要约收购以及监督公司清仓全部 SOL 过程中所扮演的具体角色,包括由谁授权并监督清仓、审查交易时机、执行方式、交易对手方及交易成本。 韩国美利兹证券与 Optimism 基金会签署 MOU,基于 OP Stack 探索代币化金融资产清算: 韩国主流金融机构美利兹证券(Meritz Securities)宣布与 Optimism 基金会 签署谅解备忘录(MOU)。双方将联合研究基于 OP Mainnet 等 OP Stack 网络的代币化金融资产(Tokenized Financial Assets)发行、结算及分销架构,深入探索以以太坊公共 Layer 2 作为金融级分销与清算基础设施的商业可行性。美利兹证券表示,将在法律及牌照合规框架内,重点探索以韩国本土优质资产为底层的代币化金融产品,并结合韩国证券型代币(STO)法规进展推进落地。此前,韩国 KB 证券与 DB 证券亦已相继接入 OP Stack 生态探索相关代币化业务。

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 应用分开,后台检查计入计划用量。
app_icon
ChainCatcher 与创新者共建Web3世界