fn prove_single(
tx_prover: &TransactionProver,
zkapp_prover: &ZkappProver,
single: SnarkWorkerWorkerRpcsVersionedGetWorkV2TResponseA0Single,
sok_message: &SokMessage,
) -> Result<LedgerProofProdStableV2, ExternalSnarkWorkerWorkError>