fn prove_spec(
tx_prover: &TransactionProver,
zkapp_prover: &ZkappProver,
spec: SnarkWorkSpec,
sok_message: &SokMessage,
) -> Result<SnarkWorkResult, ExternalSnarkWorkerWorkError>
fn prove_spec(
tx_prover: &TransactionProver,
zkapp_prover: &ZkappProver,
spec: SnarkWorkSpec,
sok_message: &SokMessage,
) -> Result<SnarkWorkResult, ExternalSnarkWorkerWorkError>