本仓库是对 Combining GHOST and Casper 论文的中文翻译。
以太坊使用名为 Gasper 的共识机制，结合了 Casper FFG 权益证明与 GHOST 分叉选择规则。
[3] G. Bracha and S. Toueg. Asynchronous consensus and broadcast protocols. Journal of the Association for Computing Machinery (JACM), 32(4):824–840, 1985.
[7] V. Buterin and V. Griffith. Casper the friendly finality gadget. CoRR, abs/1710.09437, 2017.
[8] M. Castro, B. Liskov, et al. Practical byzantine fault tolerance. In Operating Systems Design and Implementation, volume 99, pages 173–186, 1999.
[10] C. Dwork, N. Lynch, and L. Stockmeyer. Consensus in the presence of partial synchrony. Journal of the Association for Computing Machinery (JACM), 35(2):288–323, 1988.
[11] Ethereum Developers. Ethereum 2.0 phase 0: The beacon chain. 2019. https://github.com/ethereum/eth2.0-specs/blob/dev/specs/phase1/beacon-chain.md.
[17] K. Palmskog, M. Gligoric, L. Pena, B. Moore, and G. Rosu. Verification of casper in the coq proof assistant. Technical report, 2018.
[20] Y. Sompolinsky and A. Zohar. Secure high-rate transaction processing in bitcoin. In International Conference on Financial Cryptography and Data Security, pages 507–527. Springer, 2015.
[22] V. Zamfir. Casper the friendly ghost: a ”correct-by-construction” blockchain consensus protocol. 2017. https://github.com/vladzamfir/research/blob/master/papers/CasperTFG/CasperTFG.pdf.