I’m a coauthor on this white paper. We formally introduced Casper FFG and the Greediest Heaviest Observed SubTree protocol, and synthesize a protocol we dub Gasper. We analyzed the protocol under byzantine fault tolerant assumptions for security and liveness properties. We don’t apologize for the name. The protocol is to be used by the Ethereum network’s Beacon Chain. The paper.
My main role in the paper was to do literature search to place the protocol in context of existing protocols, like Hotstuff and Tendermint, for instance. Most of my work is in the first several sections. I’ll respond to any questions concerning any part of the paper on comments here or tweeted at me @ethordoteth.
Have a Corona-free day 😉