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

“这是重要的里程碑,使项目可以更接近ETH 2.0主网的第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%。

转载声明:本文 由CoinON抓取收录,观点仅代表作者本人,不代表CoinON资讯立场,CoinON不对所包含内容的准确性、可靠性或完整性提供任何明示或暗示的保证。若以此作为投资依据,请自行承担全部责任。

声明:图文来源于网络,如有侵权请联系删除

风险提示:投资有风险,入市需谨慎。本资讯不作为投资理财建议。

(0)
打赏 微信扫一扫 微信扫一扫
上一篇 2020年2月5日 下午1:44
下一篇 2020年2月5日 下午7:32

相关推荐

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

星期三 2020-02-05 19:32:01

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