casper

Eth2.0的共识算法设计目标就是让PoS就有一定的安全性和可用性(certain safety and liveness claims).对应着这个目标，提出了两大组件来定义分叉规则和最终性

本文主要讲解了比特币和以太坊的共识机制

在Eth2.0中，共识过程只在信标链中进行，而Casper FFG机制则保证其运行。本文主要描述了Casper FFG机制的基本概念，举例阐释其在信标链上的作用。

重点介绍信标链Casper FFG机制实现的高层级细节以及讨论分叉选择规则（fork choice rule）和活性的其他相关因素。

本文深入探讨了权益证明（Proof of Stake, PoS）的设计哲学，比较了其与工作量证明（Proof of Work, PoW）的不同，强调了PoS通过经济惩罚而非能源消耗来确保网络安全的基本原则。

本文详细介绍了Vlad的Casper协议及其在Isabelle/HOL中的形式化验证过程，探讨了异步环境下共识问题的核心挑战，并展示了如何使用形式化方法确保估计的安全性。

本章节详细描述了Casper在研究权益证明（Proof-of-Stake, PoS）共识机制的过程中，特别是在解决了长程攻击问题后，发现了传统共识研究的存在和相关性。文章探讨了PoS中的关键技术问题，如区块创建、激励机制、最终性共识等，并介绍了Tendermint协议的简单性和安全性。

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

本章节详细介绍了以太坊Casper协议的研究过程，特别是2014年秋季对博弈论和经济安全模型的研究。文章详细阐述了如何通过‘贿赂攻击模型’解决了长期攻击问题，并强调了激励机制设计的重要性。

本章描述了以太坊研究团队在经济模型假设上的根本变化，特别是从竞争性经济模型转向寡头垄断模型的过程。文章讨论了如何在公有区块链中应用合作博弈理论来分析和设计共识协议，强调了权力集中和卡特尔形成对区块链安全性的影响。

文章详细介绍了Casper技术的历史和设计哲学，重点讲述了从简单的PoS到现代PoS的演变过程，特别是Slasher算法和安全存款的应用。

本文探讨了如何使用硬件根信任，尤其是Intel SGX，来增强PoS协议（特别是Casper）的深度防御能力。文章提出了SGX在解决长程分叉、加固高效委托、网络时间同步和连接可信对等服务器等方面的应用。

本文详细介绍了以太坊分片设计的基本原理，并解释了显式最终性如何在区块链分片中发挥作用。文章涵盖分片链的共识、验证器管理合约、跨分片通信、分叉选择规则以及显式最终性对分片机制的好处等内容。

本文讲述了Casper协议的诞生，特别是如何将Aviv Zohar和Jonatan Sompolinsky的GHOST协议应用于权益证明（Proof-of-Stake）中，并解释了如何设计激励机制来防止验证者被审查。

本文详细介绍了以太坊的Casper项目，旨在实现权益证明（PoS）共识机制，并探讨了PoS的优势、挑战以及Casper的设计原则。文章还对比了Casper FFG和Casper CBC两种实现方式，并展望了未来的工作方向。