共识

上次我们讲到，比特币带来了一个新思路——用经济学和博弈论的原理约束节点，让他们不会作恶，于是整个问题重新回到了异步普通容错问题的轨道，于是整个问题的消息复杂度回到了O(N)，即，可扩展。关于扩展性问题我们到以后的文章里再深入说，在这里我们只说它和O(N^2)消息复杂度的传统容错算法，例如PBFT，的最大区别。

分片 (Sharding) 是eth2相较于eth1的诸多改进之一。“分片”是从数据库研究中借用而来，意味着整体数据的一部分。与数据库语境相同，在eth2中，分片意味着将整个系统的存储和计算分割为分片，并独立处理各分片，然后根据需求组合结果。确切来说，eth2将实现许多分片链，其中每个分片具有与eth1链相似的功能，这对于扩展性来说是巨大的提升。

终于，我们越过了“可扩展”技术的“泥淖”，来到了看起来非常美好的无限扩展技术。

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

本期我们的主题是eth2 背后的共识机制。Eth2 采用了一种新颖的方式来判断区块链的前部区块和组成区块。Eth2 混合了两种机制（LMD-GHOST 及 Casper FFG）以达成共识，不仅使得网络在正常运行时能够安全快速，并且在受到攻击时也能保障安全性。

POW：Proof of Work，工作证明。

比特币在Block的生成过程中使用了POW机制，一个符合要求的Block Hash由N个前导零构成，零的个数取决于网络的难度值。要得到合理的Block Hash需要经过大量...

像比特币、以太坊、NXT、Bitshares等这些区块链系统，其本质上是一种加密经济组织，它建立在点对点网络上，是去中心化、无管辖的，由密码学、经济学和社会共识来共同维护。这些加密网络因各种原因有着多种不同的风格——有些基于ASIC的工作量证明（PoW）、有些基于GPU的工作量证明、有些原生权益证明（PoS）、有些授权股权证明（DPOS）、还有我们即将见到的Casper权益证明——这些不同的风格都有着他们的哲学，在学习共识机制的时候，更重要的是理解其中的思想。

你一定听说过类似的说法“比特币的共识机制是PoW”。事实上，类似的说法是不准确的，PoW并非比特币共识机制的全部。

pBFT为什么不要三个阶段，看完你就知道。

北京时间6月23日晚，以太坊基金会研究团队在 Reddit 论坛进行了第六次 AMA，包括以太坊共识机制、质押、合并、分片、Layer2 、状态管理及以太坊经济机制等众多主题。ECN 对大部分问答进行了筛选整理，并编译成文。需要注意的是，基金会研发团队成员就某些话题存在个人的看法和推测，为避免曲解，请以原贴为准。

以技术视角详细介绍PoW、PoS和DPoS共识的技术原理。

简单聊聊

Altair 的预发布已出炉

它依靠自己尝试形成的历史来执行惩罚

PoW真的比PoS更去中心化吗？