Bitget App
交易“智”变
快捷买币行情交易合约理财广场更多

资讯中心

关注 Bitget 新闻及深度资讯,了解加密货币领域最热门话题。

banner
快讯
12:54
Vitalik:AI 辅助形式化验证有望同时提升代码效率与安全性
Foresight News 消息,Vitalik Buterin 发文探讨形式化验证在区块链安全领域的应用前景。文章指出,以太坊前沿研发中正兴起一种新范式,直接使用 EVM 字节码、汇编或 Lean 编写代码,并用 Lean 中可自动检查的数学证明验证其正确性,研究者 Yoichi Hirai 将这一范式称为「软件开发的最终形态」。Vitalik 认为,AI 辅助形式化验证有望同时提升代码效率与安全性,尤其适用于 STARK、ZK-EVM、抗量子签名和共识算法等安全核心模块。文章同时强调形式化验证并非万能,仍可能因证明范围不完整、规格错误、硬件侧信道等问题失效;未来软件或将分化为「安全核心」与「非安全边缘」,以太坊将成为重要安全核心之一。
12:49
数据:链上RWA规模创历史新高,达337亿美元
BlockBeats 消息,5 月 18 日,据 rwa.xyz 数据,链上现实世界资产(RWA)总规模已升至 337 亿美元,创历史新高。 其中,最近约 15 亿美元增量主要来自基于以太坊的机构级代币化美债产品,包括 Franklin Templeton 新推出的 iBENJI,以及贝莱德 BUIDL 持续资金流入;同时,大宗商品代币化资产也出现明显增长,JMWH 成为主要推动者之一。 机构分析称,当前 RWA 增长仍主要受传统金融机构持续推动,「TradFi 浪潮」正在加速现实世界资产上链。
12:49
Michael Saylor 团队增持 2.49 万枚比特币
Michael Saylor 团队上周增持 2.49 万枚比特币,总持仓达到 84.37 万枚。
资讯中心