06月04日，星期二 07:07
6月4日讯，据Crypto Globe消息，6月3日，微软研究院（Microsoft Research）在博客中揭示了一个新的开源形式验证工具。该工具旨在提高使用Solity（为以太坊区块链构建的编程语言）子集编写的智能合约的质量。 新工具名为VeriSol（即Verifier for Solidity），曾出现在一篇概述微软Azure区块链智能合约验证的设计和应用的学术论文中。博客文章称，尽管VeriSol迄今仍然是一个主要由Azure智能合约驱动的原型，但研究人员对其期望很高，同时也在鼓励开放协作以促进形式验证发展并引入主流智能合约开发中。
0
火讯财经讯，8月9日消息，Coinglass数据显示，过去24小时加密货币市场全网合约爆仓3.83亿美元，其中多单爆仓2.95亿美元，空单爆仓8738.58万美元。BTC爆仓总金额3291.65万美元，ETH爆仓总金额2.23亿美元。
16 分钟前
火讯财经讯，8月9日消息，据Businesswire报道，纳斯达克上市比特币矿企CoreScientific公布2025财年第二季度的财务业绩报告，其中披露二季度挖矿收入为6240万美元，低于去年同期的1.107亿美元，主要原因是比特币挖矿产量下降62%；此外，该公司数字资产托管挖矿收入为560万美元，同样低于去年同期的2480万美元，毛利润为500万美元，而去年同期为3,880万美元。 针对市场关注的反对以全股票形式向CoreWeave出售情况，CoreScientific回应交易尚待处理，本次交易需要获得公司股东的批准以及惯例成交条件，包括适用的监管机构批准。
16 分钟前
火讯财经讯，8月9日消息，据Lookonchain监测，早期比特币传播者、ShapeShift创始人ErikVoorhees今日售出6581枚ETH，价值2738万美元。9年前他从ShapeShift获得了14,945枚ETH（当时为115.6万美元，现在为6268万美元），当时ETH仅为7.74美元。他最后一次ETH销售是在2024年12月6日，以4,005美元的价格售出7,807枚ETH（3127万美元），目前仍然持有556.68枚ETH（233万美元）。
46 分钟前
火讯财经讯，8月9日消息，Arkham在X平台发文表示，以太坊联合创始人VitalikButerin的链上资产市值目前已超10亿美元。
46 分钟前
火讯财经讯，8月9日消息，据Lookonchain监测，2个鲸鱼今日买入总计25,764，其中： 1、鲸鱼0xF436在过去18小时内从交易所提取了17,655枚ETH，价值7270万美元； 2、鲸鱼0x3684花费3400万枚USDT以4,193美元的价格购买了8,109枚ETH。
46 分钟前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
