06月04日，星期二 07:07
6月4日讯，据Crypto Globe消息，6月3日，微软研究院（Microsoft Research）在博客中揭示了一个新的开源形式验证工具。该工具旨在提高使用Solity（为以太坊区块链构建的编程语言）子集编写的智能合约的质量。 新工具名为VeriSol（即Verifier for Solidity），曾出现在一篇概述微软Azure区块链智能合约验证的设计和应用的学术论文中。博客文章称，尽管VeriSol迄今仍然是一个主要由Azure智能合约驱动的原型，但研究人员对其期望很高，同时也在鼓励开放协作以促进形式验证发展并引入主流智能合约开发中。
0
火讯财经讯，1月16日消息，欧易OKX行情显示，BTC刚刚突破100000美元，现报100021.80美元/枚，日内涨幅1.05%。
10 分钟前
火讯财经讯，1月16日消息，欧易OKX行情显示，ETH刚刚突破3400美元，现报3401.10美元/枚，日内涨幅2.00%。
40 分钟前
火讯财经讯，1月15日消息，Coinglass数据显示，过去24小时加密货币市场全网合约爆仓2.57亿美元，其中多单爆仓9317.32万美元，空单爆仓1.64亿美元。BTC爆仓总金额6205.96万美元，ETH爆仓总金额4354.46万美元。
4 小时前
火讯财经讯，1月15日消息，公链Zilliqa在X平台表示，注意到Look-up节点出现了不同步的问题，这导致交易未能成功上传至区块链进行处理。现在将恢复Zilliqa网络以解决此问题。请注意，在此期间网络将无法处理交易。请注意——资金是安全的。如果在钱包中看不到资金，可以通过链上查看。
4 小时前
火讯财经讯，1月15日消息，欧易OKX行情显示，XRP短时突破3美元，最高触及3.0325美元，刷新2018年1月以来新高。现报2.9674美元，日内涨幅14.99%。 此外，8marketcap数据显示，XRP市值突破1700亿美元，目前已跻身全球资产市值排名前100，位列第99位。
4 小时前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
