FIC:以太坊2.0存储合约进入形式验证阶段，信标链测试网浏览器上线_ICA

据Trustnodes12月6日报道，以太坊2.0协调员丹尼·瑞安表示，以太坊2.0的存储合约似乎还不太可能在本月推出，因为有关报告尚未发布。

图片来源：pixabay

数据：比特币和以太坊的期权、期货持仓数值均创下历史新高:Skew数据显示，比特币和以太坊的期货、期权未平仓头寸均在1月份创下历史新高，其中，截至1月5日，比特币期货未平仓头寸约为110亿美元，5日内增加逾17%；以太坊期货未平仓头寸约为30亿美元，5日内增加超42%，以太坊期权未平仓头寸为15.16亿美元，5日内增加超60%；比特期权未平仓头寸在1月4日约为77亿美元。[2021/1/6 16:31:19]

丹尼·瑞安说道：

独家｜当前以太坊24h链上交易量下降19.61% 当前建议Gas费用为26Gwei:金色财经消息，据欧科云链OKLink链上数据显示，以太坊24h链上活跃地址数逾54.74万，环比上升6.38%；链上交易量近277.88万ETH，环比下降19.61%；链上交易笔数逾111.6万笔，环比下降4.34%。

截至下午2时，以太坊全网算力约为252.93TH/s，环比上升0.46TH/s，建议Gas费用为26.75Gwei，环比下降47.62%，未确认交易数约9.03万笔。[2020/11/4 11:37:11]

“RuntimeVerificaton将在本月内发布其完整的形式验证、分析和报告。一旦发布，我们就可以部署合约。

Ethereum 9?创始人发布以太坊二层隐私扩容解决方案 Zkopru:Ethereum 9?创始人Wanseob Lim在太坊技术论坛ethresear.ch发布以太坊二层隐私扩容解决方案Zkopru。该方案采用zk-SNARK 和 optimistic rollup，以实现隐私交易的二层扩容解决方案，支持在二层网络中以低成本实现ETH，ERC20，ERC721之间的隐私转移和隐私原子交换，此外，借助预付功能，用户可以在最终确认之前从第二层提取资产。每笔基于以太坊区块链的隐私交易消耗8800 gas费，当gas限制为11.95M且区块时间为13.2s时，其最大TPS为105。[2020/7/20]

在我们通过一个公共的多客户端测试网来检查这个过程之前，我有点犹豫要不要部署正式合约。也就是说，我不认为该组件会有什么特别的问题，因为有许多单客户端测试网正在按原样使用存款合约。

我知道这个项目对社区来说很重要，它标志着一切正在向前发展。一旦本月RuntimeVerificaton的报告出来，我们就可以讨论一个好的启动日期。”

RuntimeVerificaton自称拥有“形式建模、分析、安全、确认与较证”的经验，因此他们现在正在进行审计、建模等工作。

“我们与美国国家航空航天局、美国国防部高级研究计划局、波音公司和丰田公司合作，对安全和关键任务系统进行形式化和验证。我们还与IOHK和以太坊基金会合作，不仅对智能合约进行形式化建模和验证，还对协议、编程语言和虚拟机进行形式建模和验证。”

瑞安表示，所有这些工作，包括这份报告，应该会在一个月内完成。接下来就看他们的结果了。如果有问题需要解决，那就还需要一段时间。根据上述情况我们估计，存款合约最早可能在1月下旬或2月份推出。

在此之前，存款合约自然需要通过一个测试网，目前还不清楚以太坊2.0多客户端测试网何时推出。

然而，一个针对PrysmaticLabs特定的单客户端信标链测试网的浏览器已上线。

Lighthouse最近也发布了他们的单客户端公共测试网，他们的代码也正在进行审计。因此，按目前进度估计，以太坊2.0创世区块最早将在今年冬季发布测试版，明年春季启动主网。事情正在发展，所有这一切正在进入最后阶段。

标签：FICICAIMEATOSports ArtificialSHIBMERICANUniMex NetworkSenator Karen

币安app官方下载最新版热门资讯