http://www.7klian.com

以太坊2.0完成存款合约审计和字节码形式化验证

区块律动 BlockBeats 动静,基金会 2 月 4 日宣布博客称,ETH 2.0 存款合约字节码的审计和形式化验证已经完成。

区块律动 BlockBeats 提醒,按照银保监会等五部分于 2018 年 8 月宣布《关于防御以「」「」名义举办犯科集资的风险提示》的文件,请宽大公家理性对待区块链,不要盲目相信口不择言的理睬,树立正确的钱币见识和投资理念,切实提高风险意识;对发明的违法犯法线索,可努力向有关部分举报反应。    

以太坊基金会暗示,固然 ETH 2.0 的第 2 阶段焦点原则已经被界说清楚,但详细设计相对开放,它答允对每个组件举办各类百般差异方法的实现。
来历链接:https://blog.ethereum.org/2020/02/04/eth2-quick-update-no-8

以太坊基金会称,这是一个重要的里程碑,使项目更靠近 ETH 2.0 主网 0 阶段。此刻这项事情已经完成了,,我们请求社区举办审查和评论,假如正式类型中有缺陷或错误,请在 eth2 specs repo 中宣布。

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

相关文章阅读