据Trustnodes 12月6日报道,以太坊2.0协调员丹尼·瑞安(Danny Ryan)表示,以太坊2.0的存储合约似乎还不太可能在本月推出,因为有关报告尚未发布。 图片来源:pixabay 丹尼·瑞安说道: “Runtime Verificaton将在本月内发布其完整的形式验证、分析和报告。一旦发布,我们就可以部署合约。在我们通过一个公共的多客户端测试网来检查这个过程之前,我有点犹豫要不要部署正式合约。也就是说,我不认为该组件会有什么特别的问题,因为有许多单客户端测试网正在按原样使用存款合约。 我知道这个项目对社区来说很重要,它标志着一切正在向前发展。一旦本月Runtime Verificaton的报告出来,我们就可以讨论一个好的启动日期。” Runtime Verificaton自称拥有“形式建模、分析、安全、确认与较证”的经验,因此他们现在正在进行审计、建模等工作。 “我们与美国国家航空航天局(NASA)、美国国防部高级研究计划局(DARPA)、波音公司(Boeing)和丰田公司(Toyota)合作,对安全和关键任务系统进行形式化和验证。我们还与IOHK和以太坊基金会(Ethereum Foundation)合作,不仅对智能合约进行形式化建模和验证,还对协议、编程语言和虚拟机进行形式建模和验证。” 瑞安表示,所有这些工作,包括这份报告,应该会在一个月内完成。接下来就看他们的结果了。如果有问题需要解决,那就还需要一段时间。根据上述情况我们估计,存款合约最早可能在1月下旬或2月份推出。 在此之前,存款合约自然需要通过一个测试网,目前还不清楚以太坊2.0多客户端测试网何时推出。 然而,一个针对Prysmatic Labs特定的单客户端信标链(Beacon Chain)测试网的浏览器已上线。 Lighthouse最近也发布了他们的单客户端公共测试网,他们的代码也正在进行审计。因此,按目前进度估计,以太坊2.0创世区块最早将在今年冬季发布测试版,明年春季启动主网。事情正在发展,所有这一切正在进入最后阶段。 —- 编译者/作者:Libert 玩币族申明:玩币族作为开放的资讯翻译/分享平台,所提供的所有资讯仅代表作者个人观点,与玩币族平台立场无关,且不构成任何投资理财建议。文章版权归原作者所有。 |
以太坊2.0存储合约进入形式验证阶段,信标链测试网浏览器上线
2019-12-06 Libert 来源:区块链网络
LOADING...
相关阅读:
- 比特币在5分钟内下跌1400美元,在BitMEX上清算1.5亿美元2020-08-02
- 以太坊2.0中的DeFi-DeFi分片会是其上第一个城市2020-08-02
- Chainlink(LINK)甲骨文现在通过NEAR协议为dApp提供动力2020-08-02
- 453期:以太坊涨这么多了,到底后面还会不会涨?现在上车还来得及不2020-08-02
- 以太坊2.0上线后,会给DeFi带来哪些变化?2020-08-02