注:原文作者是以太坊2.0开发者BenEdgington。
信标链
Dafny语言的信标链规范形式化验证已经结束!这是我优秀的ConsenSys同事JoanneFuller和FranckCassez共同完成的,这是一项巨大的成就,它也是用Dafny语言完成的有史以来最复杂的项目之一。这项工作有望为我们未来的协议开发和分析的高度严谨性奠定基础。你可以从repo中了解更多信息并自己运行证明。我相信一些博客文章和论文很快就会出现。
此外,以太坊2.0API规范已更新至v2.0.0?,这为Altair升级做好了准备。
Altair升级的主要动机之一是使轻客户端能够在以太坊2.0网络中高效运行,这使得用户能在浏览器中无需信任地运行轻客户端,而不是通过Infura或其他受信任的第三方发送交易。为了让我们了解需要什么,AlexStokes撰写了一篇关于引导信标链轻客户端生态系统?的文章。
Hinman曾计划打电话给V神以了解以太坊基金会的运作方式:金色财经报道,美国证券交易委员会对Ripple Labs提起的诉讼中最新公布的文件显示,在2018年,前美国证券交易委员会主任William Hinman计划与以太坊联合创始人Vitalik Buterin进行对话,以了解以太坊基金会如何运作以“证实”他的立场,即ETH不是证券。
Hinman在2018年的一次著名演讲中认为,以太坊网络的原生资产不需要作为证券进行监管,此后 Ripple Labs 在针对美国证券交易委员会的指控进行辩护时经常引用这一观点。最近浮出水面的文件得以一窥SEC在Hinman演讲之前的内部讨论,他在演讲中暗示比特币和以太坊不是证券。[2023/6/13 21:34:20]
另一个有点有趣的消息是,以太坊2.0存款合约刚刚超过了WETH合约,成为了目前ETH存款数量最多的智能合约。
动态 | 截至6月30日以太坊交易量创17个月新高:etherscan.com 6月30日数据显示,以太坊日交易量创下17个月新高,交易数量超过100万笔。自今年初以来,以太坊的日交易量一直在稳步增长,不过当前交易量仍低于2018年1月130万笔峰值水平。[2019/7/1]
Altair升级
Pyrmont测试网的Altair升级时间已经确定,据悉,该测试网将在UTC时间8月19日中午12点左右进行升级。
注意:如果你在Pyrmont测试网上运行验证器,请在星期四之前升级你的客户端。
合并
现在大家已经知道EIP-3675?就是执行以太坊1.0与以太坊2.0共识链合并的规范,对吧?对此,MikhailKalinin进行了非常深入的研究,感兴趣的读者可以看他的讲解视频?。
声音 | 以太坊联合创始人Joseph Lubin:加密世界才刚刚开始:据ambcrypto消息,以太坊联合创始人约瑟夫·卢宾(Joseph Lubin)接受采访时表示,区块链技术将会在未来几十年影响、经济、社会的方方面面,加密世界才刚刚开始,但是技术还不成熟。“这个领域将会有非常多的进化,现在所有的资产都可能在未来的某个时刻成为一种加密资产。未来还有很多增长。”[2018/9/12]
然后是一条来自Nethermind的简短推文?,其从以太坊1.0的角度讨论了合并的一些重要事宜。
STK令牌加入以太坊企业联盟:据Cryptoninjas消息,STK近日宣布已加入世界最大的开源区块链倡议企业以太坊联盟(EEA)。加入EEA后将提供一个验证平台和技术的机会以接触领先研究,供行业专家和协作讨论。STK的愿景是创造一个全球通用的传统银行业务替代方案,允许任何人安全地存储他们包括加密货币在内的资金并与任何货币在任何地方进行交易。[2018/3/28]
Staking
StakeHouse第五次社区电话会议于8月11日举行。这次会议关注了GUI客户端安装程序以及其他项目的进展。这里是团队的更新?以及一个项目创意列表。
客户端多样性仍然是一个巨大的话题,EthStaker的Colfax和StakeHouse制定了一些重要的原则,以使staking社区变得更加多样化。
有很多值得喜欢的地方,我很想看到这些事情的发生。然而,这条经典路线试图让以太坊2.0客户端完全可互换。正如我和Colfax讨论过的那样,我认为还有另一种方法可以考虑。
虽然我认为客户端完全可以替代,但这确实让产品经理的心有点沉。在Teku团队中,我们故意采取了不同的方法。在我看来,促进客户端多样性的另一种方法是使它们彼此完全不同。也就是说,针对特定用户群和用例优化客户端。比如说,Nimbus专注于低功耗设备,而Teku专注的是机构质押市场。我想知道,通过让特定的客户端调整到特定的用户群,我们是否能够同样实现良好的部署多样性。
最终,我们可能会通过明智地使用标准来适应这两种方法。毕竟,无论明确的产品重点是什么,Teku仍然是个人质押者的高质量客户端。但我觉得,你可能有兴趣瞥一眼我的世界。
工具
RémyRoy根据他的详细指南,制作了一个很棒的科普视频?,它可以教你如何监控你的验证器,这里有一些很棒的学习资料。Beaconcha.in?的验证器监控应用程序继续变得越来越好。有一个客户端度量导出器,你可以运行它将节点的数据导入应用程序。Lighthouse实际上是开箱即用的,不需要导出器,我们也在Teku中进行了本地支持。
去中心化Staking
SSV社区第二次电话会议于8月11日举行,AlonMuroch介绍了SSV网络公共测试网的发布情况,此外还有一个新网站?可供访问。
与此同时,RocketPool测试网?第4阶段已经启动,其模拟了一个完全开放的RocketPool。
我对去中心化Staking的未来感到兴奋!我们非常需要这些技术。
优秀科普贴
上周,我参加了企业以太坊联盟的虚拟聚会?,这次聚会谈论了以太坊2.0的所有事情。正如我在Twitter上所说的,我对企业以太坊基本上一无所知,所以这只是我通常的演示。如果你想了解我们现在的位置以及我们是如何来到这里的,那就值得一看。如果你更喜欢推文形式,这里有一个来自Pastry的以太坊2.0科普帖子?。这是来自ViktorBunin的第15期以太坊2.0更新文章?。
研究
目前,信标链在经历两个epoch后后才最终确认,这种延迟意味着验证器有机会重组最近的链,这对稳定性和用户体验不利。如果仅在一个slot后就有某种程度的经济最终性,那就太好了。Vitalik在基于委员会的累积终结性模型中提出了这样一种机制?,这将是未来实施CasperCBC共识的替代方案。它可以减少最低质押量,从而允许更多的验证者。分离分片构建者和分片blob提议者角色的想法?变得越来越重要。关于该想法的早期设计已合并到分片规范中,其主要目标是使得MEV民主化,以便其价值不仅仅被大型staking池子捕获,除此此外,该想法还有一些其他的好处。关于分片的主题,这里有一篇关于64个分片是否是初始阶段正确分片数字?的讨论贴,贴主建议开始时分片数量越少越好,以减少区块空间可用性的供应冲击。有趣的事实:规范中分片的最大数量仍然是1024个,我们已经设想从低数量的分片开始,然后逐渐增加分片数量。
定期电话会议
第70次实施者电话会议于??8月12日举行。
议程?视频?我的速记?
据西安新闻网消息,8月16日,随着一辆西安籍客车顺利驶出西宝高速阿房宫收费站102道,陕西省高速公路通行费第一笔数字人民币缴费成功,标志着数字人民币支付方式在陕西高速公路收费场景成功落地.
1900/1/1 0:00:00原文标题:《Yolo|Crypto对于传统游戏的赋能与重构》撰文:大脑杆菌近一个月来,Axie带起了GameFi风潮,人们热议着P2E模式的曼妙,探讨着虚拟世界生活的种种可能性.
1900/1/1 0:00:00本文编译自FinematicsNFT显然是目前加密领域最热门的话题之一。CryptoPunks、Autoglyphs、BoredApes、PudgyPenguins等,其中一些售价高达数十万甚至.
1900/1/1 0:00:00据TimesofIndia9月6日消息,Redfield&WiltonStrategies近期进行的一项研究显示,大多数欧洲公民不相信欧盟会提出有效的加密货币监管提案.
1900/1/1 0:00:00据CoinDesk8月19日消息,被监禁的暗网比特币混合服务HelixCEO拉里·迪恩·哈蒙周三在华盛顿地区法院承认一项串谋的罪名.
1900/1/1 0:00:00注:原文来自Blocknative,以下为全文编译。 当以太坊用EIP-1559升级了核心Gas费用市场后,交易从第一价格拍卖转变成了涉及基本费用和小费的混合系统.
1900/1/1 0:00:00