以太坊基金会：ETH2.0存款合约字节码的审计和形式化验证已完成

文 | 梁雨山

火星财经APP（微信：hxcj24h）一线报道，2月5日，据以太坊基金会官方消息，以太坊2.0存款合约字节码的审计和形式化验证已经完成。（注：以太坊2.0存款智能合约通过Vyper语言编写，可记录交易历史并将资金锁定在以太坊1.0链上，以便未来在信标链上进行赎回）

以太坊基金会指出，这是重要的里程碑，使项目可以更接近ETH 2.0主网的第0阶段。目前这项工作已经完成，我们希望社区进行评论及审查，如果正式规范中有缺陷或错误，可在eth2 specs repo中提交。

此前，技术初创公司Runtime Verification于1月24日宣布成功完成以太坊2.0存款合约的形式验证。当时，该公司透露，“虽然我们在存款合约形式验证的过程中发现几个重大问题，其中部分问题是由隐藏的Vyper编译器bug引起，但是在最新的版本（v0.10.0）中，所有的存款合约问题都得到了适当修复。”

根据trustnodes日前发布消息，以太坊2.0协调员Danny Ryan曾透露，以太坊2.0审计报告下周公布，“一旦存款合约发布，我们就能知道新的区块链将存入多少ETH。”

据了解，自进入2020以来，除技术方面的进展外，以太坊在二级市场方面的表现同样引入关注。1月14日，ETH快速上涨，价格自143美元升至170美元上方，日内涨超15%。在接下来的交易日内，ETH价格逐步回升，重回去年11月水平。另据数据显示，年初至今，ETH平均交易规模增长122%，大型交易数量增长169%。IntoTheBlock数据显示，自年初以来，以太坊网络上平均交易规模增长122％以上，以太坊网络上大型交易数量从1月1日的130个增至2月2日的350个，涨幅高达169％。

截至发稿，ETH报价191美元，24小时上涨1.73%。

—-

编译者/作者：梁雨山

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