撰文：Danny Ryan 翻译：Unitimes_David 接上一篇《Eth2 更新速览(11)》。与往常一样，在 eth2 前线继续发生着许多事情。除了撰写的进展更新 (可查看下方提及的 Eth2 状态进展) 和其他公开的总结外，各客户端团队、贡献者和社区成员/预期验证者们都很忙！ 今
摘要
-
新的Solidity 存款合约已经经过形式化验证，并添加进了 bug 赏金计划中；
-
实现 0.12 规范版本的 ETH2 多客户端测试网Altona预计将于下周发布；
-
继续资助 Sigma Prime 为beacon-fuzz(多客户端差分模糊测试) 找寻 bug 的工作；
-
快速插入我之前发布的冗长的 ETH2 博客文章。
Solidity 存款合约 AMPL 形式化验证
ETH2 存款合约
版本，使用 Solidity 语言编写！该合约保留了相同的公共接口 (添加了
EIP-165
supportsInterface函数)，因此这是对所有现有客户端和开发工具都是完全透明的更改。实际上，其中的 Solidity 代码主要是对最初的 Vyper 合约逐行地翻译(备注：最初的存款合约使用 Vyper 语言进行编写)，以帮助进行审查和形式化验证。
Alex Beregszaszi
使用 Solidity 语言重写了这个 ETH2 存款合约，该合约已经由一个 Solidity 专家小组审核，并通过了 Runtime Verification 进行
形式化验证
，大量重用了最初为 Vyper 版本合约编写的 K 规范。
Suhabe Bugrara
(ConsenSys 的研发人员) 还对 Vyper 存款合约和形式化验证进行了审查，这引发了对正式的规范进行了许多改进 (这最终有助于对 Solidity 合约的重新验证)。尽管 Vyper 合约的形式化验证被评估为是可靠的，但只要该合约使用 Vyper 编译器，Suhabe 就不推荐其字节码是安全的。
ConsenSys Diligence
和
Trail of Bits
对 Vyper 编译器进行了安全调查报告，发现了更多的 bug，并对该编译器代码库的系统性问题提出了担忧。
该存款合约
和相关的
形式化验证
进行审查。发现的任何问题都符合
ETH2 阶段0赏金计划
。
注意，这个全新的存款合约还没有进入
ETH2 规范库
中。我们将在本周整合这个新的 Solidity 合约，并很快发布一个小版本。我想要通过本文立即宣布这个事情，以便让社区有足够的时间来对其进行审查。
实现0.12规范的 Altona 测试网
Altona
的发布时间即将到来，预计将在未来 7 天内发布。这个测试网将完全由相关的一些客户端团队 (计划是 Lighthouse、Nimbus、Prysm 和 Teku)、Afri Schoedon 以及以太坊基金会的一些成员控制。在该测试网推出之后，相关的存款合约地址将会发布，以允许公众参与进来。
哦，还有！Altona 测试网将使用上文提及的全新的 Solidity 存款合约。正如我所说的，这是对 ETH2 客户端软件 100% 透明的更改，因为公共接口是一样的。对于能在生产环境中测试该合约，我还是非常兴奋的。
资助 Sigma Prime 的beacon-fuzz工作
bug
。
Sigma Prime的博客文章
来跟进相关的进展。还有继续关注未来计划扩大beacon-fuzz的工作，即计划通过“在家里进行模糊测试”让你参与进来，也许你会通过你家里的设备找到一个 bug！
我冗长的 ETH2 博客文章
The State of ETH2, June 2020
(中文译文参阅《
ETH2 进展速览 (截至2020年6月)
》)，这篇文章对 ETH2 项目截至当前的进展及其如何适应整个以太坊进行了高级概述
【文章版权归原作者所有，其内容与观点不代表Unitimes立 场。翻译文章仅为传播更有价值的信息，合作或授权联系请发邮件至 [email protected] 或添加微信 unitimes2017】
温馨提示：
文章标题：Eth2 更新速览 (12)
文章链接：https://www.btchangqing.cn/62504.html
更新时间：2022年10月08日
本站大部分内容均收集于网络，若内容若侵犯到您的权益，请联系我们，我们将第一时间处理。
