Sky 的 Diamond PAU 完成独立形式化验证：21 项属性、5 类历史回归测试
Sky 对分配架构中的安全关键模块 Diamond PAU 完成独立形式化验证，使用 Certora Prover、Halmos 和 Foundry 组合 21 项属性，并重放 5 类历史回归测试。
#DeFi
Sky 论坛AI 评分4848
Aave 治理论坛AI 评分1212 Aave Labs 请求支付 10 月漏洞赏金 5,500 美元，涉及 GHO 低危漏洞
Aave Labs 在治理论坛请求释放一笔漏洞赏金，对应 Aave 漏洞赏金流程中一个与 GHO 相关的有效提交，该提交被定为低危级别并已通过验证。
rekt.news精选AI 评分8282 Nostra 遭预言机操纵，NSTR 抵押价被抬高 8306 倍借出约 350 万美元
Starknet 上的 Nostra 借贷市场遭预言机价格操纵，一个账户用被抬高的 NSTR 抵押借出约 350 万美元的 ETH、STRK、USDC、USDT、WBTC 和 DAI，Nostra 已暂停借贷、提现与清算。
推荐理由：复盘还原了预言机把两个价差悬殊的报价取中值、进而授权借贷的链条，可用来对照其他协议的喂价风控设计。