In our manuscript [Ebb-and-Flow] we describe a bouncing-style attack on the Gasper consensus protocol [Gasper] in a synchronous network. This repository contains the source code for the simulation of this attack. For a detailed description of the attack, see Section II and Appendix A of our manuscript [Ebb-and-Flow]. For the source code of the simulations presented in [Ebb-and-Flow], please see: https://github.com/tse-group/ebb-and-flow
The file gasper-attack-simplified.py contains a simulation of the Gasper protocol in a synchronous network
as well as the adversarial actions for the attack, written in Python. See the extensive code comments
for details on what the adversary does when and why.
-
[Ebb-and-Flow]
Ebb-and-Flow Protocols: A Resolution of the Availability-Finality Dilemma
Joachim Neu, Ertem Nusret Tas, David Tse
arXiv:2009.04987 -
[Gasper]
Combining GHOST and Casper
Vitalik Buterin, Diego Hernandez, Thor Kamphefner, Khiem Pham, Zhi Qiao, Danny Ryan, Juhyeok Sin, Ying Wang, Yan X Zhang
arXiv:2003.03052