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