diff --git a/codex/slots/proofs/backends/asynccircoms.nim b/codex/slots/proofs/backends/asynccircoms.nim
index 63d58317..f4da4f7c 100644
--- a/codex/slots/proofs/backends/asynccircoms.nim
+++ b/codex/slots/proofs/backends/asynccircoms.nim
@@ -18,16 +18,11 @@ type AsyncCircomCompat* = object
 proc proveTask[H](
     circom: CircomCompat,
     data: ProofInputs[H],
-    results: SignalQueuePtr[Result[CircomProof, string]],
+    results: SignalQueuePtr[?!CircomProof],
 ) =
-  var val: Result[CircomProof, string]
   let proof = circom.prove(data)
-  if proof.isOk():
-    val.ok(proof.get())
-  else:
-    val.err(proof.error().msg)
 
-  if (let sent = results.send(val); sent.isErr()):
+  if (let sent = results.send(proof); sent.isErr()):
     error "Error sending proof results", msg = sent.error().msg
 
 proc prove*[H](
@@ -36,13 +31,13 @@ proc prove*[H](
   ## Generates proof using circom-compat asynchronously
   ##
 
-  without queue =? newSignalQueue[Result[CircomProof, string]](), err:
+  without queue =? newSignalQueue[?!CircomProof](), err:
     return failure(err)
   defer:
     if (let res = queue.release(); res.isErr):
       error "Error releasing proof queue ", msg = res.error().msg
 
-  proc spawnTask() =
+  template spawnTask() =
     self.tp.spawn proveTask(self.circom, input, queue)
 
   spawnTask()
@@ -50,7 +45,7 @@ proc prove*[H](
   without taskRes =? await queue.recvAsync(), err:
     return failure(err)
 
-  without proof =? taskRes.mapFailure, err:
+  without proof =? taskRes, err:
     return failure(err)
 
   success(proof)
diff --git a/codex/utils/asyncthreads.nim b/codex/utils/asyncthreads.nim
index 36310607..593b6261 100644
--- a/codex/utils/asyncthreads.nim
+++ b/codex/utils/asyncthreads.nim
@@ -63,13 +63,6 @@ proc send*[T](queue: SignalQueuePtr[T], msg: T): ?!void {.raises: [].} =
     return failure(res.error())
   result = ok()
 
-proc recv*[T](queue: SignalQueue[T]): ?!T =
-  ## Receive item from queue, blocking.
-  try:
-    ok(queue.chan[].recv())
-  except Exception as exc:
-    failure(exc.msg)
-
 proc recvAsync*[T](queue: SignalQueuePtr[T]): Future[?!T] {.async.} =
   ## Async compatible receive from queue. Pauses async execution until
   ## an item is received from the queue