fn prove_zkapp( zkapp_prover: &ZkappProver, snarked_ledger_state: MinaStateSnarkedLedgerStateStableV2, witness: TransactionWitnessStableV2, sok_message: &SokMessage, ) -> Result<LedgerProofProdStableV2, ExternalSnarkWorkerWorkError>