通过本文，我们想要分享我们与区块链开发者乃至整个区块链社区进行可扩展性研究所得出的成果。我们相信，本文将帮助大家了解零知识证明和二层可扩展性方案的潜力，同时更深入地理解这些技术

在本文中，我们希望介绍这一成就的第一部分：验证 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 迈进）