Cosmos

作者:扎克-赫斯, Zack Hess https://github.com/zack-bitcoin/amoveo-docs/blob/master/other_blockchains/cosmos.md

最近,人们发现,股权证明不能成为一种安全的共识机制。 proof_of_stake.md

Cosmos是最受欢迎的PoS区块链之一。

本文件的目的是以Cosmos为具体例子,解释PoS将如何失败。

为了控制Cosmos的共识,我们需要说服至少2/3的验证者接受我们的补丁并运行我们的软件版本。我们的软分叉升级可以被设置为只有在>2/3的验证者接受补丁的情况下才能激活。这样一来,验证者就不会因为参与软分叉攻击失败而付出代价。

但是,如果一个验证者没有参与软分叉攻击,而软分叉攻击成功了,那么这个验证者可能会失去他们所有的股份,作为对不支持攻击的惩罚。因此,这意味着对于想要拒绝参与软分叉攻击的验证者来说,有一个非零的成本。这使得贿赂来完成这一攻击的成本更低。

大同市最富有的验证者控制着验证者8%的股权。贿赂一个拥有8%股权的验证者的成本是。(攻击对原子价格的损害程度)*(如果这个验证者参与,攻击成功的可能性有多大)*(所有股权价值的8%)。

在最坏的情况下,一次成功的攻击可以完全破坏Atoms的价值。如果这个验证者参与,攻击成功的概率变化约为8/100。所以我们可以知道,贿赂的成本总是小于。(8%的股权价值)*(8/100)=0.64%的股权价值。

因此,这意味着贿赂一个拥有8%股权的验证者,使他们接受你的软分叉更新,最多需要花费所有股权价值的0.64%。

其他验证者的股权比例<8%,所以相比之下,他们的贿赂都比较便宜。

如果我们需要贿赂2/3的哈希值,而我们支付的费用总是低于64/800,那么这意味着让2/3的验证者接受你的软分叉的贿赂总额低于(2/3)*(64/800)=4 / 75 = 5.33%。

因此,说服2/3的验证者接受你的软分叉的成本低于所有股权价值的5.33%。

一旦2/3的验证者接受了软分叉的更新,那么软分叉将被激活。为了确保我们的软分叉攻击是稳定的,新的软分叉将通过冻结任何不服从的验证者的存款来执行它的规则。在Cosmos PoS中,有存款可以被冻结,所以一个成功的软分叉攻击会产生一个非常稳定的联盟。该联盟很容易执行它的新规则。

软分叉攻击可以改变共识的任何方面,包括以攻击者想要的方式重新分配币。

为了窃取Cosmos上100%的价值,需要花费<5.33%的所有股权的价值。这使得Cosmos深入到4.2级的信任,它比中心化的替代方案更糟糕。basics/信任理论.md