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