返回形式化验证

形式化验证

Grayscale
2026-08-25 12:02:55

Grayscale推出Zcash现货ETF,隐私漏洞修复后登陆NYSE Arca

Grayscale旗下Zcash交易所交易基金周二开始在NYSE Arca交易,代码为ZCSH,成为首个提供现货Zcash敞口的交易所交易产品。该产品由2017年10月设立的Grayscale Zcash Trust转换而来。几个月前,开发者披露并修复了Zcash屏蔽交易系统中的一项关键漏洞;7月上线的Ironwood升级则用新的屏蔽池替换Orchard,并加入供应约束规则。

10
Grayscale推出Zcash现货ETF,隐私漏洞修复后登陆NYSE Arca
清华大学
2026-08-24 01:13:10

清华与沃顿研究者借助 GPT 证明梯度下降步长存在理论上限

清华大学工业工程系研究者 Jianhao Ma 与宾大沃顿商学院教授 Yuxin Chen 发布论文,证明标准梯度下降仅靠预先设定步长序列,无法达到 Nesterov 动量方法的 O(1/T²) 收敛速度。论文给出的下界为 Ω(T^-1.9319),核心证明由 GPT-5.6 Sol Pro 在研究者监督下完成,并通过 Lean 4 形式化验证,代码已在 GitHub 公开。

490
清华与沃顿研究者借助 GPT 证明梯度下降步长存在理论上限
以太坊
2026-08-23 10:14:46

Vitalik 更新以太坊路线图:隐私、量子安全与精简化优先级上调

Vitalik Buterin 表示,他已将 2023 年以太坊路线图中的原有事项叠加到当前 Strawmap 中,整体重叠度较高,但部分优先级已调整。新版本更强调强隐私、后量子安全、规范精简化、Blob 与 gas 期货、原生 rollups,以及为 EVM 未来预留更开放的设计空间。他还提到,新状态类型不只是状态过期的替代方案,而是代表一种不同的扩容范式。

370
Vitalik 更新以太坊路线图:隐私、量子安全与精简化优先级上调
Jupiter
2026-08-21 08:33:25

Jupiter COO谈加密仓位策略:半数持有稳定币,Meme币只是短期游戏

Jupiter 首席运营官 Kash Dhanda 在 8 月 20 日录制的播客中表示,他个人超过一半仓位放在稳定币上获取 5% 至 7% 收益,另一半才配置高风险资产,并将这套思路概括为“杠铃策略”。他称 Meme 币更像提供“肾上腺素服务”的电子游戏,普通人更现实的路径是通过纪律、收益和复利实现“慢富”。谈到 Solana 与 Jupiter 时,他提到 Solana 近 30 天吸引约 7 亿美元 RWA 流入,Jupiter 则正调整 JUP 运营方式,并将 50% 收入用于回购 JUP。

370
Jupiter COO谈加密仓位策略:半数持有稳定币,Meme币只是短期游戏
Lighter
2026-08-21 01:51:18

Lighter CEO:DeFi不应被视为监管对立面,AI或推动金融民主化

Lighter 首席执行官 Vladimir Novakovski 在美国 CFTC 创新咨询委员会首次会议上表示,DeFi 长期存在误解,不应被视为监管机构的对立面。他称,链上可验证记录有助于提升透明度、消费者保护和市场公平,并认为去中心化、可验证金融有望成为美国未来金融基础设施的重要组成部分。对于 AI,他表示其可能推动金融民主化,但在面向消费者大规模应用前,需要建立沙盒机制并验证模型有效性。

290
Lighter CEO:DeFi不应被视为监管对立面,AI或推动金融民主化
Aligned
2026-08-20 11:30:07

Aligned 空投启动在即,TGE 前关停验证层引发市场审视

ZK 基础设施项目 Aligned 宣布原生代币 ALIGN 将在 Coinbase、Bitget、KuCoin 上线现货,官方空投检查页已开放,空投将在代币正式上线时同步进行。项目背后的 LambdaClass 成立于 2014 年,长期深耕形式化验证、密码学和高性能软件。市场关注点集中在 Aligned 于 TGE 前弃用已累计验证超 13.6 万份证明的 Proof Verification Layer,转向主网 alpha 阶段的聚合服务。ALIGN 总供应 100 亿枚,TGE 初始流通约 16%。

420
Aligned 空投启动在即,TGE 前关停验证层引发市场审视
Foresight
2026-08-15 02:00:54

Foresight 一周 Web3 手抄报:争议提案、黑天鹅与项目新动向

Foresight News 汇总本周加密行业高热内容,焦点覆盖 Harry Yeh 在巴拉圭坠亡事件、近 588 天超 300 个 Web3 项目沉寂、李林与 UMX 的新布局,以及 BIP-110 引发的比特币扩容争议。安全事件方面,DeFi 巨鲸再失约 2500 万美元、Trezor 订单与地址数据外泄、Harmony 漏洞增发 ONE、冒充客服电诈和 Bybit 追索被盗资产均引发关注。项目层面,以太坊路线图更新、Poseidon 调整、Bitwise 产品线重组和特朗普媒体的新资本布局同样成为本周看点。

250
Foresight 一周 Web3 手抄报:争议提案、黑天鹅与项目新动向
ChainFeeds
2026-08-12 03:04:25

ChainFeeds 投研早报:Hermes、稳定币支付卡与以太坊新路线图

ChainFeeds 8 月 12 日发布一份投研早报,汇总 Hermes 在个人 Agent 产品层的增长逻辑、a16z 对加密支付卡带动稳定币消费的五图解读,以及 Vitalik Buterin 对以太坊新一轮研发重点的更新。简报还提到企业级比特币买家承压、机构调整加密资产配置,以及 Pump.fun、GMGN 等 Meme 相关平台在低迷行情中的收入结构。

1030
ChainFeeds 投研早报:Hermes、稳定币支付卡与以太坊新路线图