1. 首页
  2. 名家说

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

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

文 | 梁雨山

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

以太坊基金会:ETH2.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%。

原创文章,作者:比特币区块链日报,如若转载,请注明出处:https://www.dailybtc.cn/%e4%bb%a5%e5%a4%aa%e5%9d%8a%e5%9f%ba%e9%87%91%e4%bc%9a%ef%bc%9aeth2-0%e5%ad%98%e6%ac%be%e5%90%88%e7%ba%a6%e5%ad%97%e8%8a%82%e7%a0%81%e7%9a%84%e5%ae%a1%e8%ae%a1%e5%92%8c%e5%bd%a2%e5%bc%8f%e5%8c%96/

发表评论

电子邮件地址不会被公开。 必填项已用*标注

联系我们

在线咨询:点击这里给我发消息

邮件:[email protected]

工作时间:周一至周五,9:30-18:30,节假日休息

QR code