与往常一样，在 eth2 前线继续发生着许多事情。除了撰写的进展更新和其他公开的总结外，各客户端团队、贡献者和社区成员/预期验证者们都很忙！
今天，本文将涵盖一些重大的存款合约 (deposit contract) 相关新闻，以及实现规范 v0.12 版本的重要步骤。
新的 Solidity 存款合约已经经过形式化验证，并添加进了 bug 赏金计划中；
实现 v0.12 规范版本的 Eth2 多客户端测试网 Altona 预计将于下周发布；
继续资助 Sigma Prime 为 beacon-fuzz (多客户端差分模糊测试) 找寻 bug 的工作；
金色午报 | 7月5日午间重要动态一览:7:00-12:00关键词：浙江、CBDC、Visa、Compound治理提案、Maker
1. 浙江省区块链专业标准化技术委员会正式成立。
2. Compound治理提案012未通过，成为首个被社区否定的提案。
3. Visa加密货币负责人：CBDC是未来十年货币和支付领域最重要的趋势之一。
4. HyperChain Capital首席执行官：DeFi领域有巨大的增长机会。
5. 数据：智能合约中的LINK供应量比例刷新两年高点。
6. 腾讯云区块链总经理：区块链信任机制将使数据价值发挥最大化。
7. BSN全国首个省级主干网络已启动。
8. 分析：比特币与股票市场的相关性出现打破迹象。
9. Maker 24小时涨超6.98%，重返DeFi项目市值首位。[2020/7/5]
今天，我们要宣布一个全新的、更安全的 eth2 存款合约版本，使用 Solidity 语言编写！该合约保留了相同的公共接口 (添加了 EIP-165 supportsInterface 函数)，因此这是对所有现有客户端和开发工具都是完全透明的更改。实际上，其中的 Solidity 代码主要是对最初的 Vyper 合约逐行地翻译 (备注：最初的存款合约使用 Vyper 语言进行编写) ，以帮助进行审查和形式化验证。
金色晨讯 | 美国财长：Libra必须确保防止非法使用Facebook计划通过二维码买卖Libra:1.美国财政部长：Facebook的Libra必须制定适当保障措施以防止非法使用。
2.瑞士金融监管局将会对Facebook（FB.O）旗下Libra项目进行监管。
3.比特大陆放弃美国数据中心项目。
4.Facebook计划通过二维码买卖Libra，以确保和传统货币进行转换时可以进行反检查。
5.英国财政大臣：将会在监管货币中介入对Libra的监管。
6.Tether市值超越EOS和BSV 升至第七位。
7.英国推出新经济犯罪计划 其中包括针对加密货币的行动。
8.火币公布Q2HT回购数据：约5366.49万USDT用于回购 环比增长232.46%。
9.印度禁止加密货币草案公开：任何人不得在印度境内开采、生产、持有、出售、买卖、发行、转让、处置或使用加密货币。[2019/7/16]
在过去的几个月里，Alex Beregszaszi 使用 Solidity 语言重写了这个 eth2 存款合约，该合约已经由一个 Solidity 专家小组审核，并通过了 Runtime Verification 进行形式化验证，大量重用了最初为 Vyper 版本合约编写的 K 规范。
分析 | 金色盘面：ETH期货合约持仓变化:金色盘面综合分析： 据OKEX数据显示，目前做多账户42%，做空账户57%，多头持仓比例30.63%，空头持仓比例27.0%，从数据看，做空主力账户占优。截止发稿，季度ETH0928合约价格为171,57美元，现货价格为171.64美元，贴水0.07美元，多空双方分歧不大，请投资者注意做好风控。[2018/9/13]
尽管之前的 Vyper 合约经过了严格的测试、审查和形式化验证，但仍然存在着对 Vyper 编译器目前的安全性的潜在担忧。在最初的 Vyper 字节码验证期间，发现了多个编译器 bug (并进行了修复)。除了形式化验证，Suhabe Bugrara (ConsenSys 的研发人员) 还对 Vyper 存款合约和形式化验证进行了审查，这引发了对正式的规范进行了许多改进 (这最终有助于对 Solidity 合约的重新验证)。尽管 Vyper 合约的形式化验证被评估为是可靠的，但只要该合约使用 Vyper 编译器，Suhabe 就不推荐其字节码是安全的。
分析 | 金色盘面：XLM/USDT破位后回撤 注意破位验证结果:金色盘面综合分析:XLM/USDT在1小时上向上破位后涨至0.23USDT，目前回撤至0.21USDT附近做破位有效性确认，注意关注验证结果。如果0.21USDT被跌破，短线将继续走弱。[2018/8/10]
同时，ConsenSys Diligence 和 Trail of Bits 对 Vyper 编译器进行了安全调查报告，发现了更多的 bug，并对该编译器代码库的系统性问题提出了担忧。
尽管有这些发现，Vyper 仍然是一种很有前景的语言。基于 python 的编译器仍在开发中，许多贡献者正在研究对这种语言进行形式化，并研究其他编译器。
虽然我们对经过了形式化验证的字节码很有信心，但在 Vyper 编译器中发现的问题使得我们严重依赖于对字节码进行验证。最好是从一个通常被认为安全的编译器开始，然后验证字节码，而不是从一个存在已知问题的编译器开始，然后验证这些已知 (或未知) 问题没有在字节码中出现。
分析 |金色盘面： HIT/BTC目前呈上涨趋势:金色盘面分析师表示：HIT/BTC目前呈上涨趋势，短线支撑位0.0000003322，跌破上升趋势线或将面临小幅回调。[2018/8/7]
为了避免人们对这个关键的存款合约的安全性产生任何怀疑，我们建议为 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
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。