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