Trail of Bits 分享用 AI 智能体审计 Miden VM 的实践
Trail of Bits 分享其审计 Miden VM 的实践：在代码审查开始前，用六个月让智能体从零构建 LSP 服务器、反编译器、静态分析引擎和 Lean 模型。
推荐理由：原文展示了用智能体先造工具再审计的完整流程及其产出的具体漏洞，可迁移性强。
AI × Crypto
全部主题持续收录AI × Crypto相关的事实、研究与后续进展。
68条资讯
最新资讯
第 61–68 条 · 共 68 条Trail of Bits 官方安全研究精选
Chainalysis Research Chainalysis：朝鲜与伊朗主导区块链辅助网络攻击同比增长5.2倍
Chainalysis 研究发现，朝鲜与伊朗国家背景的运营者正在开发不同的区块链死信投递（BDD）技术，国家行为体已占 BDD 活动多数，此类攻击自中国大容量开源 AI 模型推出以来增长 440%。
TRM Labs · 链上安全与执法研究 OFAC 制裁伊朗数字资产交易所 BitBank，扩大对 Babak Zanjani 网络的行动
2026年9月17日，美国财政部外国资产控制办公室（OFAC）将伊朗数字资产交易所 BitBank 列入制裁名单，称其为受制裁伊朗金融家 Babak Zanjani 控制的重点数字资产项目，并制裁了 BitBank 开发商 Pishtaz Simorgh Electronic Trade Company 及 Zanjani 的 Dot One 网络中三名高管。
Eigen Labs · 官方技术研究精选 Eigen Labs 发布 ECDSA.fail 预印本：开放众包优化 secp256k1 点加量子电路
Eigen Labs 在 arXiv 发布 ECDSA.fail 预印本，介绍其发起的开放众包项目在约两个月内由 100 多名参与者及其 AI 代理共同产出 secp256k1 点加电路。
推荐理由：原文交代了从私有验证器到开放众包的完整路径，读者可理解可执行验证如何让分布式人机协作累积进展。
Chainalysis Research精选 美国OFAC制裁中文非法市场Xinbi，司法部冻结逾5200万美元加密资产
美国财政部OFAC于9月9日制裁中文非法市场Xinbi Guarantee，司法部Scam Center Strike Force同步行动，冻结并扣押与Xinbi及其供应商网络相关的逾5200万美元加密资产，包括扣押两个钱包约1200万美元、限制另外47个钱包，并授权查封承载其市场的Telegram频道。
推荐理由：原文梳理了制裁、链上追踪与洗钱手法的完整链条，读者可据此理解监管如何定位并切断非法市场资金基础设施。
TRM Labs · 链上安全与执法研究 TRM Labs 宣布以 20 亿美元估值扩展 C 轮融资
TRM Labs 于 9 月 9 日宣布战略 C 轮扩展融资，投后估值 20 亿美元，由 Blockchain Capital 领投，较 2026 年 2 月 C 轮估值翻倍，同期 ARR 三年增长至四倍。
Ethereum Foundation Blog精选 以太坊基金会协议安全团队：AI 代理审计的分诊才是产品
以太坊基金会 Protocol Security 团队分享了协调多个 AI 代理审计真实协议代码的经验，其中一个代理发现的 libp2p gossipsub 远程可触发 panic 已修复并披露为 CVE-2026-34219。
推荐理由：原文拆解了AI代理审计中分诊环节为何成为真正瓶颈，其可复现性标准与角色分工对安全团队有直接借鉴价值。
Ethereum Foundation Blog精选 Tomasz 宣布卸任 EF 联合执行总监，Bastian Aue 接任
Tomasz 宣布将于 2026 年 2 月底卸任以太坊基金会（EF）联合执行总监一职，Bastian Aue 将与 Hsiao-Wei 共同接任。他回顾了过去一年 EF 的改革成果，包括加速决策、引入薪酬与财务政策、提升透明度、明确 L1–L2 关系等目标已完成或持续改善，并提到 EF 将很快发布合并后的 LEAN Ethereum 与核心开发路线图提案。
推荐理由：作者在卸任之际回顾了EF一年来的组织变革清单，读者可据此对照其改革主张与实际落地情况。