Finalization: Casper FFG

The name stands for Friendly Finality Gadget. It is a "finality gadget" as it always works on top of a block-proposing algorithm.

This document will be expanded in a different PR