Trail of Bits 分享用 AI 智能体审计 Miden VM 的实践
Trail of Bits 分享其审计 Miden VM 的实践：在代码审查开始前，用六个月让智能体从零构建 LSP 服务器、反编译器、静态分析引擎和 Lean 模型。
推荐理由：原文展示了用智能体先造工具再审计的完整流程及其产出的具体漏洞，可迁移性强。
AI × Crypto
全部主题持续收录AI × Crypto相关的事实、研究与后续进展。
25条资讯
最新资讯
第 21–25 条 · 共 25 条Trail of Bits 官方安全研究精选
Chainalysis Research Chainalysis：朝鲜与伊朗主导区块链辅助网络攻击同比增长5.2倍
Chainalysis 研究发现，朝鲜与伊朗国家背景的运营者正在开发不同的区块链死信投递（BDD）技术，国家行为体已占 BDD 活动多数，此类攻击自中国大容量开源 AI 模型推出以来增长 440%。
Chainalysis Research精选 美国OFAC制裁中文非法市场Xinbi，司法部冻结逾5200万美元加密资产
美国财政部OFAC于9月9日制裁中文非法市场Xinbi Guarantee，司法部Scam Center Strike Force同步行动，冻结并扣押与Xinbi及其供应商网络相关的逾5200万美元加密资产，包括扣押两个钱包约1200万美元、限制另外47个钱包，并授权查封承载其市场的Telegram频道。
推荐理由：原文梳理了制裁、链上追踪与洗钱手法的完整链条，读者可据此理解监管如何定位并切断非法市场资金基础设施。
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一年来的组织变革清单，读者可据此对照其改革主张与实际落地情况。