正文
“在我打字的时候，我还在努力研究这些文件。”
稳扎稳打
第一篇白皮书名为“Casper终结性小工具（Casper the Friendly Finality Gadget）”——模仿了20世界90年代上映电影“鬼马小精灵（Casper the Friendly Ghost）”的片名，说明了共识算法如何在较高层次上运作。
值得注意的是，该白皮书重申了近来以太坊发展方向的变化。该方案并不是立即从工作量证明转变为权益证明，而是缓慢开始，首先将两者组合在一起。
白皮书中解释道：
“拟议机制最初将是现有的以太坊工作量证明链，使得Casper的第一个版本成为一种依赖于工作量证明获取活跃度的混合PoW / PoS算法，但这并不安全，不过在将来版本中，拟议机制可能会被其他机制替代。”
进一步扩展，工作量证明将被用来验证大多数以太坊区块链，但权益证明将被用作每个第100个区块的“检查站”，从而为系统提供更多的“不可改变性”，或者确保交易支出不会超过一次。
该白皮书继续介绍了验证节点可能会尝试使用的攻击（例如“远程攻击”），以及Casper如何克服这些攻击。
细节决定成败
另外两篇白皮书对这一系统的细枝末节做了进一步详述。
第二篇论文标题为“Casper终结性小工具中的激励机制（Incentives in Casper the Friendly Finality Gadget）”探讨了促使系统发挥效用并确保系统不会一团混乱的激励机制。
对于Casper来说，有两类可能会出错的事情：当规则被打破时发生“安全故障”，例如当两个验证节点处于不兼容的状态时。当系统停止或无法推动交易时发生“活跃度故障”。
由于用户必须存入部分资金才能作为验证节点参与系统，本篇白皮书就概述了如果验证节点试图违反规则，系统将没收其存款。
第三份白皮书名为“自动审查拒绝服务攻击（Automated Censorship Attack Rejection）”，重点介绍了51%攻击——矿工或矿池集聚大部分网络算力，然后将系统规则扭转到符合其利益的攻击，比方说双重支付或堵塞交易。
开发者对这一问题也进行了大量的思考，因为如果发生这种攻击的话，就很有可能会减少对区块链作为合法交易单一来源的信心。
本篇白皮书中，Buterin认为Casper就缓解了这一问题，因为该协议会对攻击者（如果他们做出错误的行为）做出扣除存入系统保证金的惩罚。
另一种方法
不过值得注意的是，Buterin在这几篇白皮书中概述的权益证明方法并不是唯一的办法。
以太坊基金会负责Casper实际开发的Vlad Zamfir表示，他计划在将于秋天举行的以太坊大型开发者会议之前，发布他自己版本Casper的更多细节。
他对CoinDesk表示：
“Vitalik更多地会受到驱使去快速实施一些事情，而我更多地会受到驱使去搜寻理论上的最优解决方案，即使这意味着会耽误一些时间。”
而且，由于Buterin只不过是在白皮书的层面上逐渐趋向准备妥当，所以可以假定在同行评议过程中，还需要进一步细化。
不过，开发者已经开始实施Buterin版本Casper方法的第一步，该版本预计将于以太坊的下一次大型升级Metropolis在今年秋季推出后正式上线。
尽管如此，目前仍不清楚Casper背后的理论会否在人们看到其在现实生活中实施之前完全解决所有问题。
本文仅代表作者个人观点，不代表区块链铅笔的立场，不构成投资建议，内容仅供参考。
