[以太坊2.0新进展：信标链规范在Dafny语言中的正式验证已完成]8月15日消息，ConsenSys研究员、以太坊2.0开发者Ben Edgington在披露的以太坊2.0新进展中表示，信标链规范在Dafny语言中的正式验证已完成，另外，以太坊2.0API规范已更新至v2.0.0，为Altair升级做准备。Altair升级的一个主要目的是使轻客户端能够在以太坊2.0网络中高效运行。在研究进展中，目前信标链上区块需要两个epoch的时间完成敲定，大概13分钟，最终确定性的延迟意味着验证者有机会重组最近的链。
以太坊开发人员将于3月14日在Goerli测试网进行上海升级:金色财经报道，以太坊开发人员计划于3月14日Goerli测试网络（testnet）完成上海升级（上海升级版也称为Shapella），以太坊的主网将在Goerli升级之后3-4周进行Shapella升级，这意味着质押的ETH提款将在4月份进行，与最初以太坊开发人员设定的三月时间表略有延迟。
本周早些时候，Sepolia测试网通过了Shapella，以太坊开发人员表示一切运行顺利。[2023/3/3 12:39:34]
以太坊7月链上NFT销售额略高于5亿美元，创12个月新低:金色财经报道，据最新NFT交易数据显示，以太坊链上NFT销售额仅为535,698,216.54美元，创下过去12个月的新低，但仍高于去年同期（2021年7月以太坊链上NFT销售额为410,229,362.36美元）。本文撰写时，以太坊链上NFT销售总额为28,963,820,891美元，交易量为13,033,622笔。[2022/8/1 2:50:42]
彭博社：SGX新指数致力于成为亚洲的比特币和以太坊定价基准:新加坡交易所（SGX）正在创建两种新的加密货币指数iEdge Bitcoin Index和iEdge Ethereum Index，目的是为亚洲的比特币和以太坊设定定价基准。SGX指数服务主管Simon Karaban表示，其目的是让这些指数成为亚洲时段内BTC和ETH交易的参考点。Karaban补充称，这部分市场的透明度很重要。此外，亚洲的监管机构更愿意接受受监管交易所创建的衍生产品。在发行时，用于定价的渠道包括itBit、Coinbase、Kraken、Bitstamp、Liquid、Bitfinex、OKCoin、LMAX和Cex.io。
此前消息，SGX已与数据网站CryptoCompare达成合作，通过已有4年历史的SGX iEdge指数套件推出了两种新的加密货币指数：iEdge Bitcoin Index和iEdge Ethereum Index。值得注意的是，加密货币指数并不是交易所交易基金（ETF），只用于跟踪被选择资产的价格表现。如果未来新加坡企业希望围绕比特币或以太坊创建一种产品或投资工具，这些指数将有助于核实价格。（彭博社）[2020/9/3]
郑重声明： 以太坊2.0新进展：信标链规范在Dafny语言中的正式验证已完成版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。