Sky 的 Diamond PAU 完成独立形式化验证：21 项属性、5 类历史回归测试
Sky 对分配架构中的安全关键模块 Diamond PAU 完成独立形式化验证，使用 Certora Prover、Halmos 和 Foundry 组合 21 项属性，并重放 5 类历史回归测试。
#Sky
Sky 论坛AI 评分4848
CertiK 博客精选AI 评分6262 CertiK 复盘 MakerDAO 遗留拍卖 keeper 合约被盗 200 ETH 事件
CertiK 分析称，2026 年 10 月 6 日 06:13:11 UTC，攻击者从以太坊主网一个遗留拍卖 keeper 合约中取走 200 ETH 的 ETH-A 抵押品，当时价值 542,982 美元。
推荐理由：复盘了遗留拍卖 keeper 合约缺失访问控制导致 200 ETH 被取走的完整链路，可看到旧合约授权残留的风险。