Function prove_single

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