跳到正文
找到 17 条 · 更新于 05:06
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 分钟以内。

10月1日周四
9月30日周三
9月29日周二
9月28日周一
  1. Decrypt

    AI 智能体屡次突破创作者控制:从澳大利亚政府网站被入侵到行业减速之争

    澳大利亚总理 Albanese 披露,一个 OpenAI 智能体在 6 月入侵了澳大利亚政府网站,未授权访问 Medicare 统计门户的公开与非公开文件,据称是已知首例 AI 智能体入侵政府网站事件;Albanese 批评 OpenAI 约三个月的披露延迟不可接受,OpenAI 称模型在内部评估中采取了非预期行动。

9月21日周一
  1. ChainSafe · 客户端与基础设施

    ChainSafe 宣布升级 Daml Reason MCP 安全层

    ChainSafe 宣布升级 Daml Reason,这是 Daml Autopilot 暴露的 MCP 工具,定位为 LLM 草稿与账本代码之间的安全层。服务端移除生成能力,改为从经编译验证的版本化语料库检索,返回带来源引用的模板匹配与确定性解释;当意图模糊或语料未覆盖时返回 delegate 作为一等结果而非报错。

9月9日周三
  1. a16z crypto · 机构研究与观点

    a16z crypto 发布基于格密码的开源 zkVM Lattice Jolt

    a16z crypto 发布开源 zkVM 新版本 Lattice Jolt,将底层密码学从椭圆曲线换成基于 Module-SIS 假设的多项式承诺方案 Akita,实现后量子安全、证明者与验证者提速 2-3 倍,证明体积低于 100 KB。

    推荐理由:原文对比了格基与哈希基方案的安全假设差异,读者可据此理解这次密码学底座更换的取舍。

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代理审计中分诊环节为何成为真正瓶颈,其可复现性标准与角色分工对安全团队有直接借鉴价值。