共识

来说说链下技术以及区块链的安全性问题。

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

Conflux团队注意到不论是中本聪共识还是GHOST共识，他们都是只维护一条主链，非主链的区块则被抛弃了，因此也就导致了这些被丢弃的块不能为整个区块链系统提供安全性，并且也降低了吞吐量（因为这些快被抛弃了，实际上也就是说系统的带宽被浪费了，因此他们就不能为系统贡献吞吐量）

区块链技术的火热推动了传统分布式技术的进一步发展。从区块链技术的本质来看，基本脱离不开传统分布式系统跟密码学的核心技术。那么区块链技术真的值得去研究吗？是区块链选择了我们，还是我们选择了区块链？本文从一个分布式系统研究者的角度来理解区块链。

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

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

通过对近年论文总结做的笔记，从个人角度思考共识发展，仅供参考。

当前以太坊网络双层质押（节点运营商和代理商），存在着中心化风险和不必要的共识层负担。本文介绍了解决这些问题的可能方案。

POW：Proof of Work，工作证明。

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

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

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