Sky 的 Diamond PAU 完成独立形式化验证：21 项属性、5 类历史回归测试
Sky 对分配架构中的安全关键模块 Diamond PAU 完成独立形式化验证，使用 Certora Prover、Halmos 和 Foundry 组合 21 项属性，并重放 5 类历史回归测试。
全部加密动态
Sky 论坛AI 评分4848 Delving BitcoinAI 评分3838 Luke Carriere 提出 BIP 草案，标准化比特币联合签名者花费策略
Luke Carriere 在 Delving Bitcoin 发布 BIP 草案，为联合签名者（co-signer）的花费策略制定统一格式，覆盖开放验证、盲化验证和 enclave 验证三种模式，条件可取自交易本身或外部证明。
Aave 治理论坛AI 评分2222 Aave 治理论坛提议为 Polygon v3 上的 POL 借贷启用通用抵押品
Aave 治理论坛提出为 Polygon v3 市场的 POL 借贷启用通用抵押品。目前 POL 只能在 MaticX/POL eMode 内借出，而 MaticX 已停止运营，导致无法以 ETH、WBTC 或 USDC 等通用抵押品借入 POL。提案询问能否解除该限制，并追问这一参数配置最初的依据。
Ethereum Magicians · EIP精选AI 评分6262 EIP-8440 提出执行链证明，让执行层同步变为常数时间
以太坊 Magicians 论坛发布 EIP-8440 执行链证明的讨论帖，节点只需验证一个递归证明，即可确认从头部信标区块回溯至证明起点的每个 payload 都有效执行，并确认其与信标链的绑定关系。
推荐理由：EIP-8440 用递归证明替代执行层全量重放，读者可了解它对节点同步成本与共识层规范的影响。
Aave 治理论坛AI 评分4242 Aave 提案：在以太坊 Aave V3 Core 与 Aave V4 Core Hub 上线 USAT
Aave Labs 在治理论坛提交 ARFC 提案，计划将 USAT 上线以太坊上的 Aave V3 Core Instance 和 Aave V4 Core Hub。
Arbitrum 治理论坛AI 评分2222 Arbitrum RAD 预算季度审查：2026 年 Q4 各类别预算维持不变
Arbitrum 的 Rewarding Active Delegates（RAD）完成季度审查，OpCo 决定 2026 年 Q4 各类别预算维持不变，链上宪法级法定人数提案预算为 10,000 美元、支付上限 550 美元，链上非宪法级与链下决策、链下选举均为 5,000 美元、上限 400 美元，链下温度检查为 3,000 美元、上限 250 美元。
ethresear.ch · 全部AI 评分3838 以太坊上的隐私稳定币：基于 USDC/USDT 的私密发行与 DeFi 可组合性
一份论文提出在以太坊上构建由 USDC/USDT 支持的隐私稳定币协议，通过智能合约实现无需信任、无需许可的铸造与赎回，并支持私密或匿名交易。该资产可直接接入现有 DeFi 借贷与交易生态，并支持开发者构建原生隐私应用，以及保密交易策略、选择性披露和隐私预测市场等用例。
Arbitrum 治理论坛AI 评分2222 Arbitrum 基金会发布 MSS 交接报告：2026 年 Q3 仅剩 Stylus Sprint 与 DIP 两项计划
Arbitrum 基金会发布最后一期 MSS 交接报告，覆盖 2026 年 7 月至 9 月。ArbitrumDAO 投票结束 MSS 后，其资金已移交 Arbitrum 基金会管理，七项计划中仅 Stylus Sprint 和 Delegate Incentive Program（DIP）仍活跃。
Lido 研究论坛AI 评分4242 Lido 预提案：为验证者基础设施设立后量子就绪工作组
Lido 研究论坛发布预提案，建议成立小型工作组推进验证者基础设施的后量子就绪，工作范围包括盘点验证者密钥、DVT 集群、CSM、预言机与委员会密钥及提款凭证等持钥面，并起草面向节点运营者的密钥轮换迁移手册。
ethresear.ch · 经济学精选AI 评分6262 BRO-AMM 预印本提出绑定对账预言机 AMM，模拟显示 ETH 上 LP 套利损失降约 68–79%
peersky 发布预印本 BRO-AMM，提出把区块链交易终局化的思路用于价格：交易即时执行，价格在稍后的对账阶段才最终确定，超出合理范围的价差返还给流动性提供者，交易者需先缴纳保证金，守规交易者可积累信誉降低后续费用。
推荐理由：作者用六个月 ETH/USDC 交易回放模拟，量化套利损失下降幅度，并提出把价格终局化与交易者保证金结合的机制思路。
美国 OFAC 制裁动态AI 评分2222 OFAC 与 Pegasus Worldwide Logistics 达成和解，并将国际刑事法院列入 SDN 名单
美国财政部 OFAC 与跨境货运公司 Pegasus Worldwide Logistics 达成和解，后者同意支付 175,015 美元，了结其涉嫌违反《非法毒品贩运制裁条例》四项及《报告、程序与处罚条例》六项的潜在民事责任。OFAC 同时发布国际刑事法院相关通用许可 13 至 16，并将国际刑事法院列入 SDN 名单，另删除缅甸相关个人条目。
Chainalysis精选AI 评分7171 英国制裁 Cryptomus、Heleket 与 TokenSpot，指向俄罗斯制裁规避网络
英国外交、联邦及发展事务部于 10 月 8 日指定 38 家实体，其中包括同属母公司 Xeltox Enterprises Ltd. 的加密支付处理商 Cryptomus、Heleket，以及吉尔吉斯斯坦交易所 TokenSpot CJSC。
推荐理由：Chainalysis 用链上数据说明被制裁支付处理商与 A7A5 规避网络如何共用同一 HTX 充值地址，可看到制裁规避的资金归集路径。
Bitcoin OptechAI 评分4040 Bitcoin Optech Newsletter #426：BIP324 动态单字节消息类型 ID 与 Shielded Bitcoin 隐私转账提案
Anthony Towns 在 Bitcoin-Dev 邮件列表发布草案 BIP，允许节点在 v2 P2P 传输中自选单字节消息类型 ID，通过 set324alias 消息在连接时公布别名，省去新消息的全局协调。
Galaxy ResearchAI 评分4747 Galaxy Research：Solana 目标 slot 间隔加速迈向 200ms
Solana 正分阶段将目标 slot 间隔从 400ms 降至 200ms，SIMD-0525 已于 5 月获批。过去约 13 个 epoch（432,000 个 slot 间隔）网络中位 slot 间隔均值为 267ms，最近 50 个 epoch 的 slot 跳过率低于 0.87%，最近 10 个 epoch 低于 0.11%。
Galaxy ResearchAI 评分5858 Galaxy Research：OpenAI 数学成果引发加密安全准备之争
Galaxy Research 发文梳理 OpenAI 在 GitHub 发布 719 项数学成果后引发的加密安全争论。
Galaxy Research精选AI 评分7878 CFTC 发布 Reg CTX 与 Reg CAM 拟议规则，拟允许用户自持私钥
CFTC 委员 Michael Selig 在 Fordham 法学院研讨会上公布 Reg CTX 和配套的 Reg CAM，构成一份 108 页的拟议规则制定预先通知（ANPR）。
推荐理由：梳理 CFTC 拟议规则对自托管、链上交易与金库界面的界定，可帮助读者理解美国加密市场结构监管的走向。
Galaxy ResearchAI 评分3434 10/10 一周年：Galaxy Research 称 190 亿美元清算事件正成为加密历史中的一个小插曲
Galaxy Research 在 10/10 一周年回顾中指出，2025 年 10 月 10 日特朗普威胁对华加征 100% 关税后 24 小时内超 190 亿美元杠杆仓位被清算，创历史最大名义去杠杆，约 162 万个账户爆仓、87% 为多单，Hyperliquid 与 Bybit 占清算量 75%。
Arbitrum 治理论坛AI 评分5858 Entropy 提案从 Arbitrum 国库转出 1,700 ETH 给开发者公会并扩充 TM 组合
Entropy 在 Arbitrum 治理论坛提出非宪法级提案，计划从 DAO 国库转出 1,700 ETH，其中 82.51 ETH 为 Timeboost 收入中应付给 Arbitrum Developer Guild 的 3% 分成，其余约 1,600 ETH 划入 TM 组合以重启备兑看涨策略。
Delving Bitcoin精选AI 评分6262 Cassis 提出通用多层多跳 HTLC 路由方案
Delving Bitcoin 论坛帖子介绍 Cassis，一个面向比特币多层支付的通用多跳 HTLC 路由方案，核心思路是只要某一层能表达 HTLC 就可以作为一跳。
推荐理由：Cassis 把任意能表达 HTLC 的层都当作一跳，读者可据此比较它与 Lightning、Arkade Intents 等跨层支付思路的取舍。
ethresear.ch · 全部精选AI 评分6262 以太坊后量子证明 ISA 方案比较：EVM、RISC-V 与 eISA
ethresear.ch 帖子讨论 EIP-8288 如何让交易依赖在 EVM 之外验证的后量子签名（leanSPHINCS）和 STARK 证明（leanSTARK），并比较以太坊可暴露的三种 ISA：EVM、RISC-V 和专为证明设计的 eISA。
推荐理由：文章比较以太坊可暴露的三种 ISA 在证明效率、稳定性与形式化验证上的取舍，并给出 EIP-8288 需要的一处改动。
Ethereum Magicians · EIPAI 评分2222 EIP-8301 提案：为 EVM 引入 MATMUL 操作码与分片张量状态转换引擎
EIP-8301 提出为 EVM 新增原生 MATMUL（0x0C）操作码，将内存重构为权重张量缓冲区、栈改为指针映射，并由全球验证者组成分片张量集群并行执行矩阵乘法。该提案把 RNN 隐藏状态转换与以太坊状态转换视为同构，Gas 按 MAC 硅周期与内存扩展计费，目前处于开放讨论与征求意见阶段。
慢雾 SlowMist精选AI 评分6666 慢雾复盘针对 Fomo 用户的恶意书签钓鱼攻击，损失约 4.8 万美元
慢雾安全团队披露一起针对 Fomo 用户的钓鱼攻击：用户在查看 MOONLET 代币详情时点击外链进入 voltage.family，被诱导将名为 Triple click to verify 的恶意书签拖入浏览器书签栏并点击。
推荐理由：复盘揭示恶意书签可在已登录页面窃取内嵌钱包凭证，即使未连接钱包或签名也可能失窃。
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 总损失为零，本期无奖励上缴国库。
ethresear.ch · 全部AI 评分3838 叠加 EEZ 与 FCR 如何实现无桥、无中介的跨 Rollup 支付：一个示例
通过叠加 FCR（快速确认规则）与 EEZ（以太坊经济区），跨 Rollup 支付可在约两个 slot（约 25 秒）内完成，无需跨链桥或可信中介。FCR 已于 2026-04-16 合并进以太坊共识规范，将区块确认等待从约 13 分钟缩短至约 13 秒；EEZ 由 Gnosis 与 ZisK 构建、以太坊基金会联合资助，把 Rollup 操作与主网操作打包进同一区块，消除跨层等待。
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 价格上限的适配器。
ethresear.ch · 经济学AI 评分4848 多提议者协议在 Sybil 攻击下的抗审查成本
针对 Saraf 等人关于多提议者协议（MCP）抗审查成本与吞吐量的论文，本文进一步分析了在存在 Sybil 节点时其推导的成本边界会如何变化，以及对 MCP 协议结论的影响。原文基于不同交易费机制（TFM）给出了有效审查交易的成本与边界。
TRM Labs精选AI 评分7878 英国制裁 Cryptomus、Heleket 与 TokenSpot 等加密支付平台
英国外交、联邦和发展办公室于 2026 年 10 月 8 日宣布 38 项涉俄制裁，其中包括加密交易所 Cryptomus、Heleket、TokenSpot 以及支付平台 Tsunami Payments、Processing KG 等。
推荐理由：梳理英国本轮制裁中三家加密交易所与支付平台的关联网络，并给出合规团队需要覆盖的名称变体和历史敞口。
Multicoin CapitalAI 评分3636 Multicoin Capital：算力资本市场将率先在加密轨道上落地
Multicoin Capital 提出，算力正成为全球增长最快的资产类别，围绕 GPU 现金流将出现定价、融资与对冲市场，而这类算力资本市场最适合在加密轨道上构建。
rekt.news精选AI 评分8080 NEAR Intents 遭窃 387 万美元，资金经自身跨链服务回流后追回
NEAR Intents 在 BNB Chain 上的 HOT Bridge 国库合约于 9 月 30 日至 10 月 1 日约六小时内被分五笔提走 3,865,000 USDT，另有约 822,000 美元被盗资金在事件进行中经由 NEAR Intents 自身服务流转，其中 750 BNB 被存回正在被清空的国库。
推荐理由：复盘梳理了签名授权与余额记账分离导致的提款漏洞，以及资金经跨链桥、交易所和比特币的完整流向。
CertiK 博客精选AI 评分7171 美国 9 月加密立法回顾：CLARITY Act 参议院程序性投票未过，SEC 与 CFTC 转向规则制定
9 月 15 日，美国参议院以 49 比 50 未能通过 CLARITY Act 的程序性投票（需 60 票），无人就法案实质内容投票，分歧集中在高级官员加密持仓的道德规则和社区银行对稳定币奖励的反对。
推荐理由：梳理美国 9 月加密监管进展，并区分成文法、最终规则与豁免令的效力层级，帮助读者判断这些规则的存续期限。
CertiK 博客AI 评分1212 CertiK 详解 Web3 渗透测试：测试前、中、后各阶段该期待什么
CertiK 发布 Web3 渗透测试客户侧指南，覆盖范围界定、团队与环境准备、测试执行、漏洞评级及修复复测全流程。测试前需通过详细问卷确认 Web3 前端、后端 API、移动钱包、浏览器扩展、云基础设施及链上合约集成等范围，并选择黑盒或白盒模式。
CertiK 博客精选AI 评分8484 HOT Omni Bridge 遭攻击损失 386 万美元，CertiK 复盘 NEAR Intents 退款逻辑缺陷
2026 年 9 月 30 日，NEAR 上的 HOT Omni Bridge 遭攻击，攻击者通过 5 笔 BSC 国库提款共取走 386 万美元。
推荐理由：复盘拆解了跨链桥三层记账中信用与背书脱钩的根因，以及退款上限缺失如何被放大成超额提款。
Solana 新闻精选AI 评分6262 三星与 Solana 合作，在 Samsung Wallet 原生支持稳定币汇款
三星与 Solana 合作，把基于 Solana 的稳定币跨境汇款功能原生集成进 Samsung Wallet 和 Samsung Pay。美国用户可从 2026 年 10 月最后一周起在 Samsung Wallet 内使用 USDC 跨境转账，功能上线时覆盖 8200 万台美国 Galaxy 设备，后续将视各地监管要求扩展至更多市场。
推荐理由：三星把稳定币汇款直接做进 Samsung Wallet 界面，读者可了解 Solana 稳定币进入消费级设备的落地方式与覆盖范围。
Arbitrum 治理论坛精选AI 评分6060 Arbitrum 提出宪法 AIP：为以太坊 Glamsterdam 升级调整 One 和 Nova 的 L1 定价参数
Arbitrum 治理论坛发布宪法 AIP，拟调整 Arbitrum One 和 Nova 的 parentGasFloorPerToken 与 perBatchGasCharge 两个 L1 定价参数，以应对以太坊 Glamsterdam 升级带来的批量提交 gas 成本变化。
推荐理由：提案给出两个 L1 定价参数的具体调整值，读者可据此理解以太坊 Glamsterdam 升级如何传导到 Arbitrum 用户的 L1 费用。
Lido 研究论坛AI 评分4242 Lido 推出 Lido Lend：基于 Morpho Blue 分叉的安全优先借贷市场
Lido 贡献者公布正在开发 Lido Lend，一个基于 Morpho Blue 修改版分叉的去中心化借贷市场，拟由 Lido DAO 治理（待治理投票通过）。该市场采用隔离借贷市场设计，面向蓝筹资产与价格相关交易对（如 stETH/ETH），并提供存款筛选与可靠退出机制。Lido 称其 stETH 质押规模已超 $25B，且自成立以来无重大安全事件，Lido Lend 将于本季度上线。
Arbitrum 治理论坛AI 评分4242 ArbitrumDAO 讨论 DVP 法定人数下的投票参与激励：奖励投票而非委托
ArbitrumDAO 治理论坛提出设立中立的参与激励池，按 epoch 预先拨款、仅奖励实际投票，FOR 与 AGAINST 同额、ABSTAIN 较少，并设单地址上限，奖励依据链上 VoteCast 事件计算并以 Merkle root 发布。
Lido 博客AI 评分4040 BitGo Bank & Trust 将 Lido 质押服务扩展至符合条件的美国客户
BitGo Bank & Trust, N.A. 已为符合条件的美国客户开放通过 Lido 协议质押 ETH，客户可在其 BitGo 账户内质押 ETH 并持有 stETH。该服务此前于 2025 年 7 月面向欧洲和亚洲客户推出，此次扩展至美国。符合条件的客户还可在同一平台将 stETH 赎回为 ETH。
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 协议，读者可了解机构信用评级框架如何切入稳定币协议评估。
Aave 治理论坛AI 评分1212 Aave Labs 请求支付 10 月漏洞赏金 5,500 美元，涉及 GHO 低危漏洞
Aave Labs 在治理论坛请求释放一笔漏洞赏金，对应 Aave 漏洞赏金流程中一个与 GHO 相关的有效提交，该提交被定为低危级别并已通过验证。
Lido 研究论坛精选AI 评分6666 Lido 论坛提案：将 NEST 回购门槛与获批预算挂钩
Lido 论坛成员 Kuzmich 提出将 NEST 回购门槛与基金会获批预算绑定，并建议把 2027 年预算从 43.8M 美元削减约 30% 至约 30M 美元。
推荐理由：提案把 NEST 回购门槛与基金会预算绑定，读者可据此比较回购触发条件与费用约束的取舍。