以太坊基金会双项资助加持，CertiK持续领航形式化验证 币圈财经报道：MetaEra 消息，5 月 14 日（UTC+8），近日，CertiK 荣获以太坊基金会 2025 年第一季度的两项研究资助，进一步巩固了其在 zkEVM 形式化验证领域的技术领导地位。zkEVM（零知识以太坊虚拟机）是区块链技术中的一项创新，通过零知识证明实现以太坊的可扩展性。Ce...
Fireverse启动首届“音乐创作实验计划”，6位KOL带队展开AI音乐共创挑战 币圈财经报道：币圈财经消息，Web3 AI 音乐平台 Fireverse 宣布首届“音乐创作实验计划”正式启动，活动将持续至 5 月 26 日。 本次活动采用 KOL 战队竞赛机制，由 ChainShadow(@ChainShadowLabs)、Bella夏禾（@xiaheth）、K线教主（@Par...
美联储古尔斯比：美联储等待了解关税影响，数据仍显嘈杂 币圈财经报道：美联储古尔斯比周三表示，显示4月份消费者通胀温和的数据并不一定反映出美国进口关税上升的影响，美联储仍需要更多的数据来了解物价和经济的走向。古尔斯比表示，“空气中有时会有很多灰尘，我们听到了一堆噪音……我们正试图找出那条主线。”...
BitgetWallet联手Reserve推出DTF指数基金交易和20万美元奖励活动 币圈财经报道： Web3 钱包 Bitget Wallet 与去中心化资产发行平台 Reserve 联合推出专属奖励活动，在 Bitget Wallet App 端内为用户提供 DTF（Decentralized Token Folios）链上指数型基金投资入口，让用户以一枚代币便可一键配置一揽子资...
CertiK荣获以太坊基金会两项资助，助力zkEVM形式化验证新突破 币圈财经报道：币圈财经消息， 据以太坊基金会官网显示，区块链安全机构CertiK近日荣获以太坊基金会2025年第一季度两项研究资助，分别聚焦于开发者工具和zkVM电路验证的形式化手段提升：Verus工具评估：CertiK将评估Verus（一种Rust验证工具）在验证用Rust编写的电路及EVM预编译...
欧盟发言人：美国取消人工智能扩散规则是受欢迎的举动 币圈财经报道：欧盟委员会发言人托马斯·雷尼耶表示，特朗普政府决定取消所谓的人工智能扩散规则，该规则对一些国家可以购买多少先进的人工智能芯片设置了上限，这是一个受欢迎的发展。 雷尼埃说：“我们很高兴美国政府认识到，人工智能扩散规则将损害美国与数十个国家的外交关系。”美国商务部正在废除这一规定，理由是它...
WEEX交易所上线CYCLE、NXPC、BSCREENER、FITCOIN现货交易 币圈财经报道：币圈财经消息，5 月 14 日，WEEX 唯客交易所公告，平台已上线 CYCLE (CYCLE)、Nexpace (NXPC)、BelieveScreener (BSCREENER)、FITCOIN (FITCOIN) 现货交易，今日 20:00 UTC+8 将上线 Privasea ...
