Sky 的 Diamond PAU 完成独立形式化验证：21 项属性、5 类历史回归测试
Sky 对分配架构中的安全关键模块 Diamond PAU 完成独立形式化验证，使用 Certora Prover、Halmos 和 Foundry 组合 21 项属性，并重放 5 类历史回归测试。
#漏洞披露
Sky 论坛AI 评分4848
CertiK 博客精选AI 评分8484 HOT Omni Bridge 遭攻击损失 386 万美元，CertiK 复盘 NEAR Intents 退款逻辑缺陷
2026 年 9 月 30 日，NEAR 上的 HOT Omni Bridge 遭攻击，攻击者通过 5 笔 BSC 国库提款共取走 386 万美元。
推荐理由：复盘拆解了跨链桥三层记账中信用与背书脱钩的根因，以及退款上限缺失如何被放大成超额提款。
Bitcoin OptechAI 评分3232 Bitcoin Optech Newsletter #425：Eclair 两个 DoS 漏洞披露与钱包标签同步提案
Eclair v0.13.1 及更早版本存在两个 DoS 漏洞，均可仅凭一次 BOLT8 握手触发，已在 5 月发布的 Eclair v0.14.0 中修复，旧版本用户应尽快升级。Jakub 提出通过共享的不可信存储在不同钱包间同步标签，钱包从 descriptor 的规范形式派生存储位置与加密密钥，记录以写入时间决定优先级，Bitcoin Safe 钱包已用 Nostr 实现该同步。
rekt.news精选AI 评分8787 Bitget 遭攻击损失 3.875 亿美元，私钥未泄露而钱包系统执行伪造提款指令
Bitget 在 9 月 24 日遭攻击，损失 3.875 亿美元，涉及以太坊及其他 EVM 网络、XRP、Zcash 和 TRON，是 2026 年迄今规模最大的加密盗窃事件。
推荐理由：复盘还原了攻击者借第三方安全产品零日漏洞获取内部凭证、由钱包系统执行伪造提款指令的路径，以及资金经 THORChain 等渠道转移与冻结的实际情况。
rekt.news精选AI 评分8282 Nostra 遭预言机操纵，NSTR 抵押价被抬高 8306 倍借出约 350 万美元
Starknet 上的 Nostra 借贷市场遭预言机价格操纵，一个账户用被抬高的 NSTR 抵押借出约 350 万美元的 ETH、STRK、USDC、USDT、WBTC 和 DAI，Nostra 已暂停借贷、提现与清算。
推荐理由：复盘还原了预言机把两个价差悬殊的报价取中值、进而授权借贷的链条，可用来对照其他协议的喂价风控设计。
慢雾 SlowMist精选AI 评分6969 慢雾披露 PolinRider 投毒 Laravel Nova 扩展包，用以太坊交易充当 C2 管理器
慢雾威胁情报团队披露 PolinRider 活动投毒 Packagist 上的 Laravel Nova 扩展包 visanduma/nova-two-factor，累计下载量超过 70 万次，恶意代码被追加在 tailwind.config.js 末尾，由前端构建触发。
推荐理由：慢雾披露 PolinRider 通过被投毒的 Laravel Nova 扩展包植入加载器，并用以太坊交易接收地址充当 C2 地址解析，读者可了解这条从构建配置到跨平台窃密器的完整投递链。
慢雾 SlowMist精选AI 评分8585 慢雾复盘 FomoPeek 恶意 App：1.1 与 1.2 版本植入内核漏洞框架，窃取钱包私钥并归集 57.9 万 USDT
慢雾安全团队与 OKX 安全团队联合分析确认，FomoPeek 1.1 和 1.2 版本内置 apptrace 与 libapptracecore 两个恶意模块，具备远程配置、内核漏洞利用、沙箱逃逸、Keychain 解密和跨应用数据收集能力，通过官方 App Store 渠道分发。
推荐理由：复盘完整还原了从 App Store 官方版本植入恶意框架到内核提权、Keychain 解密与资金跨链归集的全链条，可了解移动端钱包私钥泄露的路径与资金流向。
EigenLayer 论坛精选AI 评分6262 EigenLayer 发布 ELIP-019 修复排队罚没份额记账缺陷，升级至 v1.13.1
EigenLayer 已执行 ELIP-019，以 v1.13.1 版本修复 DelegationManager 中排队罚没份额的记账缺陷。
推荐理由：EigenLayer 披露了排队罚没份额记账缺陷的修复细节与 deploy-at-execution 升级流程，可供研究协议升级与漏洞披露节奏的读者参考。