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

区块律动 BlockBeats 消息,以太坊基金会 2 月 4 日发布博客称,ETH 2.0 存款合约字节码的审计和形式化验证已经完成。
以太坊基金会称,这是一个重要的里程碑,使项目更接近 ETH 2.0 主网 0 阶段。现在这项工作已经完成了,我们请求社区进行审查和评论,如果正式规范中有缺陷或错误,请在 eth2 specs repo 中发布。
以太坊基金会表示,虽然 ETH 2.0 的第 2 阶段核心原则已经被定义清楚,但具体设计相对开放,它允许对每个组件进行各种各样不同方式的实现。
来源链接:https://blog.ethereum.org/2020/02/04/eth2-quick-update-no-8

区块律动 BlockBeats 提醒,根据银保监会等五部门于 2018 年 8 月发布《关于防范以「虚拟货币」「区块链」名义进行非法集资的风险提示》的文件,请广大公众理性看待区块链,不要盲目相信天花乱坠的承诺,树立正确的货币观念和投资理念,切实提高风险意识;对发现的违法犯罪线索,可积极向有关部门举报反映。