Fast finality in Filecoin