资讯中心

Foresight News 消息，Vitalik Buterin 发文探讨形式化验证在区块链安全领域的应用前景。文章指出，以太坊前沿研发中正兴起一种新范式，直接使用 EVM 字节码、汇编或 Lean 编写代码，并用 Lean 中可自动检查的数学证明验证其正确性，研究者 Yoichi Hirai 将这一范式称为「软件开发的最终形态」。Vitalik 认为，AI 辅助形式化验证有望同时提升代码效率与安全性，尤其适用于 STARK、ZK-EVM、抗量子签名和共识算法等安全核心模块。文章同时强调形式化验证并非万能，仍可能因证明范围不完整、规格错误、硬件侧信道等问题失效；未来软件或将分化为「安全核心」与「非安全边缘」，以太坊将成为重要安全核心之一。

BlockBeats 消息，5 月 18 日，据 rwa.xyz 数据，链上现实世界资产（RWA）总规模已升至 337 亿美元，创历史新高。 其中，最近约 15 亿美元增量主要来自基于以太坊的机构级代币化美债产品，包括 Franklin Templeton 新推出的 iBENJI，以及贝莱德 BUIDL 持续资金流入；同时，大宗商品代币化资产也出现明显增长，JMWH 成为主要推动者之一。 机构分析称，当前 RWA 增长仍主要受传统金融机构持续推动，「TradFi 浪潮」正在加速现实世界资产上链。

Michael Saylor 团队上周增持 2.49 万枚比特币，总持仓达到 84.37 万枚。