fn ledger_proof_opt( proof: Option<&LedgerProofProdStableV2>, next_state: &MinaStateProtocolStateValueStableV2, ) -> Result<(Statement<SokDigest>, Arc<TransactionSnarkProofStableV2>)>