Eth2 最新进展:测试网Altona将使用新的存款合同

与往常一样,在 eth2 前线继续发生着许多事情。除了撰写的进展更新和其他公开的总结外,各客户端团队、贡献者和社区成员/预期验证者们都很忙!

今天,本文将涵盖一些重大的存款合约 (deposit contract) 相关新闻,以及实现规范 v0.12 版本的重要步骤。

新的 Solidity 存款合约已经经过形式化验证,并添加进了 bug 赏金计划中;

实现 v0.12 规范版本的 Eth2 多客户端测试网 Altona 预计将于下周发布;

继续资助 Sigma Prime 为 beacon-fuzz (多客户端差分模糊测试) 找寻 bug 的工作;

今天,我们要宣布一个全新的、更安全的 eth2 存款合约版本,使用 Solidity 语言编写!该合约保留了相同的公共接口 (添加了 EIP-165 supportsInterface 函数),因此这是对所有现有客户端和开发工具都是完全透明的更改。实际上,其中的 Solidity 代码主要是对最初的 Vyper 合约逐行地翻译 (备注:最初的存款合约使用 Vyper 语言进行编写) ,以帮助进行审查和形式化验证。

华商报联合骏途链“Hi元宇宙”发行新闻摄影作品NFT:1月10日消息,华商报联合骏途链“Hi元宇宙”发行以“牵手你最爱的西安”为主题的新闻数字藏品,藏品精选过去一年西安难忘的八个影像瞬间,每张限量一万份,免费送给用户及收藏爱好者。据了解,这套数字藏品凝聚了2021年西安众多珍贵的影像场景:1.十四运会男子百米决赛,苏炳添赢得首枚全运金牌。2.年末新冠疫情侵扰西安,数以万计工作人员、志愿者战斗在防疫一线。3.第五届西安马拉松在全运会前火热开跑。4.2021西安城墙大型公益集体婚礼。5.十年奋战,惠及关中1400万人的引汉济渭输水隧洞即将贯通。6.三河一山治理提升后的西安山水美景。7.全球最大地下空间利用工程之一幸福林带开放。8.中欧班列从西安国际港整装待发。(华商网)[2022/1/10 8:37:50]

在过去的几个月里,Alex Beregszaszi 使用 Solidity 语言重写了这个 eth2 存款合约,该合约已经由一个 Solidity 专家小组审核,并通过了 Runtime Verification 进行形式化验证,大量重用了最初为 Vyper 版本合约编写的 K 规范。

尽管之前的 Vyper 合约经过了严格的测试、审查和形式化验证,但仍然存在着对 Vyper 编译器目前的安全性的潜在担忧。在最初的 Vyper 字节码验证期间,发现了多个编译器 bug (并进行了修复)。除了形式化验证,Suhabe Bugrara (ConsenSys 的研发人员) 还对 Vyper 存款合约和形式化验证进行了审查,这引发了对正式的规范进行了许多改进 (这最终有助于对 Solidity 合约的重新验证)。尽管 Vyper 合约的形式化验证被评估为是可靠的,但只要该合约使用 Vyper 编译器,Suhabe 就不推荐其字节码是安全的。

比特币全网未确认交易109,475笔:金色财经报道,据btc.com数据显示,目前比特币全网未确认交易数为109,475笔,24小时交易速率为3.88 txs/s。目前全网难度为21.72 T,预测下次难度下调2.26%%至21.23 T,距离调整还剩10 天 21 小时。[2021/2/24 17:45:30]

同时,ConsenSys Diligence 和 Trail of Bits 对 Vyper 编译器进行了安全调查报告,发现了更多的 bug,并对该编译器代码库的系统性问题提出了担忧。

尽管有这些发现,Vyper 仍然是一种很有前景的语言。基于 python 的编译器仍在开发中,许多贡献者正在研究对这种语言进行形式化,并研究其他编译器。

虽然我们对经过了形式化验证的字节码很有信心,但在 Vyper 编译器中发现的问题使得我们严重依赖于对字节码进行验证。最好是从一个通常被认为安全的编译器开始,然后验证字节码,而不是从一个存在已知问题的编译器开始,然后验证这些已知 (或未知) 问题没有在字节码中出现。

为了避免人们对这个关键的存款合约的安全性产生任何怀疑,我们建议为 eth2 主网的启动使用这个全新的 Solidity 存款合约,我们欢迎 Solidity 合约和 EVM (以太坊虚拟机) 字节码方面的专家对该存款合约和相关的形式化验证进行审查。发现的任何问题都符合 Eth2 阶段0赏金计划。

