This page has moved to https://docs.celo.org/specs/finality.