科普 | 长程攻击
本文中，我们简要地讨论关于 PoS 协议里，大家公认最大的一朵乌云——长程攻击（ long range attack ）。
本文中，我们简要地讨论关于 PoS 协议里，大家公认最大的一朵乌云——长程攻击（ long range attack ）。
本文将要用一系列的推文来解释以太坊 Casper 共识协定的研究历史/脉络/进展，包括 FFG vs CBC 的争论、混合模型到完全 PoS 的转换、随机性扮演的角色、共识机制的设计考量以及其他议题。
Casper FFG 如何运作？以太坊 2.0 如何整合 Casper FFG？
相信读者们见过不少关于权益证明（PoS）的文章。 我们有很多角度来思考权益证明的弱点，当然，主要就是演化心理学或者历史学。人类历史上的 “收藏品” 或 “原始货币” 都有一个共同点，即不可伪造的奢华 [1]（至少是在当时语境下算是不可伪造的奢华）（编者注：中译本请见文末 ...
本文旨在通过案例研究来探索是否能在 “非常安全” 和 “足够安全” 之间划出界限。
探索大体量验证者的经济模型
一个攻击者只需使用很少的权益份额（在某些情况下甚至是零份额），就能用虚假数据填满某个节点的硬盘和内存，致使其崩溃。我们认为所有基于 UTXO 和最长链原则的权益证明模型都容易受到这类“虚假权益”攻击的影响。
代币持有者应该弄清楚这些选择都涉及哪些风险、预期收益有多少，最后对这些选择进行比较，基于自己的风险预测做出最佳决策。
CBC 协议背后最基础的设计理念在于，首先构建一个非常抽象但足够灵活的框架，并证明该框架能保证实现某些重要性质。然后，我们在此基础上逐步加强框架的定义，并自然而然地继承构建过程中已完成的所有理论证明和保证
为了推断市场的走向，我们需要回过头来理解权益证明：主要参与者是谁，他们的激励约束以及不同的 PoS 实现之间的差异