注意,这个全新的存款合约还没有进入 eth2 规范库中。我们将在本周整合这个新的 Solidity 合约,并很快发布一个小版本。我想要通过本文立即宣布这个事情,以便让社区有足够的时间来对其进行审查。

自从 Eth2 规范 v0.12 版本发布 以来,各客户端团队一直在全力更新和测试他们的代码库,以为公共测试网做准备。

我看到了很多来自社区的问题 (在 discord 聊天室、reddit 等上面),询问为何一个看起来相对较小的更新要花这么多时间来完成。尽管各客户端的代码库和相关的挑战各不相同,但各客户端团队都非常重视  v0.12 规范版本。虽然规范中的更新并不太繁琐,但在使这些客户端准备好实现这个主网上线前的最后半主要规范版本 (即 v0.12) 之前,已经花了额外的时间来加强安全性、优化功能和从整体上增强客户端。

首个实现 v0.12 规范的公共多客户端测试网 Altona 的发布时间即将到来,预计将在未来 7 天内发布。这个测试网将完全由相关的一些客户端团队 (计划是 Lighthouse、Nimbus、Prysm 和 Teku)、Afri Schoedon 以及以太坊基金会的一些成员控制。在该测试网推出之后,相关的存款合约地址将会发布,以允许公众参与进来。

与截至目前发布的其他多客户端测试网类似,Altona 更像是一个开发网络 (devnet),而不是一个以最终用户为中心的测试网。也就是说,Altona 首先最重要的是为了让各客户端团队在一个生产环境中检查 v0.12 软件的安全性,并让 eth2 工程师们在一个多客户端环境中解决可能出现的 bug。话虽如此,我们也欢迎你的加入并随着时间的推移推动 Altona 的成长。

如果 Altona 获得普遍成功,接下来的下一步是推出一个更大的、以社区为中心的测试网,该测试网将有着主网配置,至少由 16,384 名验证者才能启动。

Altona 测试网将使用上文提及的全新的 Solidity 存款合约。正如我所说的,这是对 eth2 客户端软件 100% 透明的更改,因为公共接口是一样的。对于能在生产环境中测试该合约,我还是非常兴奋的。

我们很高兴地宣布继续资助 Sigma Prime 的多客户端差分模糊测试工作 – beacon-fuzz。截至目前,这项工作已经取得了巨大成功,在系统中的所有客户端中都找到了 bug。

你可以查看 Sigma Prime 的博客文章来跟进相关的进展。还有继续关注未来计划扩大 beacon-fuzz 的工作,即计划通过“在家里进行模糊测试”让你参与进来,也许你会通过你家里的设备找到一个 bug!

撰文:Danny Ryan

翻译:Unitimes_David

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

火币交易所金晚8点丨BTC震荡下行 是否酝酿一波大跌?

首档行情直播栏目 金晚8点 热点资讯、现货合约,一对一实时解答 随时随地掌握后市行情,把握币市掘金机会 2020/06/22丨今日主题:《BTC震荡下行,是否酝酿一波大跌?》   请大家移步金色直播间,查看策略~ 本期嘉宾: 创爷:金色财经入驻播主,币圈最神秘的玩家创爷。 币圈缠论狙击手:金色财经签约独家主播,5年股市期货合约操盘。

AVAXChainalysis报告:近60%的比特币被长期投资者持有

- 根据Chainalysis最近的一份报告,大部分已被开采的比特币由长期投资者持有,只有19%用于交易。 - 该研究还指出,尽管专业交易员只占市场的4%左右,但他们很大程度上影响了价格的大幅变动。 加密货币监测公司 Chainalysis 最近发布了一份调查比特币投资者行为的最新报告。

火币交易所十年血战游戏庆端午 打怪式挖矿爆燃升级!

各位OASIS绿洲平台的玩家们,之前在《十年血战》第一期回收装备活动刷BRC刷得过瘾吗?一期活动的热度还未褪去,庆端午二期特别活动马上又要开始了,这一波活动官方比上一期花费了更多的心思,进行了更多的投入,下面就来看看二期活动的详细内容吧。 这次活动令牌的爆率不仅提升了10%,BRC结算发放时还可获得额外10%的平台奖励。

以太坊价格DeFi代币表现优于比特币价格的3个原因

去中心化金融(DeFi)是加密行业中一个快速增长的领域,尽管DeFi生态系统的规模尚未超过普通加密货币市场,但借贷和储蓄的新方式已获得了媒体的积极报道和“称赞”。 DeFi显示出巨大的前景,并且市场开始反映这一点,因为许多基于DeFi的代币在2020年表现强劲,一些代币在过去5天中涨幅超过60%。

[0:0ms0-0:562ms