bft bitcoin blockchain byzantine-fault-tolerance casper consensus consensus-algorithm discrete-time ethereum event-driven ghost java nakamoto network networking pbft scalability simulation simulator transaction