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

《资讯|以太坊基金会: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%。

—-

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

点赞