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

作者：

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

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

以太坊合并后供应量已增加超1万枚ETH:金色财经报道，据ultrasound.money数据显示，以太坊合并后供应量已增加10,696枚ETH。数据显示，截至发稿时的总供应量为120,531,837枚ETH。[2022/10/3 18:38:14]

同步和投票

slot 是指 12 秒的时隙：

0 - 4 秒：提议区块

4 - 12 秒：投票和计票

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

处理被跳过的区块

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

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

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

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

Raoul Pal：Layer1代币的表现可能会优于合并后的ETH:9月16日消息，前高盛高管、宏观经济专家Raoul Pal表示，以太坊向PoS共识机制过渡的影响将是积极的，但其Layer1竞争对手的表现将优于ETH，因为它们在可扩展性和交易成本方面更有优势。周四进行的合并将引发DeFi的看涨周期，并推动加密领域其他金融产品的增长。

根据Chainalysis的数据，目前热门Layer1区块链包括Solana（SOL）、Cardano（ADA）、Polkadot（DOT）、Avalanche（AVAX）、Cosmos（ATOM）和Binance Chain（BNB）。（The Daily Hodl）[2022/9/16 7:01:25]

最新区块和分叉处理

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

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

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

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

分叉选择规则的重要性

以太坊合并后，期货和现货价格之间的溢价几乎为零:金色财经报道，据Skew 提供的数据显示，以太坊合并后，期货和现货价格之间的溢价从20美元下降到几乎为0。加密期权交易所Deribit上市的 1 个月以太坊期货的年化滚动折价从转换前的17.66%收窄至 0.3%。在 Kraken、OKX和芝加哥商品交易所上市的期货折扣也大幅收窄。三个月期期货在包括币安在内的主要交易所与现货价格持平或略有溢价。

Deribit首席商务官Luuk Strijers表示，现货和期货之间的差价约为 20 美元，这很好地表明了 ETHPOW 的潜在价值。区块链分叉是变化的结果。这种负基差（现货溢价）现在已降至 30 美分左右。[2022/9/15 6:58:49]

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

选择最多投票的分叉

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

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

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

区块变坏

Lido：以太坊合并后不计划支持ETH PoW:金色财经消息，流动性质押协议Lido表示，在以太坊合并后不计划支持ETH PoW，除非有提议，否则Lido将不支持将ETH PoW代币分配给stETH持有者。此外，Lido称，合并不会影响在信标链中质押的ETH，在合并后的PoS以太坊中，验证者将获得优先费用和潜在的MEV奖励。这两种奖励都将由Lido验证者进行质押，以增加用户可获得的stETH奖励，因此，额外的质押奖励将在合并后累积给质押者。[2022/9/11 13:22:31]

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

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

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

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

弱主观性

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

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

Maker协议将在以太坊完成合并后仅支持PoS链:金色财经消息，Maker DAO发推特称，Maker协议将在以太坊完成合并后仅支持PoS链，用户无需采取任何特定行动来保持其Maker Vault正常运行。另外，Maker DAO还提醒用户小心重放攻击。[2022/9/9 13:19:02]

最终确定性

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

两个阶段：

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

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

两个区块树

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. 提议“包含”了一个你已经投过票的分叉的分叉（抵抗长程攻击）

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