在本文中，我们希望介绍这一成就的第一部分：验证 Gasper 的属性。所以，什么是 Gasper？如何能形式化地验证其属性？这种形式化验证有何意义？

Layer-2持续迸发活力

在以太坊矿工投票赞成把燃气上限提高25%（从1千万到1千2百5十万）后，最近以太坊链上使用的总燃气值创出了新高。

Solidity v0.6.11：继承 NatSpec 注释，更好的 debugging 数据输出,Truffle v5.1.34：大量的依赖库更新（例如 Node 升级至 10.12）

构建完全去中心化的预测市场提出了一系列新的设计问题，同时也为具体实现提供了新的机会。在以太坊上的众多应用中，Gnosis 和 Augur 常常被放在一起说。在本文中，我们将具体分析这两个协议的主要区别。

以太坊2020年上半年的交易手续费就已超过2019年全年的水平

谁是私钥分割验证者机制的赢家呢？—— 所有人。

最新的核心开发者视频会议。Tim Beiko 的备忘录：大篇幅讨论了当前对客户端多样性而非客户端功能的需要，还有共享测试负担、简化协议的需要

Matter Labs 的 ZK Sync rollup 上线主网 —— 微不足道的交易手续费、15 分钟内取款到以太坊主网，每秒交易处理量达 300 笔（正在往 2000 迈进）

本月初，StarkWare 团队推出了全新的以太坊主网 layer 2 扩展方案。这个全新的项目—— StarkEx，没有完全按照已被大众接受的现有 layer 2 架构（如 zkRollup、Optimistic Rollup，或 Plasma）来做。StarkWare 的联合创始人 Eli Ben-Sasson 将这种新的 layer 2 架构称为 “ Validium ” —— 这个名字获得 Vitalik 的背书，因此 “ Validium ” 的叫法应该是板上钉钉的事。