Externally-verifiable consensus and state checkpoints for Filecoin