以太坊基金会称 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%。

市场与价格 比特币：亚太早盘承压回落至 7.65万—7.7万美元附近，盘中一度下探约76,664美元，创逾一个月新低。 以太坊：回落至 2,250—2,280美元附近，10月ETH现货ETF累计净流出约16.1亿美元，机构端仍在降风险。 山寨币分化：SOL走弱至92美元附近；XRP因ETF资金流入相对抗跌，报1.25美元左右。 情绪指标：恐慌与贪婪指数从37骤降至 26，进入深度恐慌区间。 ETF资金流：美东时间11月2日比特币现货ETF净流出约3.99亿美元，贝莱德IBIT净流出约4.05亿美元；XRP、HYPE、ZEC现货ETF合计净流出约702万美元。 #加密货币 #pickful #eth #比特币 #web3 #区块链

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

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

知情人士：Anthropic今年年底可用算力将达到3.5吉瓦

AI巨头Anthropic上周提交S-1招股文件，预计本月将完成创纪录IPO，搅动华尔街情绪。 周一公司更新招股书，披露亮眼增长数据，但支出端风险同样突出。 过去一年Anthropic签下大量算力采购合约，锁定算力资源训练、运行AI大模型，押注暴涨的需求可以覆盖巨额投入。 更新版S-1显示，Anthropic第三季度营收170亿美元，同比翻12倍，环比二季度上涨47%；但净亏损230亿美元，环比增速从上一季度144%有所回落。 截至2045年，Anthropic的数据中心、芯片、算力采购承诺总额高达8954亿美元；未来12个月内，近700亿美元的合约款项就要开始兑付。 两名知情人士透露：今年年底，公司可用算力将达到3.5吉瓦，足够供应芝加哥全部家庭用电；明年目标算力再翻一倍。 Anthropic甚至深度参与数据中心设计，招聘基建、供应链专家，还向承建方采购冷却系统等硬件。 它的头号竞争对手OpenAI同样在算力上疯狂投入。知情人士透露，OpenAI预计到2030年，算力总投入约7500亿美元。

Solana Mobile 启动 SKR 回购销毁计划，已销毁 120 万枚代币

Solana Mobile 已启动 SKR 代币回购销毁计划，自 2026 年 10 月 15 日起运行，迄今已销毁 120 万枚 SKR。资金来源包括 Solana Mobile 验证者、Seed Vault 钱包兑换及 USDC Earn Vault 的部分收入，用于在公开市场购买 SKR 并在链上销毁，不向持有者或质押者支付额外收益。

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

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

11月3日晚间重要动态一览

12:00-21:00关键词：Anthropic、纳斯达克、DeepSeek、Hyperliquid
1.Tether自9月30日以来增持了5万枚BTC
2.知情人士：Anthropic今年年底可用算力将达到3.5吉瓦
3.美股要“通宵”了：12月6日起纳斯达克全天23小时交易
4.DeepSeek网页及API服务已恢复，部分服务性能仍下降
5.Hyperliquid创始人：进军美国市场的关键在于HIP-3合作伙伴接受监管
6.韩国总统李在明呼吁建立跨政府网络安全机构，应对币安被盗等黑客事件