Vitalik:以太坊将成为「安全核心」重要组成部分,AI辅助形式化验证可提升代码安全性
5 月 19 日,以太坊联合创始人 Vitalik Buterin 发文深度解析形式化验证(Formal Verification)技术的现状与前景,认为结合 AI 的形式化验证将成为「软件开发的终极形态」,也是在强大 AI 对手面前守住网...
5 月 19 日,以太坊联合创始人 Vitalik Buterin 发文深度解析形式化验证(Formal Verification)技术的现状与前景,认为结合 AI 的形式化验证将成为「软件开发的终极形态」,也是在强大 AI 对手面前守住网...
据动察 Beating 监测,加州奥克兰联邦法院的九人陪审团一致裁定,埃隆·马斯克因起诉太晚,在这场针对 OpenAI 及山姆·奥特曼(Sam Altman)的诉讼中彻底败诉。主审法官 Yvonne Gonzalez Rogers 随即当庭...
5 月 19 日,据 Alternative 数据,今日加密货币恐慌与贪婪指数跌至 25(昨日为 29),再度回归「极度恐慌」区间,上周均值为 49。 注:恐慌指数阈值为 0-100,包含指标:波动性(25%)+市场交易量(25%)+社交媒...
5 月 19 日,以太坊基金会研究员 Carl Beek 与 Julian Ma 于周一宣布离职,成为近期以太坊基金会新一轮离职潮中的最新成员。其中,Carl Beek 在基金会任职 7 年,曾参与 Beacon Chain 开发,并支持以...
5 月 19 日,据链上分析师余烬监测,仅在过去 2 个月,Ondo 项目方的多签钱包就向 Coinbase 等交易平台累计转移了超过 3.28 亿枚 ONDO (9842 万美元)。
5 月 19 日,据路透社报道,Meta 在一份内部备忘录中披露了将于 5 月 20 日启动的重组计划。公司将在全球范围裁员 10%,并同步推进新一轮组织架构调整,以优化 AI 工作流程。Meta 首席人力官 Janelle Gale 表示...
5 月 19 日,加密分析师 Marcel Pechman 发文表示,比特币冲击 82,000 美元上方失败后遭遇抛售,比特币再次测试 76,000 美元关口,四日内多头仓位清算规模达 4 亿美元,价格较近期高点下跌约 7%。尽管如此,分析...
5 月 19 日,据派盾监测,Echo Protocol 在 Monad 上遭黑客攻击。攻击者铸造了 1000 枚eBTC(约 7670 万美元),并利用已测试过的流程,将其中 45枚eBTC(约 345 万美元)存入 Curvance。随...
5 月 19 日,美国总统特朗普表示,在海湾地区盟友领导人呼吁争取更多时间寻求外交解决方案后,他已取消了原定于周二对伊朗实施的打击计划。特朗普称,沙特、卡塔尔和阿联酋的领导人提出了这一请求,他们认为,将能够达成协议,而该协议将对美国以及中东...
5 月 19 日,据彭博社报道,美国 SEC 最早将于本周推出针对代币化股票的「创新豁免」政策,为链上交易数字化证券建立新框架。SEC 正倾向于允许第三方在未经上市公司授权或同意的情况下发行与股票价格挂钩的代币,并在 DeFi 平台上交易。...