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

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

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

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

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

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

Mask Network宣布于5月29日23:00从Uniswap V2移除MASK-ETH流动性:Mask Network宣布，于5月29日23:00从Uniswap V2移除MASK-ETH流动性，随后将其添加至MASK-USDC池。未来，Mask Network将删除部分MASK-USDC池并将它们添加到其他地方。[2021/5/30 22:56:31]

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

SashimiSwap下调ETH-SASHIMI池奖励:据官方消息，SashimiSwap宣布以太坊上ETH-SASHIMI池奖励已经从每个区块4.5个枚SASHIMI调整到3.0枚，调整将于2021年3月1日生效。其他池保持不变。[2021/2/27 17:59:10]

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

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

行情丨ETH在5分钟内涨幅超过2.50%:据火币全球站数据显示，ETH/USDT在5分钟内出现剧烈波动，涨超2.50%，达到2.57%。当前报价为 246.23 美元，行情波动较大，请注意风险控制。[2020/2/17]

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

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

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

动态 | BTC和ETH短时出现大额爆仓单，OKEx比特币合约精英账户做多账户比例升至56%:随着以比特币为首的主流币呈现单边上涨的走势，BTC和ETH等期货合约短时出现大额爆仓单，过去一小时BTC新增2.45万张爆仓单，约291BTC。 ETH季度0628合约在223.15USDT出现499500张爆仓单（约合2.23万ETH），此外，OKEx官方数据显示，截止北京时间16:00，OKEx比特币合约精英账户中，做多账户比例为升至 56%，做空账户比例目前为44%，做多账户依然占优。[2019/5/14]

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

动态 | Tether相关交易量的增长导致Dash周日大涨13%:据CCN报道，周日，Dash的美元交易量大涨13%。在过去的24小时内，Dash 24%的交易量来自Tether市场，可以清楚的看到交易者将其USDT持有量转移到像Dash这样的山寨币。此外，Dash宣布在委内瑞拉推出Dash Text，这是一种面向委内瑞拉用户的基于SMS的加密货币交易服务。[2018/11/5]

注意，这个全新的存款合约还没有进入 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

标签：NBSBSPETHASHnbs币最新消息BSPNetworkEthereal词汇CRASH价格

BNB热门资讯