韭菜的故事
【康波交易所创始人】以太坊2.0存储合约进入形式验证阶段，信标链测试网浏览器上线
摘要：Lighthouse最近也发布了他们的单客户端公共测试网，他们的代码也正在进行审计。
据Trustnodes 2019年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创世区块最早将在今年冬季发布测试版，明年春季启动主网。事情正在发展，所有这一切正在进入最后阶段。
转载请注明文章出处
原文：https://www.trustnodes.com/2019/12/05/ethereum-2-0-deposit-contract-now-waiting-for-report-while-beacon-testnet-explorer-launches
作者：Trustnodes
编译：Libert
稿源（译）：巴比特资讯（http://v1.8btc.com/526794）
- 免责声明
- 世链财经作为开放的信息发布平台，所有资讯仅代表作者个人观点，与世链财经无关。如文章、图片、音频或视频出现侵权、违规及其他不当言论，请提供相关材料，发送到：2785592653@qq.com。
- 风险提示：本站所提供的资讯不代表任何投资暗示。投资有风险，入市须谨慎。
- 世链粉丝群：提供最新热点新闻，空投糖果、红包等福利，微信：juu3644。
