合并后的第一天：快速回顾 PoS 以太坊设计

作者：

时间：1900/1/1 0:00:00

来源：/img/2022103190141/0.jpg" />

数据：以太坊合并后Lido捕获MEV总奖励为275.4ETH:9月16日消息，据Dune Analytics数据显示，以太坊合并后，Lido协议上以太坊质押者的MEV总奖励已达275.4ETH。

此外，当前Lido上以太坊质押收益率已更新为5.5%。[2022/9/16 7:02:05]

同步和投票

slot 是指 12 秒的时隙：

0 - 4 秒：提议区块

4 - 12 秒：投票和计票

最好的情况下，会正常进行区块提议和投票。有时候，提议者可能会离线，那就不会有区块被提议出来。

处理被跳过的区块

如果区块提议者离线了，那么：

委员会成员（slot 96）会投票给上一个区块

下一个委员会继续正常运作

就像所有的区块链一样，这能促使一条权威链的形成，因为区块链生产者/验证者必须扩展一个父块。

V神回应合并后出块稳定：实现更好的EIP 1559性能:9月15日消息，以太坊预测平台Gnosis创始人Martin K?ppelmann在推特发布最新100个区块的出块时间图表，并表示以太坊合并后稳定性极好，只有一个漏块，已经是最好的情况了。

对此，V神评论称，一个重要的推论是其实现更好的EIP 1559性能（因为更少的块会达到2x限制）。到目前为止，满块的百分比已经从大约20%下降到大约10%。[2022/9/15 6:58:53]

最新区块和分叉处理

在链的顶端进行分叉是可以的：

区块提议者已经提议了两个或以上的区块（罚没情况，但区块仍然存在）

发生延迟而区块到达了下一个 slot。

这时候，该 slot 的委员会成员需要选择一个区块。

分叉选择规则的重要性

委员会成员应该基于同一套规则选择“最重的链”(heaviest chain)：

选择最多投票的分叉

票数平局情况下选择最低哈希的区块

StarkWare将在以太坊合并后仅支持PoS链:9月9日消息，以太坊扩容解决方案StarkWare将在以太坊完成合并后仅支持PoS链，SyarkNet用户若需要将资金提至PoS链则无需任何操作，若希望与PoW链进行交互则需要在合并前提出以太坊。[2022/9/9 13:19:15]

Proposer boost: 如果区块在这个 slot 被提议了，选择有 70% 额外票数的区块

引用推文：https://twitter.com/hasufl/status/1570316069306503170

区块变坏

如果绝大多数的委员会成员都把票投给同一个区块，那么：

未来的委员会将会延续胜出的区块

竞争的分叉区块则会变“坏”或者“被丢弃”

分叉选择规则：跟随票数积累最多的链。

弱主观性

由于“投票”和“长程攻击”的性质，所以我们不可能接收来自不受信任来源的区块链副本并验证它是不是“一条真正”的链，而是必须依靠于社会共识和众所周知的检查点：[博客链接]

报告：若以太坊合并后仍维持EIP-1559年均销毁2.1%，以太坊将正式进入通缩时代:8月26日消息，据欧科云链研究院报告分析，以太坊当前主网和信标链的年总发行率为4.39%，其中约88.84%的发行在主网，剩余11.16%发行在信标链上。伴随以太坊合并升级，主网/执行层的发行将归零（90%的发行量消失），加之受EIP-1559影响，目前链上已累计销毁251.1万枚ETH（占总发行量2.1%），若以太坊合并后仍维持年均销毁2.1%，那以太坊将真正意义上进入通缩时代。[2022/8/26 12:50:50]

引用文章：Proof of Stake: How I Learned to Love Weak Subjectivity | Ethereum Foundation Blog

最终确定性

我们可以理解下面这句保证：“一旦区块敲定，它将永不可逆转”。

两个阶段：

验证：在 1 个 epoch 后，下一个候选区块就会被敲定。

最终确定：在 2 个 epoch 后，绝对多数已经给它投票了（两次）。

RealVision创始人：以太坊合并后所提供的4.8%收益率或成为加密基准利率:7月20日消息，RealVision创始人RaoulPal表示，如果以太坊在合并后提供4.8%的收益率，那么4.8%也将成为其他加密项目的基准收益率，投资收益率高于以太坊的协议风险可以相对于4.8%作为无风险收益率进行评估。（TheBlock）[2022/7/20 2:26:25]

两个区块树

PoS 以太坊的魅力在于，它有两个组成：

通过 LMD Ghost 机制实现活性（跟随最重的区块分支(heaviest branch)）

通过 Casper 的 FFG 实现安全性（选择一个区块并敲定它）。

epoch 的链给予我们信心，而 slot 链的顶端则是“待处理的世界状态”

攻击者：占质押存款的 1/3 以上

攻击者无法控制交易的排序，但是他们可以攻击最终确定性。只会在 2/3 以上的验证者投票给一个区块时，它才能进行敲定。如果它只获得了少于 2/3 的票数，那么它就无法验证或敲定。

不作为惩罚

诚实的验证者会继续在 slot 中生产区块，并慢慢排除那些不遵守分叉选择规则的验证者。最终，不投票者会失去足够的质押存款，这样诚实的验证者就能占比 2/3 以上的质押。

两条平行的链

如果说不作为惩罚发生了，那是因为：

一个验证者集想要审查一笔交易

另一个验证者集想要打包交易

每一个验证者集将会对另一个验证者集进行“不作为惩罚”。这导致了两条链的诞生。这是平和的分叉。

攻击者：占质押存款的 1/2 以上

他们控制了“分叉选择规则”并决定忽略那些打包了审查交易的区块。就比如在 PoW 机制中，他们无法改变共识规则，只能控制交易的排序。但据我所知，在这种情况下“不作为惩罚 (inactivity leak)”将不会被启动。

以太坊的守卫者

在面对审查的时候，我们能够做什么？答案是一次用户激活的软分叉！总的来说，我们可以强制退出（并潜在地）通过分叉代码来罚没攻击者。这是一种有针对性的攻击，不会损害诚实验证者的利益。

引用推文：https://twitter.com/stonecoldpat0/status/1560040361447260163

多客户端主题

目标：避免会让区块/无效交易被永远敲定的零日攻击。但这需要多少个客户端？嗯，另一个出现的问题是因为不作为惩罚。如果两个占比 50% 的客户端出现分歧，那么他们最终会变成两个平行的世界。

任何单个客户端无法激活漏洞

当运行一个客户端组合的验证者所占的质押存款占比大于33%时，不作为的惩罚才会变得有意义。通过运行少数人使用的客户端，你可以最小化所有因为软件漏洞而造成的损害。阅读更多请看这里：https://dankradfeist.de/ethereum/2022/03/24/run-the-majority-client-at-your-own-peril.html

惩罚不等于罚没

区别：

惩罚：只是很小的问题，不会对网络造成损害

罚没：验证者作出了公开可检测且恶意的行为

如果验证者触发了罚没条件，他们就会被强制移出网络。阅读更多：

引用文章：https://eth2book.info/altair/part2/incentives/slashing/

两种罚没情况

1. 在同一个 slot 里投票/提议两个或以上的区块（强制每个 slot 一张票规则的执行）

2. 提议“包含”了一个你已经投过票的分叉的分叉（抵抗长程攻击）

我做了一个基于图上公式的视觉图帮助大家理解。