跳到正文
找到 11 条 · 更新于 08:30
10月3日周六
  1. Solana 官方新闻

    Solana x AI:AI 的民主化层

    Solana 提出自身是 AI 的民主化层,通过算力、支付、开源模型、协调与应用四个层面,让任何持有密钥对的人都能接入 AI 技术栈。在算力层,GPU 时长与推理能力可代币化为链上资产,Solana 的速度足以在链上运行完整订单簿,实现透明实时定价;TEE(可信执行环境)将「信任服务商」变为「验证硬件」,链上密钥与证明可被公开核验。

10月2日周五
  1. Chainalysis Research

    Chainalysis 披露用自研 AI 追踪 Bitget 被盗 3.87 亿美元资金

    Chainalysis 披露其调查人员用自研 AI 构建定制自动化工具,追踪朝鲜关联攻击者从 Bitget 盗取的 3.87 亿美元资金。攻击发生后三小时内,资金经 23 笔转账分散至四条链:Ethereum 占 49.7%、XRP 占 40.8%、Zcash 占 7.6%、Tron 占 1.8%;据称超过 20 小时的手工跨链桥对账被压缩到 10 分钟以内。

9月30日周三
  1. CoinDesk

    Anthropic 计划投入 5180 亿美元建设 AI 基础设施,Pre-IPO 永续合约几无波动

    Anthropic 在 IPO 招股书中计划未来几年投入 5180 亿美元用于云计算与基础设施,Reuters 报道其上市估值可能超过 2 万亿美元。Anthropic 2025 年净亏损 420 亿美元(含 340 亿美元非现金会计费用),营收增长 12 倍至近 46 亿美元。Anthropic pre-IPO 永续合约周二报 1,998 美元,24 小时跌约 2%,未见明显波动。

8月20日周四
  1. Ethereum Foundation Blog

    以太坊基金会正式验证团队上线 better.codes 自主研究挑战

    以太坊基金会形式验证团队与 Yukon、zkSecurity 合作推出开放自主研究挑战 better.codes,将 Proximity Prize 研究中的自足问题 koalaIRS12 形式化为 Lean,并把其可靠性下界放到公开排行榜上。

    推荐理由:原文说明了挑战的验证机制与开放协作模式,读者可据此理解形式化验证如何被用于推进SNARK安全基准。

7月9日周四
  1. Ethereum Foundation Blog

    以太坊基金会协议安全团队:AI 代理审计的分诊才是产品

    以太坊基金会 Protocol Security 团队分享了协调多个 AI 代理审计真实协议代码的经验,其中一个代理发现的 libp2p gossipsub 远程可触发 panic 已修复并披露为 CVE-2026-34219。

    推荐理由:原文拆解了AI代理审计中分诊环节为何成为真正瓶颈,其可复现性标准与角色分工对安全团队有直接借鉴价值。