Function prove_zkapp

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