Ming202

以太坊基金会称 leanVM 完成端到端形式化验证，全面后量子安全过渡目标定于 2028 年 12 月

以太坊基金会研究员 Justin Drake 宣布，用于将基于哈希的后量子签名聚合为紧凑证明的极简 zkVM leanVM 已实现端到端形式化验证，每秒可处理超过 1000 次 leanXMSS 聚合。在 Devcon 8 上，Drake 将以太坊全面后量子安全过渡的目标时间定为 2028 年 12 月，该目标而非承诺，依赖 leanVM、leanXMSS 和 leanSpec 三个开源项目。

OpenUSD治理组织设定0.1个基点管理费，向合作伙伴提供股权激励

稳定币OpenUSD的治理组织Open Standard将按支付量收取0.1个基点管理费，每笔支付最高0.01美元。储备收益将分配给合作伙伴，合作伙伴还可根据OUSD持仓和资金流获得项目股权，参与门槛为至少持有5000万美元，单一合作伙伴最高持股比例为5%。

Sei 网络 SIP-6 Autobahn 共识提案达到法定人数

Sei 网络的 SIP-6 提案已达到法定人数，该提案允许验证者同时提出交易，而非依次提交。Autobahn 的激活需先完成公开测试网验证和安全审计，实际部署取决于测试网表现与审计结果。

Aero 上线 12 天跻身 Arbitrum 日交易量前三 DEX

Arbitrum 官方宣布，去中心化交易所 Aero 在上线 12 天后已跻身该链日交易量前三。这一成绩凸显了 Aero 在 Arbitrum 上的快速采用。

THORChain在中断后重启大部分交换，RUNE上涨15%

THORChain在出现退款漏洞后，已恢复比特币、以太坊及其他几个网络的交易，但仍有三个链处于暂停状态。随着大部分交换恢复，其原生代币RUNE上涨了15%。

莫斯科交易所将于12月推出比特币、以太坊和USDT交易

莫斯科交易所计划根据俄罗斯新加密货币法于12月1日推出比特币、以太坊和USDT交易。非合格投资者将面临年度购买限额。

中国人民银行与阿曼央行签署数字货币合作备忘录

中国人民银行与阿曼中央银行签署央行数字货币合作备忘录，双方将就相关技术交流专业知识和经验。两国央行还签署了本币互换协议，阿曼央行行长表示该协议旨在支持经济发展、加强金融稳定与国际伙伴关系，相关文件于11月2日在两国领导人见证下签署。

Atok推出ADtok Web2奖励平台，提供2万美元赠品

Atok推出了ADtok，一个无需加密货币钱包的Web2奖励平台。用户可通过推荐码o2wNAn获取价值超过2万美元的NFT和ATOK代币，但iOS版本尚未在韩国上线。

Aave在Base上为代币化股票市场推出USDC激励

Aave在Base上为代币化股票市场推出了USDC激励，降低了以代币化股票为抵押借入USDC的成本。此举旨在提升代币化资产生态系统的流动性和可用性。

Consensys在Devcon推出面向机构账本的主权网络互操作技术栈

Consensys在孟买Devcon宣布推出主权网络互操作技术栈，用于在独立运营的机构账本之间路由并协调交易，面向银行、托管机构、资产管理人和金融市场基础设施。该技术栈支持抵押品调拨、证券结算、批发与跨币种支付以及基金与资产服务四类机构流程，以无桥互操作为核心设计原则，核心协议为CLIP。