Sky 的 Diamond PAU 完成独立形式化验证：21 项属性、5 类历史回归测试
Sky 对分配架构中的安全关键模块 Diamond PAU 完成独立形式化验证，使用 Certora Prover、Halmos 和 Foundry 组合 21 项属性，并重放 5 类历史回归测试。
#Sky
Sky 论坛AI 评分4848
Sky 论坛精选AI 评分6060 Moody's 首次对 Sky Protocol 授予交易对手风险评级
Moody's Ratings 对 Sky Protocol 授予交易对手风险评级，这是该机构首次对稳定币协议发布评级，Sky Protocol 也成为首个同时获得 Moody's 与 S&P Global 评级的 DeFi 协议。
推荐理由：Sky 成为首个获 Moody's 与 S&P 双评级的 DeFi 协议，读者可了解机构信用评级框架如何切入稳定币协议评估。
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 被取走的完整链路，可看到旧合约授权残留的风险。
Sky 论坛AI 评分88 如何将 Maker 转换为 SKY
一名 Exodus 钱包用户因未及时将 MAKER 兑换为 SKY，而多数交易所已不再交易 MAKER，在 Sky 论坛发帖求助转换方法。该用户还询问能否直接将 MAKER 转入支持 SKY 交易的交易所账户。
Sky 论坛AI 评分3434 Sky 发布 stUSDS Keeper 元参数初始配置
BA Labs 作为 Core Council Risk Advisor 发布 stUSDS keeper 元参数建议值，Soter Labs 已执行 stUSDS-BEAM 初始配置更新，将 str、duty、cap、line 从多签手动更新改为 TechOps keeper 自动更新。
Sky 论坛AI 评分4242 Sky 的 stUSDS keeper 启动：2026-10-08 核心 spell 将白名单 keeper EOA
Sky 计划在 2026-10-08 核心 spell 中，将 keeper 使用的 EOA 加入 StUsdsRateSetter 白名单，以自动化 stUSDS 模块的参数调整。
Multicoin CapitalAI 评分3838 Multicoin Capital：RWA 上链将催生 DeFi 2.0 原语
Multicoin Capital 在系列文章第四篇中提出，随着国债、股票、公司信用、商品、外汇等 RWA 上链，DeFi 原语将从为 BTC、ETH、SOL、HYPE 等原生加密资产设计的 AMM、CDP 稳定币、浮动利率借贷池和永续合约，转向 CLOB、RFQ、propAMM、固定利率借贷、金库、利率衍生品、回购、暗池、组合保证金、期权和定期期货等 DeFi 2.0 原语。