与往常一样,在 eth2 前线继续发生着许多事情。除了撰写的进展更新和其他公开的总结外,各客户端团队、贡献者和社区成员/预期验证者们都很忙!
今天,本文将涵盖一些重大的存款合约 (deposit contract) 相关新闻,以及实现规范 v0.12 版本的重要步骤。
新的 Solidity 存款合约已经经过形式化验证,并添加进了 bug 赏金计划中;
实现 v0.12 规范版本的 Eth2 多客户端测试网 Altona 预计将于下周发布;
继续资助 Sigma Prime 为 beacon-fuzz (多客户端差分模糊测试) 找寻 bug 的工作;
111,855,000 USDT从Tether Treasury转移到Kraken:金色财经报道,数据显示,111,855,000 USDT(价值约111,898,623美元)从Tether Treasury转移到Kraken。[2023/5/9 14:50:28]
今天,我们要宣布一个全新的、更安全的 eth2 存款合约版本,使用 Solidity 语言编写!该合约保留了相同的公共接口 (添加了 EIP-165 supportsInterface 函数),因此这是对所有现有客户端和开发工具都是完全透明的更改。实际上,其中的 Solidity 代码主要是对最初的 Vyper 合约逐行地翻译 (备注:最初的存款合约使用 Vyper 语言进行编写) ,以帮助进行审查和形式化验证。
持有超过0.1 ETH的地址数量创1个月新低:金色财经报道,Glassnode数据显示,持有超过0.1 ETH的地址数量达到5,124,042个,创1个月新低。[2023/3/5 12:42:42]
在过去的几个月里,Alex Beregszaszi 使用 Solidity 语言重写了这个 eth2 存款合约,该合约已经由一个 Solidity 专家小组审核,并通过了 Runtime Verification 进行形式化验证,大量重用了最初为 Vyper 版本合约编写的 K 规范。
尽管之前的 Vyper 合约经过了严格的测试、审查和形式化验证,但仍然存在着对 Vyper 编译器目前的安全性的潜在担忧。在最初的 Vyper 字节码验证期间,发现了多个编译器 bug (并进行了修复)。除了形式化验证,Suhabe Bugrara (ConsenSys 的研发人员) 还对 Vyper 存款合约和形式化验证进行了审查,这引发了对正式的规范进行了许多改进 (这最终有助于对 Solidity 合约的重新验证)。尽管 Vyper 合约的形式化验证被评估为是可靠的,但只要该合约使用 Vyper 编译器,Suhabe 就不推荐其字节码是安全的。
ETH总市值回升至1500亿美元上方:金色财经报道,随着ETH价格反弹,ETH总市值回升至1500亿美元上方。据CoinGecko数据显示,截至发稿,ETH总市值为150,463,489,404美元。[2022/7/8 2:00:04]
同时,ConsenSys Diligence 和 Trail of Bits 对 Vyper 编译器进行了安全调查报告,发现了更多的 bug,并对该编译器代码库的系统性问题提出了担忧。
尽管有这些发现,Vyper 仍然是一种很有前景的语言。基于 python 的编译器仍在开发中,许多贡献者正在研究对这种语言进行形式化,并研究其他编译器。
虽然我们对经过了形式化验证的字节码很有信心,但在 Vyper 编译器中发现的问题使得我们严重依赖于对字节码进行验证。最好是从一个通常被认为安全的编译器开始,然后验证字节码,而不是从一个存在已知问题的编译器开始,然后验证这些已知 (或未知) 问题没有在字节码中出现。
金色财经挖矿数据播报 | ETH今日全网算力上涨0.54%:金色财经报道,据蜘蛛矿池数据显示:
BTC全网算力147.941EH/s,挖矿难度20.82T,目前区块高度667831,理论收益0.00000652/T/天。
ETH全网算力351.954TH/s,挖矿难度4673.19T,目前区块高度11734824,理论收益0.00569817/100MH/天。
BSV全网算力0.737EH/s,挖矿难度0.11T,目前区块高度671767,理论收益0.00122131/T/天。
BCH全网算力1.814EH/s,挖矿难度0.25,目前区块高度672122,理论收益0.00049616/T/天。[2021/1/27 13:38:00]
为了避免人们对这个关键的存款合约的安全性产生任何怀疑,我们建议为 eth2 主网的启动使用这个全新的 Solidity 存款合约,我们欢迎 Solidity 合约和 EVM (以太坊虚拟机) 字节码方面的专家对该存款合约和相关的形式化验证进行审查。发现的任何问题都符合 Eth2 阶段0赏金计划。
BTC多空持仓人数比1.12,ETH多空持仓人数比1.04:AOFEX交易大数据显示,截至12月8日14:00,BTC永续合约多空持仓人数比为1.12,市场做多人数占优,基差小于0.5USDT,24小时成交约3.31亿张;ETH永续合约多空持仓人数比为1.04,市场做多人数占优,基差小于0.05USDT,24小时成交约1.88亿张;BTC千倍合约多空持仓人数比为1.08,市场做多人数占优,基差小于1USDT,24小时成交约1.1.8亿张。
AOFEX数字货币金融衍生品交易所,旨在为用户提供优质服务和资产安全保障。[2020/12/8 14:34:02]
注意,这个全新的存款合约还没有进入 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
昨天上午7点,比特币放量突破10000美金;昨晚10点,比特币暴力砸盘,最低下探至9300美金(火币网数据)。 突破的时候,放量,而且强势冲击三角形区间上轨,技术指标上是明显的突破行情.
1900/1/1 0:00:00文章系金色财经专栏作者牛七的区块链分析记供稿,发表言论仅代表其个人观点,仅供学习交流!金色盘面不会主动提供任何交易指导,亦不会收取任何费用指导交易,请读者仔细甄别,谨防上当.
1900/1/1 0:00:00新加坡时间2020年5月27日,分布式商业公链BitCherry宣布与数字货币交易平台UPEX达成战略合作,其项目通证BCHC正式上线UPEX.
1900/1/1 0:00:002020 年 6 月 10 日,Kava DeFi 借贷平台CDP 正式上线,并宣布与国内一线交易所币安Binance达成合作.
1900/1/1 0:00:00火币全球站数据显示,今日早间BTC短线上涨,突破10200美元关口,日内涨幅达到6.85%。新浪微博数据显示,比特币现再上微博热搜,现热搜榜排名23位,话题数298356.
1900/1/1 0:00:00金色财经消息,北京时间6月10日22:30左右, Kava-3 主网升级已完成。这次 Kava-3 主网升级有很多全球首次实现的功能,比如在 Cosmos-SDK 上实现 Chainl.
1900/1/1 0:00:00