以太坊 2.0 又一里程碑,存款合约字节码完成形式化验证

以太坊基金会昨日宣布ETH2.0存款合约字节码的审计和形式化验证已经由技术团队RuntimeVerification完成。以太坊基金会表示,这是一个重要的里程碑,使得项目更接近ETH2.0主网的第0阶段,但以太坊基金会依旧希望其他专业人士或者社区可以对于形式化验证提供更多反馈,可以在代码库提交相关问题。除此之外,以太坊基金会表示虽然ETH2.0的第2阶段核心原则已经被定义清楚,但其具体设计还是相对开放的,Quilt和eWASM在最近一年里已经花了非常多的精力研究,而新成立的TXRX会将一部分精力投入到第2阶段的研发中,最初的重点将会放在更好地了解跨分片交易的复杂性,以及研究和原型化将ETH1.0集成到ETH2.0的方法。

以太坊二层网络Taiko首个公共测试网Alpha-1将于2月15日下线:金色财经报道,以太坊二层网络Taiko宣布,Alpha-1测试网将于世界标准时间2月15日14:00左右弃用,并在弃用约一个月后发布Alpha-2测试网。Alpha-2测试网将新增Alpha-1中缺乏的重要协议组件和参与者。

此前消息,2022年12月28日,TaikoAlpha-1测试网正式上线,向所有开发者开放部署智能合约,并向所有感兴趣的参与者开放运行L2节点。[2023/2/9 11:56:20]

EthHub创始人:扩展以太坊是一场马拉松,而不是短跑:EthHub联合创始人Anthony Sassano发推表示,扩展以太坊是一场马拉松,而不是短跑。[2021/6/1 23:01:03]

Tether向以太坊网络新增发1.5亿枚USDT:据DAppTotal稳定币专题页面数据显示:11月06日21时13分 ,USDT发行方Tether向以太坊网络新增发1笔价值1亿5,000万美元的USDT, 块高度为:11203990,交易哈希值为:0x9775a58b354adb9520915963d7f2fc245ebfcd1091263b8613962442dfdbf79e 。截至目前,Tether在以太坊网络上的ERC20 USDT总发行量已达11,228,669,486枚。[2020/11/6 11:53:10]

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

银河链

[0:93ms0-2:284ms