szhbsd 根源 |?notes.ethereum.org
作家 | vitalik buterin
翻译注：balance attack 指的是报复者赶快干预有邻近算力子组的勾通比特币交易平台排名。在此功夫，报复者在一个子组颁布买卖(称为买卖子组)，在另一个子组挖区块 (称为区块子组)，直到区块子组的树以高几率超过买卖子组的树。balance attack 的别致之处在乎运用 ghost 和议把伯仲块或叔块算当选择区块得分的个性。这个战略使得报复者不妨在与搜集分隔的情景下挖一个分支，在将它的分支并入比赛区块链之前感化分支采用进程。
eth2 的分叉采用辨别于 eth1 和“鉴于链 (chain-based)" 的 pos 算法 (比方像 peercoin 和 nxt 那些旧算法，但也有像 tezos、ouroboros 等的较新的算法) 的一个要害是，在 eth2，有特殊多感化区块”得分 (score)“的消息是并行达到的今日比特币。
鉴于链的 pos 算法比特币最新价格：
(像在 eth2 里) 每个 slot 上的委员会比特币中国平台：
鉴于链的算法更简单表明其活性 (究竟上，在某些情景里活性仍旧被证领会)，由于常常一次有一个单个动作者，使得它们充任"协调瓶颈(coordinating bottleneck)"，让每部分都对同一个分数完毕共鸣如何购买比特币。
底下是鉴于链的算法中活性的”稻草人表明概括“今日比特币。
假如四川比特币矿场集体断电：
在每个 slot 里就有一个动作者 (即区块倡导者) 不妨介入比特币矿池。淳厚的区块倡导者在 slot 的前半颁布她们的区块搜集推迟的下限是半个 slot (所以是 δ<1/2，以 slot 为单元丈量功夫)。被调配到在 slot n+1 动作的动作者仅会鉴于她们在 slot n 前收到的消息动作。咱们对节签收到在功夫 t 发出的消息的功夫建立模型为区间(t,t+δ) 的“云”?(到这边为止，这不过报告了同步假如的规范学术表述)。所以，生存两种情景：
完毕共鸣
没有完毕共鸣
请提防，惟有当在 slot n 的介入者不诚及时才会展示没有完毕共鸣的情景比特币被盗。所以，即使被调配到某个 slot 的介入者是淳厚的，那么要么 (i) 在该 slot 的终局每个介入者都对哪条是精确链完毕共鸣，由于她们都是鉴于沟通的消息计划分叉采用的，要么 (ii) 报复者在之前那些她们没有介入的 slot 上“用掉了”?少许贮存的介入权。所以，惟有当报复者对每个淳厚介入者有起码一个贮存的介入权时，即即使报复者被分到的 slot 多于淳厚节点时 (也即是淳厚大普遍的假如被冲破时)，干预本领连接。
此刻看看”有很多并行表明“的情景比特币挖矿什么意思。当有很多并行表明减少一个区块的得分时，是没有简单动作者创作瓶颈的。所以，报复者不妨安排搜集 (再加上有战略地对少许她们本人的考证者播送)，再不在每个 epoch 终局建立就哪些消息算入分叉采用没有完毕共鸣的状况，进而使多条链中的某条链胜出。
请看舆论 ebb-and-flow protocols: a resolution of the availability-finality dilemma (动静和议：可用性与最后决定性两难窘境的处置本领)，更加是第 4 和第 5 页，何处有对这种报复的证明如何获得比特币。请提防，这种报复简直建鉴于少许在试验中特殊难以实行的搜集假如 (报复者对部分质押者的搜集推迟有特殊精致的遏制)，但纵然如许，一个能制止这种报复的和议仍旧比一个不许的和议好。
倡导的处置计划
倡导的处置计划是引入精确的”同步瓶颈“小东西到分叉采用上比特币行情走势图。更加是，咱们不妨减少以次准则：
1. 假如一切被调配到 slot n 的表明者的普遍总权重为 w
2. slot n+1 里的介入者仅会觉得在 slot n 末前达到 (从介入者的观点) 的表明是灵验的比特币怎么挖矿。
3. 在 slot n+1 的倡导者该当在 slot n+1 的发端就赶快做倡导比特币创下新高。她们的倡导本来是在采用一条一定的链。在 slot n+1 的表明者可见，即使她们在 slot 举行了 1/3 之前就看到倡导达到了，她们会将该提案视为同等于权重为 w/4 的表明 (这个得分安排只对 slot n+1 灵验，在 slot n+1 后这个得分安排会恢复)。
4. 把同步假如贬低到 δ<1/3
领会
(请提防：为了领会的简略，咱们假如时钟是实足同步的，以及任何本质的时钟分别都是搜集推迟的一局部比特币行情实时走势图。)
在 slot 的终局，一切考证者都仍旧收到少许表明集了比特币爆仓是什么意思。即使展示了报复 (比方，有 k≥1 的歹意表明者在 slot n 做表明)，考证者将很大概在每个区块的得分上有分别。然而，她们分别的范畴将不会胜过 k。假如 (在不流失普遍性的情景下) 有两个比赛区块，a 和 b，即使 score(a)?score(b)≥0，则 a "胜出"，反之则 b 胜出。score(a)?score(b) 的分别范畴的下限是 2k (即每个考证者给出score(a)?score(b) 值都将在[z,z+2k] 的范畴内，z 是个恒定值)。
设 wp 为倡导者的权重 (即 wp =下文阐明的 w/4)比特币官方网站。即使倡导者是淳厚的，她们确定会按照以次两种动作：
1. 即使她们看到 score(a)?score(b)≥0，她们将倡导 a 区块，要不倡导 b比特币最新价格行情。
2. 她们将赶快倡导她们的区块，以保护一切的表明者都在克日前看到比特币交易网。
设 [z,z+2k] 为 score(a)?score(b) 分别的区间比特币价格。咱们辨别三种情景：
z<?2k?2k≤z<0z≥0在情景 (1)，倡导者将给 b 开票，如许表明者将看到在 [z?wp,z+2k?wp] 内安排过的得分；这边所有区间都是负数，所以对 b 有充溢的共鸣比特币最新价格行情。
在情景 (3)，倡导者将开票给 a，如许表明者将看到在 [z+wp,z+2k+wp] 内安排过的得分；这边所有区间都是正数；所以对 a 有充溢的共鸣1个比特币价格多少。
在情景 (2)，很大水平由倡导者确定比特币行情。在于于倡导者的看法落在区间的哪个场所，倡导者不是采用 a 即是 b。所以，区间要么是 (i) [z?wp,z+2k?wp]，要么是 (ii) [z+wp,z+2k+wp]。
即使是 wp≥2k 的情景，请提防从情景 (2) 的设置 ?2k≤z<0 来看，当 (2.i) z<0 且 2k?wp≤0，即z+2k?wp 的下限是负数，也即是所有区间都是负的比特币官网。当 (2.ii)z>?2k 且 wp≥2k，即 z+wp>0，即所有区间都是正的。所以，充溢共鸣是在 a 仍旧 b 在于于倡导者的采用。
此刻，让咱们回到 wp= w/4 的阐明中比特币行情最新价格。为了制止倡导者起同步瓶颈的效率，上述推导中 wp≥2k 的基础必需被冲破；所以，必需有胜过 w/4 的表明者在每个 slot 开票。
即使在任何单个 slot 中倡导者起到了同步瓶颈的效率，一切淳厚的表明者都将往该目标开票，使 score(a)?score(b) 的值与 0 缺点增大300比特币。为了制止个中一方在这个点上胜出，报复者必需在该 slot 展现充满多的开票以与一切的诚试验证者对抗 (减去1/4 来对消倡导者在 slot 终局开票的功效）；这须要远胜过 w/4 的表明。
所以，要保护一段功夫的失活须要起码在每个 slot 上有 w/4 的歹意考证者，或≥1/4 的考证者是不淳厚的比特币骗局。
