联博api:Eth2 最新进展:测试网Altona将使用新的存款条约

admin/2020-06-30/ 分类:民生/阅读:

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

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

摘要

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

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

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

Solidity 存款合约 & 形式化验证

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

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

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

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

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

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

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

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

实现v0.12规范的 Altona 测试网

自从 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 事情

我们很喜悦地宣布继续资助 Sigma Prime 的多客户端差分模糊测试事情 – beacon-fuzz。停止现在,这项事情已经取得了巨大乐成,在系统中的所有客户端中都找到了 bug。

你可以查看 Sigma Prime 的博客文章来跟进相关的希望。另有继续关注未来设计扩大 beacon-fuzz 的事情,即设计通过“在家里举行模糊测试”让你介入进来,也许你会通过你家里的装备找到一个 bug!

撰文:Danny Ryan

翻译:Unitimes_David

,

联博统计

www.326681.com采用以太坊区块链高度哈希值作为统计数据,联博以太坊统计数据开源、公平、无任何作弊可能性。联博统计免费提供API接口,支持多语言接入。

TAG:
阅读:
广告 330*360
广告 330*360

热门文章

HOT NEWS
  • 周榜
  • 月榜
阳光在线官网
微信二维码扫一扫
关注微信公众号
新闻自媒体 Copyright © 2002-2019 阳光在线官网 版权所有
二维码
意见反馈 二维码