以太坊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 月发布《关于防范以「虚拟货币」「区块链」名义进行非法集资的风险提示》的文件，请广大公众理性看待区块链，不要盲目相信天花乱坠的承诺，树立正确的货币观念和投资理念，切实提高风险意识；对发现的违法犯罪线索，可积极向有关部门举报反映。    

—-

编译者/作者：区块律动BlockBeat

玩币族申明：玩币族作为开放的资讯翻译/分享平台，所提供的所有资讯仅代表作者个人观点，与玩币族平台立场无关，且不构成任何投资理财建议。文章版权归原作者所有。