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

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

ECC、Protocol Labs、Filecoin基金会、以太坊基金会将合作开发Halo 2:9月21日消息,Electric Coin Co.(ECC)已经与Protocol Labs、Filecoin基金会以及以太坊基金会达成协议,以探索Halo的研发,包括如何在各自的生态系统中使用该技术。Filecoin是一个开源云存储市场、协议和加密货币;以太坊基金会是一个致力于支持以太坊和相关技术的非营利组织。

根据协议的条款,非营利组织Bootstrap将获得200万美元资金,Filecoin基金会、Protocol Labs和以太坊基金会将参与合作研发工作,旨在利用协议内递归zk证明系统。

据悉,Halo 2将于明年1月在Zcash实施,届时将推出适用于下一代Zcash的产品套件Halo Arc for Zcash,包括对Zcashd、ECC参考钱包应用程序和ECC钱包SDK的更新。[2021/9/21 23:40:46]

图片来源:pixabay

孙宇晨:未来将投入十亿美元的总资金来鼓励以太坊项目迁移到BitTorrent Chain上:据官方最新消息,波场TRON创始人兼BitTorrent CEO孙宇晨就波场新愿景与BitTorrent Chain正式启动发表致社区的公开信。公开信中表示:BitTorrent Chain(BTTC)作为兼容波场协议与以太坊协议的二层网络,将完全兼容EVM,任何EVM开发者都可以通过简单迁移的方式,将以太坊应用完全迁移到BitTorrent Chain上,为以太坊网络提供高速扩容。我们在DEFI挖矿上已经累计投入4.5亿美元,未来我们也将加入EVM公链的军备竞赛,投入十亿美元的总资金来鼓励以太坊项目迁移到BitTorrent Chain(BTTC)上。[2021/9/3 22:58:52]

丹尼·瑞安说道:

以太坊平均交易费升至历史新高:Coindesk发文称,根据BitInfoCharts和Blockchair的数据,以太坊交易的平均成本目前为64美元,部分原因来自对以太坊代币、狗狗币模仿者SHIB以及SHIB的模仿者的需求。[2021/5/12 21:50:48]

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

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

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

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

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

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

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

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

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

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

地球链

XMR区块链:科普 | 密码战争,区块链技术之路

来源:万向区块链11月28日区块链行业的知名创业者和投资者——“暴走恭亲王”龚鸣作为第五课的讲师,以现代计算机、密码学&区块链历史上十几位重要传奇人物为线索,从他们的故事.

[0:0ms0-1:167ms