pub fn fp_from_semantic_commit(
    semantic_commit: SemanticCommit
) -> Result<LastFinalizationProof, Error>