Sky 的 Diamond PAU 完成独立形式化验证：21 项属性、5 类历史回归测试
Sky 对分配架构中的安全关键模块 Diamond PAU 完成独立形式化验证，使用 Certora Prover、Halmos 和 Foundry 组合 21 项属性，并重放 5 类历史回归测试。
#DeFi
Sky 论坛AI 评分4848 Aave 治理论坛AI 评分2222 Aave 治理论坛提议为 Polygon v3 上的 POL 借贷启用通用抵押品
Aave 治理论坛提出为 Polygon v3 市场的 POL 借贷启用通用抵押品。目前 POL 只能在 MaticX/POL eMode 内借出，而 MaticX 已停止运营，导致无法以 ETH、WBTC 或 USDC 等通用抵押品借入 POL。提案询问能否解除该限制，并追问这一参数配置最初的依据。
Aave 治理论坛AI 评分4242 Aave 提案：在以太坊 Aave V3 Core 与 Aave V4 Core Hub 上线 USAT
Aave Labs 在治理论坛提交 ARFC 提案，计划将 USAT 上线以太坊上的 Aave V3 Core Instance 和 Aave V4 Core Hub。
ethresear.ch · 全部AI 评分3838 以太坊上的隐私稳定币：基于 USDC/USDT 的私密发行与 DeFi 可组合性
一份论文提出在以太坊上构建由 USDC/USDT 支持的隐私稳定币协议，通过智能合约实现无需信任、无需许可的铸造与赎回，并支持私密或匿名交易。该资产可直接接入现有 DeFi 借贷与交易生态，并支持开发者构建原生隐私应用，以及保密交易策略、选择性披露和隐私预测市场等用例。
ethresear.ch · 经济学精选AI 评分6262 BRO-AMM 预印本提出绑定对账预言机 AMM，模拟显示 ETH 上 LP 套利损失降约 68–79%
peersky 发布预印本 BRO-AMM，提出把区块链交易终局化的思路用于价格：交易即时执行，价格在稍后的对账阶段才最终确定，超出合理范围的价差返还给流动性提供者，交易者需先缴纳保证金，守规交易者可积累信誉降低后续费用。
推荐理由：作者用六个月 ETH/USDC 交易回放模拟，量化套利损失下降幅度，并提出把价格终局化与交易者保证金结合的机制思路。
Galaxy ResearchAI 评分3434 10/10 一周年：Galaxy Research 称 190 亿美元清算事件正成为加密历史中的一个小插曲
Galaxy Research 在 10/10 一周年回顾中指出，2025 年 10 月 10 日特朗普威胁对华加征 100% 关税后 24 小时内超 190 亿美元杠杆仓位被清算，创历史最大名义去杠杆，约 162 万个账户爆仓、87% 为多单，Hyperliquid 与 Bybit 占清算量 75%。
Lido 研究论坛AI 评分2020 Lido Earn DAO 国库资金配置 — 2026 年 Q3
Lido 发布 2026 年 Q3 DAO 国库配置给 Lido Earn 的季度财务更新，500 万美元种子资金期内保持 100% 部署于 Earn 金库。截至 9 月 30 日，DAO 总持仓价值 5,791,361.23 美元，EarnUSD 金库盈利 65,877.51 美元，EarnETH 金库亏损 124.73 ETH，Q3 总损失为零，本期无奖励上缴国库。
Aave 治理论坛AI 评分2626 Aave 提案：在 Aave V3 Arbitrum 上线 USDG
Aave 治理论坛提案拟将 Paxos 发行的稳定币 USDG 上线 Aave V3 Arbitrum，作为可借入资产，不启用抵押功能。初始参数为供应上限 30,000,000、借款上限 27,600,000，采用与 USDC 相同的利率曲线，储备系数 10%，并计划使用 Chainlink USDG/USD 喂价及 1.04 价格上限的适配器。
Multicoin CapitalAI 评分3636 Multicoin Capital：算力资本市场将率先在加密轨道上落地
Multicoin Capital 提出，算力正成为全球增长最快的资产类别，围绕 GPU 现金流将出现定价、融资与对冲市场，而这类算力资本市场最适合在加密轨道上构建。
Lido 研究论坛AI 评分4242 Lido 推出 Lido Lend：基于 Morpho Blue 分叉的安全优先借贷市场
Lido 贡献者公布正在开发 Lido Lend，一个基于 Morpho Blue 修改版分叉的去中心化借贷市场，拟由 Lido DAO 治理（待治理投票通过）。该市场采用隔离借贷市场设计，面向蓝筹资产与价格相关交易对（如 stETH/ETH），并提供存款筛选与可靠退出机制。Lido 称其 stETH 质押规模已超 $25B，且自成立以来无重大安全事件，Lido Lend 将于本季度上线。
Aave 治理论坛AI 评分1212 Aave Labs 请求支付 10 月漏洞赏金 5,500 美元，涉及 GHO 低危漏洞
Aave Labs 在治理论坛请求释放一笔漏洞赏金，对应 Aave 漏洞赏金流程中一个与 GHO 相关的有效提交，该提交被定为低危级别并已通过验证。
TRM Labs精选AI 评分6262 澳大利亚数字资产监管三条轨道并行：ASIC 无行动期结束，DAP/TCP 牌照制度 2027 年生效
TRM Labs 梳理澳大利亚数字资产监管的三条并行轨道。ASIC 针对数字资产的无行动期已于 2026 年 9 月 30 日结束，未在期限内提交 AFSL 申请或变更的机构可能面临无牌经营的执法行动，罚款最高可达年营业额的 10%；截至 2026 年 9 月 2 日，ASIC 已收到超过 45 份相关牌照申请。
推荐理由：梳理澳大利亚三条并行监管轨道的时间表与适用范围，帮助从业者判断自身业务落在哪条轨道上。
Arbitrum 博客精选AI 评分6262 USDG 在 Arbitrum 上线，Fluid、Morpho、GMX、Uniswap 等首批集成
由 Paxos 发行、在新加坡和欧盟受监管的稳定币 USDG 在 Arbitrum One 上线，Fluid、Morpho、GMX、Maple、Uniswap 和 Kraken 等为首批集成方。
推荐理由：USDG 在 Arbitrum 上线并配套激励与 DAO 提案，读者可了解这条链为何选择围绕单一稳定币构建生态。
Uniswap 治理论坛AI 评分5252 Uniswap 治理论坛讨论 Robinhood Chain 上 v4 hooks 是否应标准化会话感知定价
Trisara 在 Uniswap 治理论坛发起讨论，提议在 Robinhood Chain 上为 v4 hooks 引入会话感知定价，以应对参考市场休市期间股票代币价格脱锚的问题。
Solana 新闻精选AI 评分6262 Solana 基金会推出面向金融机构的原子结算程序 Solana DvP
Solana 基金会发布开源托管程序 Solana DvP，为金融机构提供在 Solana 上进行券款对付（DvP）结算的 API，采用 MIT 许可，支持 SPL Token 和 Token-2022 及其永久委托、可暂停代币、转账钩子等扩展。
推荐理由：Solana 基金会推出面向机构的开源 DvP 托管程序，读者可了解原子结算如何替代传统多日清算链条。
Galaxy Research精选AI 评分6262 Galaxy Research：代币化股票不该盲目放进 AMM，S&P 500 全成分池一年跑输约 3%
Galaxy Research 以 S&P 500 全部 500 只成分为测试对象，回测把整个指数塞进单一 AMM 池的经济性，发现该池相对直接持有约损失 3% 的收益，在 5 个基点费率下需要约 45 倍年换手率才能打平，而 SPY 在传统金融的年换手率约为 16 倍。
推荐理由：用 S&P 500 全成分池回测拆解无常损失，给出分散度、偏度、峰度与盈亏平衡换手率的量化框架，可迁移到代币化股票的 AMM 选池。
Sky 论坛AI 评分4242 Sky 的 stUSDS keeper 启动：2026-10-08 核心 spell 将白名单 keeper EOA
Sky 计划在 2026-10-08 核心 spell 中，将 keeper 使用的 EOA 加入 StUsdsRateSetter 白名单，以自动化 stUSDS 模块的参数调整。
Aave 治理论坛AI 评分5050 Aave 治理论坛讨论为 CCIP 2.0 上的跨链 GHO 增加发行方控制的验证者 Countersign
Countersign 是面向 Chainlink CCIP 2.0 的发行方运营跨链验证者（CCV），以 CRE 工作流运行、无需自建服务器，已在公共测试网运行。
Solana 新闻AI 评分2222 Solana x AI：AI 民主化层
Solana 提出以自身作为 AI 的"民主化层"，通过算力、支付、开源模型、协调与应用五个方向降低 AI 参与门槛。其方案包括将 GPU 时长与推理容量代币化并在链上运行完整订单簿，以及用 TEE 实现可验证的私密推理，让支付与硬件证明挂钩。模型层则借助 Nous Research 的 Psyche 网络，把分布式训练与 RL 环境的验证、激励结算放到 Solana 上完成。
以太坊基金会博客精选AI 评分7272 以太坊基金会与 Open Anonymity 推出 zkAPI，用零知识证明为 API 提供匿名付费额度
以太坊基金会与 Open Anonymity Project 推出 zkAPI，用户先把 ETH、USDC 等 credits 存入以太坊主网的 vault 合约，再用零知识证明授权有上限的 API 用量，使支付层与 API 提供方都无法把请求与身份关联。
推荐理由：zkAPI 把支付与身份拆成两层，读者可以了解零知识证明如何用于计量 API 的匿名付费。
a16z cryptoAI 评分4242 a16z crypto：区块链创造净新增市场
a16z crypto 发文提出，区块链通过免许可发行和全球分发移除了市场供给瓶颈，将催生大量净新增市场。文中称 7 月链上 RWA 永续合约成交量达到 1.4 万亿美元运行率，占 Hyperliquid 订单簿的一半。作者认为 Hyperliquid 的 HIP-3 和 HIP-4 让用户可自行发行衍生品，是这一逻辑的最直接证明。
Multicoin Capital精选AI 评分6060 Multicoin 宣布投资 Grass，称其已跑通 DePIN 商业收入
Multicoin 宣布通过对冲基金和风投基金投资 Grass，认为它是 DePIN 在商业规模上运行的清晰案例。Grass 通过代币激励招募贡献者共享闲置带宽，为 AI 实验室提供预训练数据，2025 年收入 1700 万美元，2026 年上半年再录得 1700 万美元，并给出 2026 年训练数据收入 7500 万美元的指引。
推荐理由：Multicoin 披露投资 Grass 的逻辑，并给出其训练数据收入与推理时检索市场的规模测算，可据此理解 DePIN 代币激励如何过渡到商业收入。
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 原语。
rekt.news精选AI 评分8282 Nostra 遭预言机操纵，NSTR 抵押价被抬高 8306 倍借出约 350 万美元
Starknet 上的 Nostra 借贷市场遭预言机价格操纵，一个账户用被抬高的 NSTR 抵押借出约 350 万美元的 ETH、STRK、USDC、USDT、WBTC 和 DAI，Nostra 已暂停借贷、提现与清算。
推荐理由：复盘还原了预言机把两个价差悬殊的报价取中值、进而授权借贷的链条，可用来对照其他协议的喂价风控设计。
a16z crypto精选AI 评分6262 a16z 与 DeFi Education Fund 提议为 DEX 设立交易所注册安全港
a16z crypto 与 DeFi Education Fund 向美国 SEC 提交提案，建议为去中心化交易所协议（DEX）及提供访问入口的应用（DEX App）设立安全港，使其在满足条件时不被认定为《交易法》下的交易所。
推荐理由：a16z 与 DeFi Education Fund 联合提交的安全港提案，给出 DEX 与 DEX App 免于交易所注册的四项客观标准，可供比较不同监管路径。
Uniswap 治理论坛精选AI 评分6262 Uniswap 提案将协议费用与 UNI 销毁扩展至 Circle 的 L1 Arc
Uniswap Labs 在治理论坛发起温度检查提案，计划把协议费用的收集与 UNI 销毁基础设施扩展到 Circle 为金融场景构建的 L1 Arc，并在 Arc 上启用 v2、v3 和 v4 的协议费用。
推荐理由：提案把协议费用与 UNI 销毁机制扩展到 Circle 的 L1 Arc，读者可了解跨链治理与合成 UNI 销毁路径如何运作。
Optimism 博客AI 评分3636 财富 500 强企业如何通过专用合规链接入机构级 DeFi
大型企业正通过在 OP Stack 上部署自有链进入机构级 DeFi，获得预留区块空间、链级合规控制与自主交易经济，同时仍结算至以太坊以接入公共流动性。
Uniswap 治理论坛AI 评分2222 Uniswap 治理论坛提议轮换 Uniswap Earn 金库的 Sentinel 地址
Uniswap 治理论坛发起温度检查提案，拟通过 Timelock 调用 setIsSentinel 六次，为 DUNI 持有的三个 Uniswap Earn Morpho Vaults V2（uniUSDC、uniUSDT、uniETH，均在以太坊主网）各授予一个新 Gauntlet Sentinel 地址并撤销对应旧地址。
Lido 博客AI 评分5858 Lido V3 与 Stakely 推出基于 stVaults 的公共及机构 ETH 质押产品
Stakely 基于 Lido 协议的模块化质押基础设施 stVaults 推出两款产品：面向所有人的公共质押金库，以及按客户定制的机构专用金库。公共金库通过 DeFi Wrapper 让用户存入 ETH 后获得 ERC-20 份额代币，金库内 ETH 被质押并自动以 stETH 形式投入 Lido 的 ETH DeFi 策略 EarnETH，参与者无需自行管理 stETH。
Lido 博客精选AI 评分7878 Lido DAO 推出 NEST 机制，用协议收入自动回购 LDO
Lido DAO 发布 NEST（Network Economic Support Tokenomics）机制，将协议质押收入超过运营基线后的盈余按 50% 用于通过 CoW Swap 每日回购 LDO，由 DAO 国库盈余出资。
推荐理由：NEST 把协议质押收入与 LDO 回购绑定，并给出收入基线、盈余分成与双重上限，读者可据此比较它与其他协议价值捕获设计的差异。
Uniswap 治理论坛AI 评分2222 Uniswap 论坛 RFC：基于 Unichain 的 Web4 自治状态引擎，用 ERC-6551 与 Sovereign ERC-721 强制转移实现动态资产编排
Uniswap 治理论坛出现一份 RFC，提出在 Unichain 上结合 ERC-6551 与定制 Sovereign ERC-721 强制转移，把静态 NFT 变成可执行的状态引擎，并以游戏 Seeds & Bones 作为演示场景。
Arbitrum 博客AI 评分88 ZeroDev 如何简化钱包、Gas 与跨链摩擦
Offchain 旗下 ZeroDev 为 Arbitrum 上的开发者提供可编程账户套件，包含 Smart Accounts、Ultra Relay、Embedded Wallet、Orchestration 与 Smart Routing Address，用于替代助记词、赞助 Gas 并协调跨链资金与权限。
Uniswap 治理论坛AI 评分4242 Uniswap 治理论坛 RFC：通过 v4 Hooks 与 UniswapX 在 Uniswap 界面引入原生执行隐私
SilentSwap 核心开发团队在 Uniswap 治理论坛发起 RFC，提议通过 Uniswap v4 Hooks 和/或 UniswapX 在 Uniswap 官方界面与钱包中集成可选的“Swap Privately”隐私执行路径，隐私交易仍针对 Uniswap 流动性执行。
Multicoin CapitalAI 评分5252 Multicoin 发布 Hyperliquid (HYPE) 分析与估值报告
Multicoin Capital 发布对 Hyperliquid (HYPE) 的完整分析与估值报告，称其自项目早期持续跟踪并在今年初建立大额仓位，HYPE 目前是其流动性基金最大持仓之一。