[以太坊2.0新进展：信标链规范在Dafny语言中的正式验证已完成]8月15日消息，ConsenSys研究员、以太坊2.0开发者Ben Edgington在披露的以太坊2.0新进展中表示，信标链规范在Dafny语言中的正式验证已完成，另外，以太坊2.0API规范已更新至v2.0.0，为Altair升级做准备。Altair升级的一个主要目的是使轻客户端能够在以太坊2.0网络中高效运行。在研究进展中，目前信标链上区块需要两个epoch的时间完成敲定，大概13分钟，最终确定性的延迟意味着验证者有机会重组最近的链。
相关快讯：
Infura以太坊API服务中断，多家加交易所及钱包服务疑似受到影响:推特多名用户指出，加密货币交易所币安、Upbit、Bithumb等多个交易平台疑似暂停ETH以及ERC20代币充提服务。以太坊轻钱包MetaMask出现余额显示异常、数据延迟等情况。
此前报道，Ethereum和IPFS的API服务供应商Infura表示，其EthereumMainnetAPI服务暂时中断，团队正在调查并努力恢复服务功能。[2020/11/11 16:59:38]
分析 | 以太坊链上表现较好 30 天 ROI 持续提升:据 TokenGazer 数据分析显示，截止至 11 月 6日 11 时，以太坊价格为$189.71，总市值为$20,561.71M，主流交易所24H交易量持续增长，当前交易量约为$89.01M；近期以太坊对比特币汇率有一定抬头；基本面方面，以太坊链上交易量、链上DApp交易量持续上行，新增地址增速加快，算力保持稳定；以太坊 30 天开发者指数约为 2.24；以太坊与 BTC 180 天关联度上升趋势渐弱，30 天 ROI 持续提升；据TokenGazer官网六道数据显示，以太坊情绪指数移动平均线保持稳定，Grayscale以太坊持仓量保持较高仓位；ERC20 代币总市值约为以太坊总市值的 62.26%，持续下滑。[2019/11/6]
动态 | 基于以太坊的数字资产交易平台dYdX正式上线:据BTCmanager消息，5月1日，基于以太坊的数字资产交易平台dYdX宣布正式上线，此平台可允许交易者利用DAI作为基础货币进行ETH杠杆交易。据悉，该此项目得到了硅谷风投公司A16Z（Andreessen Horowitz）和Polychain Capital等公司的支持。[2019/5/4]
郑重声明： 以太坊2.0新进展：信标链规范在Dafny语言中的正式验证已完成版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。