Finality model where once a block is finalized it cannot be reverted unless safety assumptions break.