LOADING...
LOADING...
LOADING...
当前位置: 玩币族首页 > 新闻观点 > 信标测试网络 Explorer启动时,以太坊2.0存款合约现在正在等待报告

信标测试网络 Explorer启动时,以太坊2.0存款合约现在正在等待报告

2019-12-06 不详 来源:区块链网络

eth 2.0协调员丹尼·瑞安(Danny Ryan)说,以太坊2.0的存款合约似乎本月难以达成,因为它正在等待一份报告。

“ Runtime Verificaton将在一个月内发布其完整的正式验证,分析和报告。一旦发布,我们就可以部署合约。

在我们通过公共多客户端测试网检查此过程之前,我有点犹豫是否要部署正式合约。

就是说,我不希望该组件出现特定问题,因为有许多单客户测试网按原样使用存款合约。

我知道这个项目对社区很重要,因为这表明事情正在向前发展。本月RV报告发布后,我们可以讨论一个好的约会。”

因此,他们现在正在进行审核,建模等工作,运行时验证将自己描述为在“正式建模,分析,安全性,安全性,验证和验证…方面有经验”。

我们已经与NASA,DARPA,波音和丰田合作,对安全和关键任务系统进行形式化和验证,并与IOHK和以太坊基金会一起不仅对智能合约,共识协议,编程语言和虚拟系统进行了正式建模和验证。机器。”

瑞安说,所有这些,包括报告,都应该在一个月之内完成。然后,这取决于他们回来了。如果有什么要解决的问题,那将需要一些时间,根据我们的估计,存款合约最早可能在1月下旬或2月启动。

在此之前,存款合约自然必须先经过一个测试网,目前尚不清楚何时启动以太坊2.0多客户端测试网。

但是,有一个浏览器已经投入使用,但这是针对Prysmatic Labs特定的单个客户端信标链测试网的。

Lighthouse最近也启动了其单客户公共测试网,其代码也正在接受审核。

因此,现在最早估计了以太坊2.0创世纪区块的冬季测试发布和春季主网发布,但是事情正在发展,所有这些都已经进入最终阶段。

—-

编译者/作者:不详

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

LOADING...
LOADING...