你可以信任不同群体，信任的类型也多种多样。
目前为止，从验证者的角度来看，以太坊共识机制设计的内在风险中唯一已得到清楚阐述的就是罚没（slashing）。
你可以信任不同规模的人群，并且有不同种类的信任。
每个用户都应该考虑他们想要提供的安全级别，以及他们应该采取的措施。
实际上，雪崩协议类似一个中心化的 Cosmos，由选出来的重叠的验证人组充当了子网安全性。
一些你想不到的新发现。
ETH 2.0 的 PoS 机制相比 PoW 机制复杂得多。
什么是 Gasper？如何能形式化地验证其属性？这种形式化验证有何意义？
